Cover Image

On models of affine arithmetic

Fuente: arXiv

Saved in:

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

Similar Items

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

Classifying the complexity of models of arithmetic
by: Gonzalez, David, et al.
Published: (2025)

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

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

Pathologies in satisfaction classes
by: Abdul-Quader, Athar, et al.
Published: (2023)

The Lattice Problem for Models of $\mathsf{PA}$
by: Abdul-Quader, Athar, et al.
Published: (2024)

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

The Kaufmann--Clote question on end extensions of models of arithmetic and the weak regularity principle
by: Sun, Mengzhou
Published: (2024)

Generalized Schatunowsky theorem in a weak arithmetic
by: King, Hala, et al.
Published: (2025)

Saturation properties for compositional truth with propositional correctness
by: Wcisło, Bartosz
Published: (2024)

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

Partially-elementary end extensions of countable models of set theory
by: McKenzie, Zachiri
Published: (2024)

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

Truth and collection
by: Wcisło, Bartosz
Published: (2024)

Classical determinate truth without induction
by: Wcisło, Bartosz
Published: (2024)

Forcing with random variables in bounded arithmetics and set theory
by: Honzik, Radek
Published: (2026)

The set-theoretic Kaufmann-Clote question
by: McKenzie, Zachiri
Published: (2025)

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

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

General real-valued theories with the Schröder-Bernstein property are stable
by: Berenstein, Alexander, 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)

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

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

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

Escaping Tennenbaum's Theorem and a Strong Jump Inversion Theorem
by: Maia, Duarte
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)

Finite Combinatorics and Fragments of Arithmetic
by: Wang, Wei
Published: (2025)

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)

Countable models of weakly quasi-o-minimal theories II
by: Moconja, Slavko, et al.
Published: (2026)

Counting Sets with Surnatural Numbers
by: Lynch, Peter, et al.
Published: (2023)

On double-membership graphs of models of Anti-Foundation
by: Adam-Day, Bea, et al.
Published: (2019)

Implicative models of set theory
by: Maschio, Samuele, et al.
Published: (2023)

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

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

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

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