Cover Image

The amalgamation property and Urysohn structures in continuous logic

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Gao, Su, Ren, Xuanzhi
Format:	Preprint
Published:	2023
Subjects:	Logic 03C66, 03C52, 03B60
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

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

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

Retractors in local positive logic
by: Fanlo, Arturo Rodriguez, et al.
Published: (2024)

Completeness in local positive logic
by: Fanlo, Arturo Rodriguez, 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)

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

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

Craig interpolation theorem fails in bi-intuitionistic predicate logic
by: Olkhovikov, Grigory K., et al.
Published: (2022)

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

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

Expansions and restrictions of structures and theories, their hierarchies
by: Sudoplatov, Sergey V.
Published: (2025)

Products of pseudofinite structures
by: D'Aquino, Paola, et al.
Published: (2024)

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

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

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

Varieties defined by linear equations have the amalgamation property
by: Lipparini, Paolo
Published: (2021)

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

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

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

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

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

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

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

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

Fractional Helly property and combinatorics of forking in NTP$_2$ theories
by: Chernikov, Artem, et al.
Published: (2026)

The variety of coset relation algebras
by: Givant, Steven, et al.
Published: (2018)

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

The Borel complexity of the class of models of first-order theories
by: Andrews, Uri, et al.
Published: (2024)

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

Towards a logic of affordances
by: Gruszczynski, Rafal, et al.
Published: (2025)

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

On the expressive power of inquisitive epistemic logic
by: Ciardelli, Ivano, et al.
Published: (2023)

Generic multiplicative endomorphism of a field
by: d'Elbée, Christian
Published: (2022)

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)