The Borel monadic theory of order is decidable
Fuente:
arXiv
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2024
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866915843808428032 |
|---|---|
| author | Manthe, Sven |
| author_facet | Manthe, Sven |
| contents | The monadic theory of $(\mathbb R,\le)$ with quantification restricted to Borel sets is decidable. The Boolean combinations of $F_σ$ sets form an elementary substructure of the Borel sets. Under determinacy hypotheses, the proof extends to larger classes of sets. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2410_00887 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | The Borel monadic theory of order is decidable Manthe, Sven Logic 03B25 (Primary) 03C85, 03E15 (Secondary) The monadic theory of $(\mathbb R,\le)$ with quantification restricted to Borel sets is decidable. The Boolean combinations of $F_σ$ sets form an elementary substructure of the Borel sets. Under determinacy hypotheses, the proof extends to larger classes of sets. |
| title | The Borel monadic theory of order is decidable |
| topic | Logic 03B25 (Primary) 03C85, 03E15 (Secondary) |
| url | https://arxiv.org/abs/2410.00887 |