Cover Image

Elements of affine model theory

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Bagheri, Seyed-Mohammad
Format:	Preprint
Published:	2024
Subjects:	Logic 03C10, 03C20, 03C40, 03C66
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

Taking model-complete cores
by: Bodirsky, Manuel, et al.
Published: (2025)

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

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

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

Some contributions to presheaf model theory
by: Brunner, Andreas, et al.
Published: (2024)

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

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

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

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

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

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

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

Interpolation in model theory
by: Väänänen, Jouko
Published: (2025)

Some contributions to presheaf model theory, II -- back and forth
by: Brunner, Andreas, et al.
Published: (2026)

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

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

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

Testing definitional equivalence of theories via automorphism groups
by: Andréka, H., et al.
Published: (2022)

Coordinate recognition: General theory, Groups, and other surprises
by: Farah, I., et al.
Published: (2025)

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

Hierarchies of direct powers, ultrapowers and cumulative powers
by: Yago, Pedro Teixeira
Published: (2026)

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

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

Saturation of reduced products
by: De Bondt, Ben, et al.
Published: (2024)

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

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

A Complexity Dichotomy in Spatial Reasoning via Ramsey Theory
by: Bodirsky, Manuel, et al.
Published: (2020)

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

Higher-arity distality and forking triviality
by: Tong, Mervyn
Published: (2026)

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

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

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

On a new theory of models for formal mathematical systems
by: Kunik, Matthias
Published: (2026)

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

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

Pseudofiniteness in Hrushovski Constructions
by: Valizadeh, Ali N., et al.
Published: (2018)

Corona Rigidity
by: Farah, Ilijas, et al.
Published: (2022)