Cover Image

Ehrenfeucht-Fraïssé Games for Continuous First-Order Logic

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Hirvonen, Åsa, Puljujärvi, Joni
Format:	Preprint
Published:	2024
Subjects:	Logic 03C66, 03C75
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

On the Model Theory of Second-Order Objects
by: Hyttinen, Tapani, et al.
Published: (2024)

Compactness in Team Semantics
by: Puljujärvi, Joni, et al.
Published: (2022)

Continuous logic in a classical setting
by: Agostini, Claudio, et al.
Published: (2024)

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

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

A note on $\varepsilon$-stability
by: Chavarria, Nicolas
Published: (2024)

General real-valued theories with the Schröder-Bernstein property are stable
by: Berenstein, Alexander, et al.
Published: (2025)

Affinization and quantifier-elimination
by: Bagheri, Seyed-Mohammad
Published: (2025)

SB-property on metric structures
by: Argoty, Camilo, et al.
Published: (2023)

Affine logic with the integration operator
by: Bagheri, Seyed-Mohammad
Published: (2026)

Local stability in structures with a standard sort
by: Barbina, Silvia, et al.
Published: (2025)

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

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

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

On models of affine arithmetic
by: Bagheri, Seyed-Mohammad
Published: (2025)

The generalized continuous model theory, Borel complexity and stability
by: Ivanov, Aleksander
Published: (2026)

The amalgamation property and Urysohn structures in continuous logic
by: Gao, Su, et al.
Published: (2023)

Explicit affine formulas for distances between tuples in classical discrete structures
by: Molina-Mounier, Arthur
Published: (2026)

Approximation of structures:local and global
by: Zilber, Boris
Published: (2026)

Uniqueness of constructible models in continuous logic
by: Hanson, James E.
Published: (2025)

Definably amenable groups in Continuous logic
by: Carmona, Juan Felipe, et al.
Published: (2022)

A characterization of Continuous Logic by using quantale-valued logics
by: Reyes, David, et al.
Published: (2021)

A metric lifting theorem
by: De Bondt, Ben, et al.
Published: (2024)

On the undefinability of pathological Banach spaces
by: Hamel, Clovis, et al.
Published: (2024)

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

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

Higher amalgamation in $\mathrm{ACFA}^{+}$
by: Ludwig, Stefan Marian
Published: (2026)

On the computability of cofinal Fraïssé limits
by: Ackerman, Nathanael, et al.
Published: (2026)

NSOP$_1$-like independence in AECats
by: Kamsma, Mark
Published: (2021)

Elementary equivalence and disintegration of tracial von Neumann algebras
by: Gao, David, et al.
Published: (2024)

Locally $\aleph_0$-categorical theories and locally Roelcke precompact groups
by: Yaacov, Itaï Ben, et al.
Published: (2026)

Model theory of difference fields with an additive character on the fixed field
by: Ludwig, Stefan Marian
Published: (2025)

Elementary embeddings into ultrapower $\mathrm{II}_1$ factors without a UCP lift
by: Gao, David, et al.
Published: (2025)

An Approximate AKE Principle for Metric Valued Fields
by: Hils, Martin, et al.
Published: (2022)

NIP and Distal Metric Structures
by: Anderson, Aaron
Published: (2023)

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

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

Hilbert spaces admit no finitary discrete imaginaries
by: Chen, Ruiyuan, et al.
Published: (2025)