Cover Image

Some contributions to presheaf model theory

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Brunner, Andreas, Morgan, Charles, Pinto, Darllan Conceição
Format:	Preprint
Published:	2024
Subjects:	Logic 03C90, 03C40, 03C45, 03C68
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, II -- back and forth
by: Brunner, Andreas, et al.
Published: (2026)

Local stability in structures with a standard sort
by: Barbina, Silvia, et al.
Published: (2025)

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

Higher-arity distality and forking triviality
by: Tong, Mervyn
Published: (2026)

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

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

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

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

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

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

Existence in NSOP$_1$ theories
by: Kim, Byunghan, et al.
Published: (2024)

On stable Kim-forking and rosy theories
by: Miguel-Gómez, Alberto
Published: (2025)

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

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

A note on transfer maps and the Morley product in NIP theories
by: Gannon, Kyle
Published: (2024)

General real-valued theories with the Schröder-Bernstein property are stable
by: Berenstein, Alexander, et al.
Published: (2025)

Saturation of reduced products
by: De Bondt, Ben, et al.
Published: (2024)

On the Model Theory of Second-Order Objects
by: Hyttinen, Tapani, et al.
Published: (2024)

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

The spectrum of limit models in a first order setting
by: Beard, Jeremy
Published: (2025)

Hierarchies of direct powers, ultrapowers and cumulative powers
by: Yago, Pedro Teixeira
Published: (2026)

Club guessing and the universal models
by: Džamonja, Mirna
Published: (2006)

Building models in small cardinals in local abstract elementary classes
by: Mazari-Armida, Marcos, et al.
Published: (2023)

Building complicated index models and Boolean algebras
by: Shelah, Saharon
Published: (2024)

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

A complicated family of trees with omega + 1 levels
by: Shelah, Saharon
Published: (2014)

Multidimensional asymptotic classes
by: Anscombe, Sylvy, et al.
Published: (2024)

Cartagena Logic
by: Kivimäki, Siiri, et al.
Published: (2021)

Pseudofiniteness in Hrushovski Constructions
by: Valizadeh, Ali N., et al.
Published: (2018)

On dp-minimal expansions of the integers II
by: Alouf, Eran
Published: (2024)

A note on $\varepsilon$-stability
by: Chavarria, Nicolas
Published: (2024)

VC-Density in Pairs of Ordered Vector Space
by: Günaydın, Ayhan, et al.
Published: (2024)

Domination, fibrations and splitting
by: Eagles, Christine, et al.
Published: (2025)

Remarks on relative categoricity
by: Pillay, Anand
Published: (2026)

Rank and Independence of Imaginaries in Proper Pairs of ACF
by: Zhu, Zixuan
Published: (2026)

Fields of dp-Rank 2 and their W_2-Topologies: The Characteristic 2 Case
by: Moreno, Paulo Andrés Soto
Published: (2025)

SB-property on metric structures
by: Argoty, Camilo, et al.
Published: (2023)

Preservation of NATP
by: Ahn, JinHoo, et al.
Published: (2022)

Long limit models are isomorphic assuming a splitting-like relation
by: Beard, Jeremy
Published: (2025)

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