Cover Image

Inner models from extended logics and the Delta-operation

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Väänänen, Jouko, Ya'ar, Ur
Format:	Preprint
Published:	2025
Subjects:	Logic 03E45 (Primary) 03C95 (Secondary)
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Iterated club shooting and the stationary-logic constructible model
by: Ya'ar, Ur
Published: (2022)

Models for short sequences of measures in the cofinality-$ω$ constructible model
by: Ya'ar, Ur
Published: (2021)

New inner models from second order logics
by: Magidor, Menachem, et al.
Published: (2025)

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

On Some Infinitary Logics
by: Vaananen, Jouko, 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)

Inner Models from Extended Logics: Part 2
by: Kennedy, Juliette, et al.
Published: (2020)

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

Corrigendum to "Kim-independence in positive logic"
by: Dobrowolski, Jan, et al.
Published: (2024)

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

Constructibility real degrees in the side-by-side Sacks model
by: Notaro, Lorenzo
Published: (2025)

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

Derived Models in PFA
by: Levinson, Derek, et al.
Published: (2025)

The breadth of constructibility degrees and definable Sierpiński's coverings
by: Andretta, Alessandro, et al.
Published: (2024)

Building Models of Determinacy from Below
by: Kasum, Obrad, et al.
Published: (2024)

Monoidal Symmetric Models
by: Basak, Dianthe
Published: (2024)

On the spectrum of limit models
by: Beard, Jeremy, et al.
Published: (2025)

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

Neighborhood and algebraic models for predicate modal logics with $ω$-rules
by: Tanaka, Yoshihito
Published: (2025)

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)

A non-uniform view of Craig interpolation in modal logics with linear frames
by: Kurucz, Agi, et al.
Published: (2023)

Clarifying ordinals
by: Schweber, Noah
Published: (2024)

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

The first measurable can be the first inaccessible cardinal
by: Gitik, Moti, et al.
Published: (2024)

The complexity of non-stationary ideals
by: Lücke, Philipp
Published: (2024)

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

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

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

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

Nonvaluational ordered Abelian groups of finite burden
by: Fujita, Masato
Published: (2025)

Orthogonality and domination in o-minimal expansions of ordered groups
by: Guerrero, Pablo Andújar, et al.
Published: (2025)

The O-minimal Zilber Conjecture in Higher Dimensions
by: Castle, Benjamin
Published: (2024)

Vaught's conjecture for theories of discretely ordered structures
by: Tanović, Predrag
Published: (2022)

Some definable types that cannot be amalgamated
by: Hils, Martin, et al.
Published: (2022)

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

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

Strong reducibilities and set theory
by: Schweber, Noah
Published: (2024)

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