Cover Image

Infinitary Logic Has No Expressive Efficiency Over Finitary Logic

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Harrison-Trainor, Matthew, Kretschmer, Miles
Format:	Preprint
Published:	2022
Subjects:	Logic 03C75, 03C25 (Primary) 03C40 (Secondary)
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

Marginalia to a Theorem of Asperó and Schindler
by: Kasum, Obrad, et al.
Published: (2023)

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

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

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

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

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

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

Separation and Definability in Fragments of Two-Variable First-Order Logic with Counting
by: Kuijer, Louwe, et al.
Published: (2025)

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

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

Satisfaction classes with approximate disjunctive correctness
by: Enayat, Ali
Published: (2023)

The Borel monadic theory of order is decidable
by: Manthe, Sven
Published: (2024)

The calculus of names -- The legacy of Jan Łukasiewicz
by: Pietruszczak, Andrzej
Published: (2023)

A choice-free proof of Mal'cev's theorem on quasivarieties
by: Shen, Guozhen
Published: (2025)

Universality properties of forcing
by: Parente, Francesco, et al.
Published: (2023)

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)

Transfer principles for forking and dividing in expansions of pure short exact sequences of Abelian groups
by: Hossain, Akash
Published: (2024)

Vector spaces with a union of independent subspaces
by: Berarducci, Alessandro, et al.
Published: (2022)

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

An NIP-like Notion in Abstract Elementary Classes
by: Yang, Wentao
Published: (2023)

Stable formulas in ordered structures
by: Hoffmann, Daniel Max, et al.
Published: (2020)

Disjoint non-forking amalgamation in stable AECs
by: Beard, Jeremy
Published: (2026)

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

Model Theory of Homogeneous D-sets
by: Estrada, Felipe, et al.
Published: (2025)

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

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

Towards a Finer Classification of Strongly Minimal Sets
by: Baldwin, John T., et al.
Published: (2021)

Zarankiewicz bounds from distal regularity lemma
by: Tong, Mervyn
Published: (2024)

Finitary Simulation of Infinitary $β$-Reduction via Taylor Expansion, and Applications
by: Cerda, Rémy, et al.
Published: (2022)

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

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

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)

Model Theory of Generic Vector Space Endomorphisms
by: Chini, Leon
Published: (2025)

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

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