Computable model theory over the reals
From MaRDI portal
Publication:2970968
DOI10.1007/978-3-319-50062-1_22zbMATH Open1485.03117OpenAlexW2558458100MaRDI QIDQ2970968FDOQ2970968
Authors: Andrei S. Morozov 
Publication date: 4 April 2017
Published in: Computability and Complexity (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-50062-1_22
Recommendations
Cites Work
- HF-computability
- Title not available (Why is that?)
- Title not available (Why is that?)
- On \(\Sigma\)-rigid presentations of the real order
- Title not available (Why is that?)
- Some presentations of the real number field
- Title not available (Why is that?)
- Σ-Definability of countable structures over real numbers, complex numbers, and quaternions
- Nonpresentability of some structures of analysis in hereditarily finite superstructures
- A sufficient condition for nonpresentability of structures in hereditarily finite superstructures
- Positive predicate structures for continuous data
- \(\Sigma\)-presentations of the ordering on the reals
- One-dimensional \(\Sigma\)-presentations of structures over \(\mathrm{HF}(\mathbb R\))
Cited In (11)
- Title not available (Why is that?)
- Computability over arbitrary fields
- On some representations of the real number field
- Remarks on \(\Sigma\)-definability without the equality test over the reals
- Title not available (Why is that?)
- Models of computation for partial functions on the reals
- Computer Science Logic
- On quasiregular structures with computable signatures
- Realizability Models Separating Various Fan Theorems
- Some results on \(\mathbb{R}\)-computable structures
- Definability in hereditarily finite manifolds
This page was built for publication: Computable model theory over the reals
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2970968)
