Buchumschlag

On Some Infinitary Logics

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Vaananen, Jouko, Velickovic, Boban
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic Primary: 03Bxx, 03C55, 03C75, 03C95, 03Exx
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Cartagena Logic
von: Kivimäki, Siiri, et al.
Veröffentlicht: (2021)

Reflections on Russell's antinomy
von: Cattabriga, Paola
Veröffentlicht: (2024)

Model theory of class-sized logics
von: Osinski, Jonathan, et al.
Veröffentlicht: (2026)

Interpolation in model theory
von: Väänänen, Jouko
Veröffentlicht: (2025)

Infinitary Logic Has No Expressive Efficiency Over Finitary Logic
von: Harrison-Trainor, Matthew, et al.
Veröffentlicht: (2022)

Some NIP-like phenomena in NTP$_{2}$
von: Kaplan, Itay, et al.
Veröffentlicht: (2017)

Inner models from extended logics and the Delta-operation
von: Väänänen, Jouko, et al.
Veröffentlicht: (2025)

Infinitary Logics and Abstract Elementary Classes
von: Shelah, Saharon, et al.
Veröffentlicht: (2020)

Marginalia to a Theorem of Asperó and Schindler
von: Kasum, Obrad, et al.
Veröffentlicht: (2023)

Categoricity and amalgamation for AEC and $ κ$ measurable
von: Kolman, Oren, et al.
Veröffentlicht: (1996)

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

Nonrepresentable relation algebras from group systems
von: Andréka, H., et al.
Veröffentlicht: (2018)

Generalized Von Neumann Universe and Non-Well-Founded Sets
von: Zhang, Eugene
Veröffentlicht: (2023)

On the Logical and Algebraic Aspects of Reasoning with Formal Contexts
von: Howlader, Prosenjit, et al.
Veröffentlicht: (2024)

More on expressibility of satisfiability in submodels and extensions
von: Poliakov, Nikolai L., et al.
Veröffentlicht: (2026)

Density of compressible types and some consequences
von: Bays, Martin, et al.
Veröffentlicht: (2021)

The calculus of names -- The legacy of Jan Łukasiewicz
von: Pietruszczak, Andrzej
Veröffentlicht: (2023)

On Stability and Existence of Models in Abstract Elementary Classes
von: Mazari-Armida, Marcos, et al.
Veröffentlicht: (2024)

Building models in small cardinals in local abstract elementary classes
von: Mazari-Armida, Marcos, et al.
Veröffentlicht: (2023)

Positive indiscernibles
von: Kamsma, Mark
Veröffentlicht: (2023)

Hierarchies of direct powers, ultrapowers and cumulative powers
von: Yago, Pedro Teixeira
Veröffentlicht: (2026)

On the downward Löwenheim-Skolem Theorem for elementary submodels
von: Kunik, Matthias
Veröffentlicht: (2024)

On a new theory of models for formal mathematical systems
von: Kunik, Matthias
Veröffentlicht: (2026)

Ehrenfeucht-Fraïssé Games for Continuous First-Order Logic
von: Hirvonen, Åsa, et al.
Veröffentlicht: (2024)

Logic families
von: Andréka, H., et al.
Veröffentlicht: (2023)

A note on transfer maps and the Morley product in NIP theories
von: Gannon, Kyle
Veröffentlicht: (2024)

Domination, fibrations and splitting
von: Eagles, Christine, et al.
Veröffentlicht: (2025)

Imaginaries, products and the adele ring
von: Derakhshan, Jamshid, et al.
Veröffentlicht: (2023)

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

A complicated family of trees with omega + 1 levels
von: Shelah, Saharon
Veröffentlicht: (2014)

Increasing the second uniform indiscernible by strongly ssp forcing
von: De Bondt, Ben, et al.
Veröffentlicht: (2022)

On Borel subsets of generalized Baire spaces
von: Hyttinen, Tapani, et al.
Veröffentlicht: (2025)

On the categoricity of complete second order theories
von: Saarinen, Tapio, et al.
Veröffentlicht: (2024)

Model theory of second order logic
von: Väänänen, Jouko
Veröffentlicht: (2025)

Isomorphism of almost locally compact Polish metric structures
von: Malicki, Maciej
Veröffentlicht: (2025)

Building complicated index models and Boolean algebras
von: Shelah, Saharon
Veröffentlicht: (2024)

Club guessing and the universal models
von: Džamonja, Mirna
Veröffentlicht: (2006)

Flatness and Nonforking without the Continuum Hypothesis
von: Majozi, Philani Rodney
Veröffentlicht: (2025)

Retractors in local positive logic
von: Fanlo, Arturo Rodriguez, et al.
Veröffentlicht: (2024)

Completeness in local positive logic
von: Fanlo, Arturo Rodriguez, et al.
Veröffentlicht: (2024)