A tetrachotomy for expansions of the real ordered additive group
From MaRDI portal
Publication:2037136
Automata and formal grammars in connection with logical questions (03D05) Model theory of ordered structures; o-minimality (03C64) Descriptive set theory (03E15) Dimension theory in general topology (54F45) Classification of real functions; Baire classification of sets and functions (26A21) Interpolation, preservation, definability (03C40)
Recommendations
- Expansions of the ordered additive group of real numbers by two discrete subgroups
- Externally definable quotients and NIP expansions of the real ordered additive group
- scientific article; zbMATH DE number 1420852
- scientific article; zbMATH DE number 3961951
- An analog of the fundamental theorem of arithmetic in ordered groupoids
- scientific article; zbMATH DE number 4013200
- Extending the multiplication of a totally ordered group to its completion
- Germ expansions for real groups
- A growth dichotomy for o-minimal expansions of ordered groups
- scientific article; zbMATH DE number 4159007
Cites work
- scientific article; zbMATH DE number 3622573 (Why is no real title available?)
- scientific article; zbMATH DE number 1223712 (Why is no real title available?)
- scientific article; zbMATH DE number 722611 (Why is no real title available?)
- scientific article; zbMATH DE number 1444018 (Why is no real title available?)
- scientific article; zbMATH DE number 7168153 (Why is no real title available?)
- scientific article; zbMATH DE number 3237829 (Why is no real title available?)
- $\mathbb \{Q\}$ muni de l’arithmétique faible de Penzin est décidable
- A Guide to NIP Theories
- A generic condition implying o-minimality for restricted \(C^\infty\)-functions
- A new strongly minimal set
- A trichotomy theorem for o-minimal structures
- Additive reducts of real closed fields
- An analogue of Cobham's theorem for graph directed iterated function systems
- Between groups and rings
- Decidability and undecidability of extensions of second (first) order theory of (generalized) successor
- Defining the set of integers in expansions of the real field by a closed discrete set
- Expansions of o-minimal structures by sparse sets
- Expansions of the ordered additive group of real numbers by two discrete subgroups
- Expansions of the real field by open sets: definability versus interpretability
- Functions with positive differences
- How to avoid a compact set
- Interpreting the monadic second order theory of one successor in expansions of the real line
- Interpreting the projective hierarchy in expansions of the real line
- Linear o-minimal structures
- Locally o-minimal structures
- Model-theoretic properties of \(\omega\)-automatic structures
- On o-minimal expansions of Archimedean ordered groups
- Quantization causes waves: smooth finitely computable functions are affine
- Quasianalytic Denjoy-Carleman classes and o-minimality
- Real functions computable by finite automata using affine representations.
- Some characterizations of functions computable in on-line arithmetic
- Strongly minimal countably categorical theories. II
- Structures having o-minimal open core
- The field of reals with a predicate for the powers of two
- When is scalar multiplication decidable?
- Über die Baire'sche Kategorie gewisser Funktionenmengen
Cited in
(3)
This page was built for publication: A tetrachotomy for expansions of the real ordered additive group
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2037136)
