Cover Image

Self-divisible ultrafilters and congruences in $β\mathbb{Z}$

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Di Nasso, Mauro, Baglini, Lorenzo Luperi, Mennuni, Rosario, Pierobon, Moreno, Ragosta, Mariaclara
Format:	Preprint
Published:	2023
Subjects:	Logic 54D80, 11A07 (Primary). 03H15, 03C62, 20E18 (Secondary)
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Extending orders to types
by: Baglini, Lorenzo Luperi, et al.
Published: (2025)

Monochromatic sums and quotients in $\mathbb N$
by: Di Nasso, Mauro, et al.
Published: (2026)

Ramsey's witnesses
by: Di Nasso, Mauro, et al.
Published: (2025)

Weak, strong and mixed extensions of relations to spaces of ultrafilters
by: Gasparro, Leonardo Raffaello Maximilian, et al.
Published: (2025)

The magic of tensor products of ultrafilters
by: Di Nasso, Mauro
Published: (2025)

A survey on divisibility of ultrafilters
by: Šobot, Boris
Published: (2024)

Initial Tukey structure below a stable ordered-union ultrafilter
by: Özalp, Tan
Published: (2024)

$\widetilde{\mid}\hspace{1mm}$-divisibility of ultrafilters II: The big picture
by: Šobot, Boris
Published: (2023)

Divisibility classes of ultrafilters and their patterns
by: Šobot, Boris
Published: (2024)

A new ultrafilter proof of Van der Waerden's theorem
by: Di Nasso, Mauro
Published: (2026)

On double-membership graphs of models of Anti-Foundation
by: Adam-Day, Bea, et al.
Published: (2019)

Approximability of deep computations
by: Alva, Samson, et al.
Published: (2024)

Asymptotic Ramsey theory of Diophantine equations
by: Baglini, Lorenzo Luperi, et al.
Published: (2025)

$Ψ$-Spaces and Semi-Proximality
by: Almontashery, Khulod, et al.
Published: (2024)

On the expressive power of inquisitive epistemic logic
by: Ciardelli, Ivano, et al.
Published: (2023)

Problems on $β\mathbb{N}$
by: Hart, Klaas Pieter, et al.
Published: (2022)

Product of Invariant Types Modulo Domination-Equivalence
by: Mennuni, Rosario
Published: (2018)

High dimensional countable compactness and ultrafilters
by: Corral, Cesar, et al.
Published: (2024)

On ultrafilters in ZF models and indecomposable ultrafilters
by: Bilinsky, Eilon, et al.
Published: (2024)

The domination monoid in o-minimal theories
by: Mennuni, Rosario
Published: (2020)

On a new theory of models for formal mathematical systems
by: Kunik, Matthias
Published: (2026)

On the downward Löwenheim-Skolem Theorem for elementary submodels
by: Kunik, Matthias
Published: (2024)

Herbrand's Theorem: a short statement and a model-theoretic proof
by: Badano, Mariana
Published: (2025)

Listing the hyperarithmetical functions
by: Miller, Joseph S., et al.
Published: (2026)

Laver ultrafilters
by: Horvath, Silvan, et al.
Published: (2026)

Some definable types that cannot be amalgamated
by: Hils, Martin, et al.
Published: (2022)

Semi-proximal spaces and normality
by: Almontashery, Khulod, et al.
Published: (2023)

Generic dichotomy for homomorphisms for $E_0^\mathbb{N}$
by: Shani, Assaf
Published: (2024)

Pathologies in satisfaction classes
by: Abdul-Quader, Athar, et al.
Published: (2023)

The Lattice Problem for Models of $\mathsf{PA}$
by: Abdul-Quader, Athar, et al.
Published: (2024)

The set-theoretic Kaufmann-Clote question
by: McKenzie, Zachiri
Published: (2025)

Escaping Tennenbaum's Theorem and a Strong Jump Inversion Theorem
by: Maia, Duarte
Published: (2026)

Extending conceptual completeness via virtual ultracategories
by: Saadia, Gabriel
Published: (2025)

Closed copies of $\mathbb{N}$ in $\mathbb{R}^{ω_1}$
by: Dow, Alan, et al.
Published: (2023)

Fragments of arithmetic and cyclic proofs
by: Beklemishev, Lev D., et al.
Published: (2025)

Variants of the chain-antichain principle in reverse mathematics
by: Hughes, Noah A.
Published: (2025)

Affine logic with the integration operator
by: Bagheri, Seyed-Mohammad
Published: (2026)

Swap Kripke models for deontic LFIs
by: Vaz, Mahan, et al.
Published: (2025)

Implicative models of set theory
by: Maschio, Samuele, et al.
Published: (2023)

Modular many-valued semantics for combined logics
by: Caleiro, Carlos, et al.
Published: (2022)