Σ-Definability of countable structures over real numbers, complex numbers, and quaternions
From MaRDI portal
Publication:3546124
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
Cited in
(14)- On mutual definability of operations on fields
- Countable structures \(\Sigma \)-definable over classical continuous number systems
- On Σ‐definability without equality over the real numbers
- Definability in hereditarily finite manifolds
- On functors enumerating structures
- \(\Sigma\)-presentations of the ordering on the reals
- The uniformization problem for \(\Sigma\)-predicates in a hereditarily finite list superstructure over the real exponential field
- \(\Sigma\)-preorderings in \(\mathbb{HF}(\mathbb{R} )\)
- A sufficient condition for nonpresentability of structures in hereditarily finite superstructures
- Nonpresentability of the semigroup \(\omega^\omega\) over \(\mathbb H\mathbb F(\mathbb R)\)
- Computable model theory over the reals
- Nonpresentability of some structures of analysis in hereditarily finite superstructures
- Generalized fusible numbers and their ordinals
- On quasiregular structures with computable signatures
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)
