Imagen de Portada

Variants of Łoś's Theorem

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Usuba, Toshimichi
Formato:	Preprint
Publicado:	2025
Materias:	Logic 03C20, 03E25
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

A note on Łoś's Theorem without the Axiom of Choice
por: Usuba, Toshimichi
Publicado: (2023)

A note on uniform ultrafilters in a choiceless context
por: Usuba, Toshimichi
Publicado: (2024)

Monotonicity of the ultrafilter number function
por: Usuba, Toshimichi
Publicado: (2025)

Generically extendible cardinals
por: Usuba, Toshimichi
Publicado: (2022)

On Recurrence Axioms
por: Fuchino, Sakaé, et al.
Publicado: (2024)

Cantor's Non-Equinumerosity Theorems, Inductively
por: Salehi, Saeed
Publicado: (2025)

A Non-Constructive Proof of Cantor's Theorem
por: Salehi, Saeed
Publicado: (2025)

Constructing maximal cofinitary groups
por: Schrittesser, David
Publicado: (2021)

Three forms of the Erdős-Dushnik-Miller Theorem
por: Howard, Paul, et al.
Publicado: (2024)

A Note on Los's Theorem for Kripke-Joyal Semantics
por: Aiguier, Marc, et al.
Publicado: (2024)

A Topological Rainbow Ramsey Theorem
por: Jakob, Hannes, et al.
Publicado: (2026)

On groups definable in $p$-adically closed fields
por: Pillay, Anand, et al.
Publicado: (2026)

Hindman's Theorem in the hierarchy of Choice Principles
por: Fernández-Bretón, David J.
Publicado: (2022)

A General Theory of Class Symmetric Systems
por: Holy, Peter, et al.
Publicado: (2026)

Intersection Games and Bernstein Sets
por: Atchley, James, et al.
Publicado: (2023)

Intermediate models with deep failure of choice
por: Hayut, Yair, et al.
Publicado: (2024)

The Axiom of Choice in the $κ$-Mantle
por: Lietz, Andreas
Publicado: (2024)

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

Homogeneous forcing
por: Shelah, Saharon
Publicado: (2026)

Forcing More DC Over the Chang Model Using the Thorn Sequence
por: Holland, James, et al.
Publicado: (2022)

On forcing axioms and weakenings of the Axiom of Choice
por: Bomfim, Diego Lima, et al.
Publicado: (2024)

Coordinate recognition: General theory, Groups, and other surprises
por: Farah, I., et al.
Publicado: (2025)

A Gentle Introduction to the Axiom of Choice
por: Blass, Andreas, et al.
Publicado: (2025)

Plenitudinous Urelements and the Definability of Cardinality
por: Yao, Bokai
Publicado: (2025)

Local mantles of $L[x]$
por: Schlutzenberg, Farmer
Publicado: (2021)

Mice with Woodin cardinals from a Reinhardt
por: Schlutzenberg, Farmer
Publicado: (2024)

On the consistency of ZF with an elementary embedding from $V_{λ+2}$ into $V_{λ+2}$
por: Schlutzenberg, Farmer
Publicado: (2020)

What model companionship can say about the Continuum problem
por: Venturi, Giorgio, et al.
Publicado: (2022)

Cohen-like first order structures
por: Kostana, Ziemowit
Publicado: (2020)

Nonrepresentable relation algebras from group systems
por: Andréka, H., et al.
Publicado: (2018)

Compactness in abelian group theory
por: Calderoni, Filippo, et al.
Publicado: (2025)

The Borel monadic theory of order is decidable
por: Manthe, Sven
Publicado: (2024)

From Internal to External: Classical Models of ZF + PP + $\neg$AC
por: Gilson, Frank
Publicado: (2025)

Failure of the Blok-Esakia Theorem in the monadic setting
por: Bezhanishvili, Guram, et al.
Publicado: (2024)

Abstraction Principles and the Size of Reality
por: Yao, Bokai
Publicado: (2025)

Finite axiomatization of $\textbf{GL}\times\textbf{S5}$ and $\textbf{Grz}\times\textbf{S5}$
por: Bezhanishvili, Guram, et al.
Publicado: (2025)

The Monadic Grzegorczyk Logic
por: Bezhanishvili, Guram, et al.
Publicado: (2024)

A generalized Cantor theorem in ZF
por: Peng, Yinhe, et al.
Publicado: (2021)

On the Rainbow Ramsey theorem and the Canonical Ramsey Theorem for pairs without AC
por: Banerjee, Amitayu, et al.
Publicado: (2024)

Marginalia to a Theorem of Asperó and Schindler
por: Kasum, Obrad, et al.
Publicado: (2023)