Decidability of Definable Equivalence Relations in Expansions of the Real Field by Generic Predicates

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Zen Revista, 10 MFC
DOI: 10.5281/zenodo.18759150
Cited by: 0

Abstract

We investigate the model-theoretic properties of expansions of the real ordered field R = (R, +, ,

Fields of Study & Subjects

Advanced Topology and Set Theory Mathematical and Theoretical Analysis Algebraic Geometry and Number Theory

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
24 February 2026
Language
EN