$\widetilde{\mid}\hspace{1mm}$-divisibility of ultrafilters II: The big picture
Fuente:
arXiv
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Preprint |
| Publicado: |
2023
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866909301671460864 |
|---|---|
| author | Šobot, Boris |
| author_facet | Šobot, Boris |
| contents | A divisibility relation on ultrafilters is defined as follows: ${\cal F}\hspace{1mm}\widetilde{\mid}\hspace{1mm}{\cal G}$ if and only if every set in $\cal F$ upward closed for divisibility also belongs to $\cal G$. After describing the first $ω$ levels of this quasiorder, in this paper we generalize the process of determining the basic divisors of an ultrafilter. First we describe these basic divisors, obtained as (equivalence classes of) powers of prime ultrafilters. Using methods of nonstandard analysis we determine the pattern of an ultrafilter: the collection of its basic divisors as well as the multiplicity of each of them. All such patterns have a certain closure property in an appropriate topology. We isolate the family of sets belonging to every ultrafilter with a given pattern. We show that every pattern with the closure property is realized by an ultrafilter. Finally, we apply patterns to obtain an equivalent condition for an ultrafilter to be self-divisible. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2306_00101 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | $\widetilde{\mid}\hspace{1mm}$-divisibility of ultrafilters II: The big picture Šobot, Boris Logic 03H15, 11U10, 54D35, 54D80 A divisibility relation on ultrafilters is defined as follows: ${\cal F}\hspace{1mm}\widetilde{\mid}\hspace{1mm}{\cal G}$ if and only if every set in $\cal F$ upward closed for divisibility also belongs to $\cal G$. After describing the first $ω$ levels of this quasiorder, in this paper we generalize the process of determining the basic divisors of an ultrafilter. First we describe these basic divisors, obtained as (equivalence classes of) powers of prime ultrafilters. Using methods of nonstandard analysis we determine the pattern of an ultrafilter: the collection of its basic divisors as well as the multiplicity of each of them. All such patterns have a certain closure property in an appropriate topology. We isolate the family of sets belonging to every ultrafilter with a given pattern. We show that every pattern with the closure property is realized by an ultrafilter. Finally, we apply patterns to obtain an equivalent condition for an ultrafilter to be self-divisible. |
| title | $\widetilde{\mid}\hspace{1mm}$-divisibility of ultrafilters II: The big picture |
| topic | Logic 03H15, 11U10, 54D35, 54D80 |
| url | https://arxiv.org/abs/2306.00101 |