A sufficient condition for nonpresentability of structures in hereditarily finite superstructures
From MaRDI portal
Recommendations
- Nonpresentability of some structures of analysis in hereditarily finite superstructures
- One-dimensional \(\Sigma\)-presentations of structures over \(\mathrm{HF}(\mathbb R\))
- Nonpresentability of the semigroup \(\omega^\omega\) over \(\mathbb H\mathbb F(\mathbb R)\)
- \(\Sigma\)-preorderings in \(\mathbb{HF}(\mathbb{R} )\)
- On \(\Sigma\)-definability of hereditarily finite and list superstructures
Cites work
- scientific article; zbMATH DE number 3494394 (Why is no real title available?)
- scientific article; zbMATH DE number 1302874 (Why is no real title available?)
- scientific article; zbMATH DE number 934359 (Why is no real title available?)
- HF-computability
- Model Theory
- Nonpresentability of the semigroup \(\omega^\omega\) over \(\mathbb H\mathbb F(\mathbb R)\)
- On \(\Sigma\)-rigid presentations of the real order
- Recursion theory on fields and abstract dependence
- Some presentations of the real number field
- \(\Sigma\)-presentations of the ordering on the reals
- Σ-Definability of countable structures over real numbers, complex numbers, and quaternions
Cited in
(7)- On mutual definability of operations on fields
- One-dimensional \(\Sigma\)-presentations of structures over \(\mathrm{HF}(\mathbb R\))
- \(\Sigma\)-preorderings in \(\mathbb{HF}(\mathbb{R} )\)
- Nonpresentability of the semigroup \(\omega^\omega\) over \(\mathbb H\mathbb F(\mathbb R)\)
- Computable model theory over the reals
- The uniformization property in hereditary finite superstructures
- Nonpresentability of some structures of analysis in hereditarily finite superstructures
This page was built for publication: A sufficient condition for nonpresentability of structures in hereditarily finite superstructures
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2364328)
