Cover Image

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

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Brunner, Andreas, Morgan, Charles, Pinto, Darllan Conceição
Format:	Preprint
Published:	2026
Subjects:	Logic 03C90, 03C10, 03C25
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Some contributions to presheaf model theory
by: Brunner, Andreas, et al.
Published: (2024)

Scott-Karp analysis without sentences
by: Brunner, Andreas, et al.
Published: (2026)

The modal theory of the category of sets
by: Wołoszyn, Wojciech Aleksander
Published: (2026)

Elements of affine model theory
by: Bagheri, Seyed-Mohammad
Published: (2024)

Axiomatizations of Presburger Arithmetic With Predicates For Powers
by: Hieronymi, Philipp, et al.
Published: (2026)

Forcing with random variables in bounded arithmetics and set theory
by: Honzik, Radek
Published: (2026)

The Monadic Grzegorczyk Logic
by: Bezhanishvili, Guram, et al.
Published: (2024)

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

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

Infinitary Logic Has No Expressive Efficiency Over Finitary Logic
by: Harrison-Trainor, Matthew, et al.
Published: (2022)

Affinization and quantifier-elimination
by: Bagheri, Seyed-Mohammad
Published: (2025)

Imaginaries, products and the adele ring
by: Derakhshan, Jamshid, et al.
Published: (2023)

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

Homomorphism Preservation Theorems for Many-Valued Structures
by: Carr, James
Published: (2024)

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

Countable models of weakly quasi-o-minimal theories II
by: Moconja, Slavko, et al.
Published: (2026)

A Complete Bounded Theory with Unbounded Types
by: Zhu, Hongyu
Published: (2026)

Taking model-complete cores
by: Bodirsky, Manuel, et al.
Published: (2025)

Some NIP-like phenomena in NTP$_{2}$
by: Kaplan, Itay, et al.
Published: (2017)

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

On Some Infinitary Logics
by: Vaananen, Jouko, et al.
Published: (2024)

Model Theory of Generic Vector Space Endomorphisms II
by: Chini, Leon
Published: (2025)

Stable formulas in ordered structures
by: Hoffmann, Daniel Max, et al.
Published: (2020)

Vector spaces with a union of independent subspaces
by: Berarducci, Alessandro, et al.
Published: (2022)

Finite models for positive combinatorial and exponential algebra
by: Alsulami, Tumadhir, et al.
Published: (2024)

Interpolation in model theory
by: Väänänen, Jouko
Published: (2025)

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

Spherically complete models of Hensel minimal valued fields
by: Bradley-Williams, David, et al.
Published: (2021)

Expansions and restrictions of structures and theories, their hierarchies
by: Sudoplatov, Sergey V.
Published: (2025)

Variants of Łoś's Theorem
by: Usuba, Toshimichi
Published: (2025)

Extensions of categoricity relative to a degree
by: Villano, Java Darleen
Published: (2025)

Decidability of the theory of modules over Prüfer domains with infinite residue fields
by: Gregory, Lorna, et al.
Published: (2017)

Decidability of the theory of modules over Prüfer domains with dense value groups
by: Gregory, Lorna, et al.
Published: (2019)

On the elementary theory of the real exponential field
by: Berarducci, Alessandro, et al.
Published: (2026)

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

Model theory of class-sized logics
by: Osinski, Jonathan, et al.
Published: (2026)

The generalized continuous model theory, Borel complexity and stability
by: Ivanov, Aleksander
Published: (2026)

The Borel complexity of the class of models of first-order theories
by: Andrews, Uri, et al.
Published: (2024)

The number of countable models of first-order theories
by: Pillay, Anand, et al.
Published: (2025)

Partially-elementary end extensions of countable models of set theory
by: McKenzie, Zachiri
Published: (2024)