Buchumschlag

The amalgamation property and Urysohn structures in continuous logic

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Gao, Su, Ren, Xuanzhi
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Logic 03C66, 03C52, 03B60
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Higher amalgamation in $\mathrm{ACFA}^{+}$
von: Ludwig, Stefan Marian
Veröffentlicht: (2026)

Affine logic with the integration operator
von: Bagheri, Seyed-Mohammad
Veröffentlicht: (2026)

Uniqueness of constructible models in continuous logic
von: Hanson, James E.
Veröffentlicht: (2025)

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

SB-property on metric structures
von: Argoty, Camilo, et al.
Veröffentlicht: (2023)

Local stability in structures with a standard sort
von: Barbina, Silvia, et al.
Veröffentlicht: (2025)

The generalized continuous model theory, Borel complexity and stability
von: Ivanov, Aleksander
Veröffentlicht: (2026)

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)

Transfer principles for forking and dividing in expansions of pure short exact sequences of Abelian groups
von: Hossain, Akash
Veröffentlicht: (2024)

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

Continuous logic in a classical setting
von: Agostini, Claudio, et al.
Veröffentlicht: (2024)

Craig interpolation theorem fails in bi-intuitionistic predicate logic
von: Olkhovikov, Grigory K., et al.
Veröffentlicht: (2022)

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

NSOP$_1$-like independence in AECats
von: Kamsma, Mark
Veröffentlicht: (2021)

Expansions and restrictions of structures and theories, their hierarchies
von: Sudoplatov, Sergey V.
Veröffentlicht: (2025)

Products of pseudofinite structures
von: D'Aquino, Paola, et al.
Veröffentlicht: (2024)

A note on $\varepsilon$-stability
von: Chavarria, Nicolas
Veröffentlicht: (2024)

Affinization and quantifier-elimination
von: Bagheri, Seyed-Mohammad
Veröffentlicht: (2025)

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

Varieties defined by linear equations have the amalgamation property
von: Lipparini, Paolo
Veröffentlicht: (2021)

Definably amenable groups in Continuous logic
von: Carmona, Juan Felipe, et al.
Veröffentlicht: (2022)

Elements of affine model theory
von: Bagheri, Seyed-Mohammad
Veröffentlicht: (2024)

Approximation of structures:local and global
von: Zilber, Boris
Veröffentlicht: (2026)

Model theory of difference fields with an additive character on the fixed field
von: Ludwig, Stefan Marian
Veröffentlicht: (2025)

An Approximate AKE Principle for Metric Valued Fields
von: Hils, Martin, et al.
Veröffentlicht: (2022)

On models of affine arithmetic
von: Bagheri, Seyed-Mohammad
Veröffentlicht: (2025)

Explicit affine formulas for distances between tuples in classical discrete structures
von: Molina-Mounier, Arthur
Veröffentlicht: (2026)

Compactness in Team Semantics
von: Puljujärvi, Joni, et al.
Veröffentlicht: (2022)

Fractional Helly property and combinatorics of forking in NTP$_2$ theories
von: Chernikov, Artem, et al.
Veröffentlicht: (2026)

The variety of coset relation algebras
von: Givant, Steven, et al.
Veröffentlicht: (2018)

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)

The Borel complexity of the class of models of first-order theories
von: Andrews, Uri, et al.
Veröffentlicht: (2024)

A metric lifting theorem
von: De Bondt, Ben, et al.
Veröffentlicht: (2024)

Towards a logic of affordances
von: Gruszczynski, Rafal, et al.
Veröffentlicht: (2025)

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

On the expressive power of inquisitive epistemic logic
von: Ciardelli, Ivano, et al.
Veröffentlicht: (2023)

Generic multiplicative endomorphism of a field
von: d'Elbée, Christian
Veröffentlicht: (2022)

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

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