Image de couverture de livre

Some contributions to presheaf model theory, II -- back and forth

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Brunner, Andreas, Morgan, Charles, Pinto, Darllan Conceição
Format:	Preprint
Publié:	2026
Sujets:	Logic 03C90, 03C10, 03C25
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

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

Scott-Karp analysis without sentences
par: Brunner, Andreas, et autres
Publié: (2026)

The modal theory of the category of sets
par: Wołoszyn, Wojciech Aleksander
Publié: (2026)

Elements of affine model theory
par: Bagheri, Seyed-Mohammad
Publié: (2024)

Axiomatizations of Presburger Arithmetic With Predicates For Powers
par: Hieronymi, Philipp, et autres
Publié: (2026)

Forcing with random variables in bounded arithmetics and set theory
par: Honzik, Radek
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)

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

Infinitary Logic Has No Expressive Efficiency Over Finitary Logic
par: Harrison-Trainor, Matthew, et autres
Publié: (2022)

Affinization and quantifier-elimination
par: Bagheri, Seyed-Mohammad
Publié: (2025)

Imaginaries, products and the adele ring
par: Derakhshan, Jamshid, et autres
Publié: (2023)

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

Homomorphism Preservation Theorems for Many-Valued Structures
par: Carr, James
Publié: (2024)

What model companionship can say about the Continuum problem
par: Venturi, Giorgio, et autres
Publié: (2022)

Countable models of weakly quasi-o-minimal theories II
par: Moconja, Slavko, et autres
Publié: (2026)

A Complete Bounded Theory with Unbounded Types
par: Zhu, Hongyu
Publié: (2026)

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

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

Herbrand's Theorem: a short statement and a model-theoretic proof
par: Badano, Mariana
Publié: (2025)

On Some Infinitary Logics
par: Vaananen, Jouko, et autres
Publié: (2024)

Model Theory of Generic Vector Space Endomorphisms II
par: Chini, Leon
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)

Finite models for positive combinatorial and exponential algebra
par: Alsulami, Tumadhir, et autres
Publié: (2024)

Interpolation in model theory
par: Väänänen, Jouko
Publié: (2025)

Coordinate recognition: General theory, Groups, and other surprises
par: Farah, I., et autres
Publié: (2025)

Spherically complete models of Hensel minimal valued fields
par: Bradley-Williams, David, et autres
Publié: (2021)

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

Variants of Łoś's Theorem
par: Usuba, Toshimichi
Publié: (2025)

Extensions of categoricity relative to a degree
par: Villano, Java Darleen
Publié: (2025)

Decidability of the theory of modules over Prüfer domains with infinite residue fields
par: Gregory, Lorna, et autres
Publié: (2017)

Decidability of the theory of modules over Prüfer domains with dense value groups
par: Gregory, Lorna, et autres
Publié: (2019)

On the elementary theory of the real exponential field
par: Berarducci, Alessandro, et autres
Publié: (2026)

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

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

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

The Borel complexity of the class of models of first-order theories
par: Andrews, Uri, et autres
Publié: (2024)

The number of countable models of first-order theories
par: Pillay, Anand, et autres
Publié: (2025)

Partially-elementary end extensions of countable models of set theory
par: McKenzie, Zachiri
Publié: (2024)