Remarks on ultrafilters exponentiation
Lorenzo Luperi Baglini, Boris Šobot
Abstract
Recently, two exponentiations of ultrafilters have been introduced in [7]. We rephrase them in nonstandard terms, and use the nonstandard formulations to characterize some of their properties. We also study their relations with divisibility by introducing factor-picking functions and highly exponential ultrafilters.
Create a lesson
Related papers
A characterization of the finite model property for ω-categorical theories
Vera Koponen
Baire measurable functions and automorphisms of the truth-table degrees
Bjørn Kjos-Hanssen
Teams, Truthmakers, Translations
Maria Aloni, Alexandru Baltag, Johan van Benthem et al.
A counterexample to Vaught's Conjecture for Lω1,ω
Nathanael L. Ackerman, Cameron E. Freer, Robin W. Knight
Internal Languages for Thin Epsilon-Hyperdoctrines: Soundness, Completeness, and Rocq Formalization
Zoltán Gábor Molnár, Csaba Tóth
Nonstandard combinatorial ultrafilters and a new local witness model
Johannes Heil, Moritz Müller