Σ-Definability of countable structures over real numbers, complex numbers, and quaternions
From MaRDI portal
Publication:3546124
DOI10.1007/S10469-008-9009-XzbMATH Open1164.03332OpenAlexW2016574823MaRDI QIDQ3546124FDOQ3546124
Authors: Andrei S. Morozov, M. V. Korovina 
Publication date: 18 December 2008
Published in: Algebra and Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10469-008-9009-x
Recommendations
- Countable structures \(\Sigma \)-definable over classical continuous number systems
- On Σ‐definability without equality over the real numbers
- scientific article; zbMATH DE number 1302874
- The number of countable models in realizability toposes
- Decidability in the Constructive Theory of Reals as an Ordered ℚ‐vectorspace
- \(\Sigma \)-definability of uncountable models of \(c\)-simple theories
- On the countable definability of sets
- Computer Science Logic
- A definability result for compact complex spaces
Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)
Cited In (14)
- Countable structures \(\Sigma \)-definable over classical continuous number systems
- Nonpresentability of the semigroup \(\omega^\omega\) over \(\mathbb H\mathbb F(\mathbb R)\)
- Generalized fusible numbers and their ordinals
- Computable model theory over the reals
- Nonpresentability of some structures of analysis in hereditarily finite superstructures
- The uniformization problem for \(\Sigma\)-predicates in a hereditarily finite list superstructure over the real exponential field
- On quasiregular structures with computable signatures
- A sufficient condition for nonpresentability of structures in hereditarily finite superstructures
- On functors enumerating structures
- On mutual definability of operations on fields
- \(\Sigma\)-presentations of the ordering on the reals
- \(\Sigma\)-preorderings in \(\mathbb{HF}(\mathbb{R} )\)
- On Σ‐definability without equality over the real numbers
- Definability in hereditarily finite manifolds
This page was built for publication: Σ-Definability of countable structures over real numbers, complex numbers, and quaternions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3546124)
