Extending orders to types
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , , , , |
|---|---|
| Format: | Preprint |
| Publié: |
2025
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866912727253909504 |
|---|---|
| author | Baglini, Lorenzo Luperi Mamino, Marcello Mennuni, Rosario Ragosta, Mariaclara Šobot, Boris |
| author_facet | Baglini, Lorenzo Luperi Mamino, Marcello Mennuni, Rosario Ragosta, Mariaclara Šobot, Boris |
| contents | Given an ordered structure, we study a natural way to extend the order to preorders on type spaces. For definably complete, linearly ordered structures, we give a characterisation of the preorder on the space of 1-types. We apply these results to the divisibility preorder on the space of ultrafilters on the set of natural numbers, giving an independence result about the suborder consisting of ultrafilters with only one fixed prime divisor, as well as a classification of ultrafilters with finitely many prime divisors. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2509_09623 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Extending orders to types Baglini, Lorenzo Luperi Mamino, Marcello Mennuni, Rosario Ragosta, Mariaclara Šobot, Boris Logic 54D80, 03C64 (Primary) 03H15 (Secondary) Given an ordered structure, we study a natural way to extend the order to preorders on type spaces. For definably complete, linearly ordered structures, we give a characterisation of the preorder on the space of 1-types. We apply these results to the divisibility preorder on the space of ultrafilters on the set of natural numbers, giving an independence result about the suborder consisting of ultrafilters with only one fixed prime divisor, as well as a classification of ultrafilters with finitely many prime divisors. |
| title | Extending orders to types |
| topic | Logic 54D80, 03C64 (Primary) 03H15 (Secondary) |
| url | https://arxiv.org/abs/2509.09623 |