PP-2024-02: Nieto-de la Rosa, Francisco Santiago and Ramos-Garcia, Ulises Ariet and Vargas-Sandoval, Ana Lucia and de Jongh, Dick (2024) Extending antichains in the poset of the finite subsets of omega. [Pre-print] (Submitted)
![[thumbnail of Conjectureproof.pdf]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text
Conjectureproof.pdf Download (333kB) |
Abstract
We prove that, for every antichain A in the poset of the finite subsets of omega, the set of maximal antichains which extend A has finite size or the size of the continuum. As a consequence we prove a conjecture of de Jongh and Vargas-Sandoval about nepfi families of finite languages.
| Item Type: | Pre-print |
|---|---|
| Report Nr: | PP-2024-02 |
| Series Name: | Prepublication (PP) Series |
| Year: | 2024 |
| Uncontrolled Keywords: | poset antichain identifiability |
| Subjects: | Computation Mathematics |
| Depositing User: | Prof. Dick de Jongh |
| Date Deposited: | 12 Feb 2024 22:05 |
| Last Modified: | 12 Feb 2024 22:05 |
| URI: | https://eprints.illc.uva.nl/id/eprint/2299 |
Actions (login required)
 |
View Item |
