Extending antichains in the poset

Nieto-de la Rosa, Francisco Santiago; Ramos-García, Ulises Ariet; de Jongh, Dick;

Abstract:

We prove that for every antichain A in the poset [?] <?, ? the set of maximal antichains which extend A is either finite or has the size of the continuum. As a consequence we prove a conjecture of de Jongh and Vargas-Sandoval about nepfi families of finite languages

Keywords: Partial orders||Antichains||Formal learning theory||Finite identification|| Positive data

MSC: 06A07;68Q32

Journal: Archive for Mathematical Logic

ISSN: 1432-0665

Year: 2025

Revision: 1

URL: https://link.springer.com/article/10.1007/s00153-025-00976-3

DOI: https://doi.org/10.1007/s00153-025-00976-3

Notas: Scimago Q1 CC BY 4.0