scientific article; zbMATH DE number 1302874
From MaRDI portal
Publication:4249360
Cited in
(25)- Jump inversions of algebraic structures and the \({\Sigma}\)-definability
- Nonpresentability of some structures of analysis in hereditarily finite superstructures
- Countably categorical theories
- Maximality and minimality under limitwise monotonic reducibility
- \(\Sigma\)-preorderings in \(\mathbb{HF}(\mathbb{R} )\)
- \(\Sigma\)-presentations of the ordering on the reals
- On some reducibility and existential interpretability of structures
- A sufficient condition for nonpresentability of structures in hereditarily finite superstructures
- Computable model theory over the reals
- Σ-Definability of countable structures over real numbers, complex numbers, and quaternions
- Algebraic theories with definable Skolem functions
- scientific article; zbMATH DE number 956483 (Why is no real title available?)
- On \(\Sigma\)-rigid presentations of the real order
- scientific article; zbMATH DE number 2067768 (Why is no real title available?)
- The theory of lists and \(\Sigma\)-definability
- scientific article; zbMATH DE number 2154082 (Why is no real title available?)
- scientific article; zbMATH DE number 2154089 (Why is no real title available?)
- scientific article; zbMATH DE number 3995659 (Why is no real title available?)
- scientific article; zbMATH DE number 1420850 (Why is no real title available?)
- Jump inversions of algebraic structures and Σ‐definability
- \(\Sigma \)-definability of uncountable models of \(c\)-simple theories
- On presentations of the addition over the reals
- Some presentations of the real number field
- Interval extensions of orders and temporal approximation spaces
- Countable structures \(\Sigma \)-definable over classical continuous number systems
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4249360)
