Image de couverture de livre

The modal theory of the category of sets

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Wołoszyn, Wojciech Aleksander
Format:	Preprint
Publié:	2026
Sujets:	Logic 03C55, 03C90, 03B45, 18C10
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

The modal theory of linear orders
par: Wołoszyn, Wojciech Aleksander
Publié: (2026)

Modal group theory
par: Wołoszyn, Wojciech Aleksander
Publié: (2026)

Modal group theory: homomorphisms
par: Wołoszyn, Wojciech Aleksander
Publié: (2026)

Some contributions to presheaf model theory
par: Brunner, Andreas, et autres
Publié: (2024)

Some NIP-like phenomena in NTP$_{2}$
par: Kaplan, Itay, et autres
Publié: (2017)

More on expressibility of satisfiability in submodels and extensions
par: Poliakov, Nikolai L., et autres
Publié: (2026)

Some contributions to presheaf model theory, II -- back and forth
par: Brunner, Andreas, et autres
Publié: (2026)

Weak compactness cardinals for strong logics and subtlety properties of the class of ordinals
par: Lücke, Philipp
Publié: (2024)

Large cardinals beyond HOD
par: Aguilera, Juan Pablo, et autres
Publié: (2025)

Building complicated index models and Boolean algebras
par: Shelah, Saharon
Publié: (2024)

Club guessing and the universal models
par: Džamonja, Mirna
Publié: (2006)

Flatness and Nonforking without the Continuum Hypothesis
par: Majozi, Philani Rodney
Publié: (2025)

A complicated family of trees with omega + 1 levels
par: Shelah, Saharon
Publié: (2014)

The generalized continuous model theory, Borel complexity and stability
par: Ivanov, Aleksander
Publié: (2026)

Building models in small cardinals in local abstract elementary classes
par: Mazari-Armida, Marcos, et autres
Publié: (2023)

On Stability and Existence of Models in Abstract Elementary Classes
par: Mazari-Armida, Marcos, et autres
Publié: (2024)

Generic multiplicative endomorphism of a field
par: d'Elbée, Christian
Publié: (2022)

Large cardinals, structural reflection, and the HOD Conjecture
par: Aguilera, Juan P., et autres
Publié: (2024)

Categoricity and amalgamation for AEC and $ κ$ measurable
par: Kolman, Oren, et autres
Publié: (1996)

Taking model-complete cores
par: Bodirsky, Manuel, et autres
Publié: (2025)

Model theory of class-sized logics
par: Osinski, Jonathan, et autres
Publié: (2026)

On a new theory of models for formal mathematical systems
par: Kunik, Matthias
Publié: (2026)

The Monadic Grzegorczyk Logic
par: Bezhanishvili, Guram, et autres
Publié: (2024)

Finite axiomatization of $\textbf{GL}\times\textbf{S5}$ and $\textbf{Grz}\times\textbf{S5}$
par: Bezhanishvili, Guram, et autres
Publié: (2025)

Expansions and restrictions of structures and theories, their hierarchies
par: Sudoplatov, Sergey V.
Publié: (2025)

Stable formulas in ordered structures
par: Hoffmann, Daniel Max, et autres
Publié: (2020)

Vector spaces with a union of independent subspaces
par: Berarducci, Alessandro, et autres
Publié: (2022)

A 2-categorical approach to the semantics of dependent type theory with computation axioms
par: Spadetto, Matteo
Publié: (2025)

No universal group in a cardinal
par: Shelah, Saharon
Publié: (2013)

The spectrum of limit models in a first order setting
par: Beard, Jeremy
Publié: (2025)

Existence in NSOP$_1$ theories
par: Kim, Byunghan, et autres
Publié: (2024)

The biequivalence of path categories and axiomatic Martin-Löf type theories
par: Otten, Daniël, et autres
Publié: (2025)

On stable Kim-forking and rosy theories
par: Miguel-Gómez, Alberto
Publié: (2025)

Forcing with random variables in bounded arithmetics and set theory
par: Honzik, Radek
Publié: (2026)

Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
par: Lyon, Tim S.
Publié: (2025)

Uniform Lyndon interpolation for the pure logic of necessitation with a modal reduction principle
par: Sato, Yuta
Publié: (2025)

General real-valued theories with the Schröder-Bernstein property are stable
par: Berenstein, Alexander, et autres
Publié: (2025)

A note on transfer maps and the Morley product in NIP theories
par: Gannon, Kyle
Publié: (2024)

Corrigendum to "Kim-independence in positive logic"
par: Dobrowolski, Jan, et autres
Publié: (2024)

The domination monoid in o-minimal theories
par: Mennuni, Rosario
Publié: (2020)