Cover Image

Cartagena Logic

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Kivimäki, Siiri, Väänänen, Jouko, Villaveces, Andrés
Format:	Preprint
Published:	2021
Subjects:	Logic 03C40, 03C55, 03C75, 03C95
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

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

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

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

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

Zilber's notion of logically perfect structure: Universal Covers
by: Baldwin, John T., et al.
Published: (2023)

Generalized Von Neumann Universe and Non-Well-Founded Sets
by: Zhang, Eugene
Published: (2023)

Categoricity and amalgamation for AEC and $ κ$ measurable
by: Kolman, Oren, et al.
Published: (1996)

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

Ehrenfeucht-Fraïssé Games for Continuous First-Order Logic
by: Hirvonen, Åsa, et al.
Published: (2024)

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

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

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)

On the downward Löwenheim-Skolem Theorem for elementary submodels
by: Kunik, Matthias
Published: (2024)

More on expressibility of satisfiability in submodels and extensions
by: Poliakov, Nikolai L., et al.
Published: (2026)

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

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

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

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

The Second-order Version of Morley's Theorem on the Number of Countable Models does not Require Large Cardinals
by: Tall, Franklin D., et al.
Published: (2024)

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

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

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

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

On Stability and Existence of Models in Abstract Elementary Classes
by: Mazari-Armida, Marcos, et al.
Published: (2024)

Isomorphism of almost locally compact Polish metric structures
by: Malicki, Maciej
Published: (2025)

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

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

Flatness and Nonforking without the Continuum Hypothesis
by: Majozi, Philani Rodney
Published: (2025)

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

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

Quite Complete Real Closed fields
by: Shelah, Saharon
Published: (2001)

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)