Cover Image

Interpolation in model theory

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Väänänen, Jouko
Format:	Preprint
Published:	2025
Subjects:	Logic 03C40, 03C95
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

Inner models from extended logics and the Delta-operation
by: Väänänen, Jouko, et al.
Published: (2025)

Model theory of second order logic
by: Väänänen, Jouko
Published: (2025)

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

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

On the categoricity of complete second order theories
by: Saarinen, Tapio, et al.
Published: (2024)

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

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

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

On Borel subsets of generalized Baire spaces
by: Hyttinen, Tapani, et al.
Published: (2025)

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

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

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

Model-theoretic characterizations of large cardinals (Re)${}^2$visited
by: Boney, Will, et al.
Published: (2025)

Abstract Model Structures and Compactness Theorems
by: Roy, Sayantan, et al.
Published: (2025)

Retractors in local positive logic
by: Fanlo, Arturo Rodriguez, et al.
Published: (2024)

Completeness in local positive logic
by: Fanlo, Arturo Rodriguez, et al.
Published: (2024)

Density of compressible types and some consequences
by: Bays, Martin, et al.
Published: (2021)

Positive indiscernibles
by: Kamsma, Mark
Published: (2023)

Generalized Explosion Principles: A Semantic Perspective
by: Basu, Sankha S., et al.
Published: (2025)

Implicative models of set theory
by: Maschio, Samuele, et al.
Published: (2023)

A New Ehrenfeucht-Fraïssé Game for Dependence Logic
by: Puljujärvi, Joni, et al.
Published: (2026)

Infinitary Logics and Abstract Elementary Classes
by: Shelah, Saharon, et al.
Published: (2020)

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

Interpolation above S4
by: Santschi, Simon, et al.
Published: (2026)

Revisiting Interpolation in Relevant Logics
by: Fussner, Wesley, et al.
Published: (2025)

Interpolation in Non-Classical Logics
by: Fussner, Wesley
Published: (2025)

Aronszajn trees and maximality
by: Ben-Neria, Omer, et al.
Published: (2023)

Maehara Interpolation in Extensions of R-mingle
by: Fussner, Wesley, et al.
Published: (2025)

Logic families
by: Andréka, H., et al.
Published: (2023)

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

Newelski's Conjecture for $o$-Minimal and $p$-Adic Groups
by: Yao, Ningyuan, et al.
Published: (2026)

Interpolation and the Exchange Rule
by: Fussner, Wesley, et al.
Published: (2023)

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

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

Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations
by: Wolter, Frank, et al.
Published: (2024)

Lifting independence along functors
by: Kamsma, Mark, et al.
Published: (2024)

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

Craig interpolation theorem fails in bi-intuitionistic predicate logic
by: Olkhovikov, Grigory K., et al.
Published: (2022)