On Σ‐definability without equality over the real numbers

DOI10.1002/MALQ.200710064MaRDI QIDQ3528148zbMATH OpenOpenAlexFDO

Authors Andrei S. Morozov, M. V. Korovina

Publication date 8 October 2008

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.200710064

zbMATH Keywords

real numbers\(\Sigma\)-definabilitycomputably enumerable open set

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Abstract and axiomatic computability and recursion theory (03D75) Constructive and recursive analysis (03F60) Constructive real analysis (26E40)

Recommendations

• Remarks on \(\Sigma\)-definability without the equality test over the reals
• Computer Science Logic
• Σ-Definability of countable structures over real numbers, complex numbers, and quaternions
• Definability in Rationals with Real Order in the Background
• Definability in o-minimal expansions of the real numbers
• ∑ n Definable Sets without ∑ n Induction
• Definability and undefinability with real order at the background
• On Σ₁‐definable Functions Provably Total in I ∏
• Regularity properties of definable sets of reals
• \(\delta\)-decidability over the reals

Cites work

• scientific article; zbMATH DE number 3494394 (Why is no real title available?)
• scientific article; zbMATH DE number 554481 (Why is no real title available?)
• scientific article; zbMATH DE number 1460545 (Why is no real title available?)
• scientific article; zbMATH DE number 1841818 (Why is no real title available?)
• scientific article; zbMATH DE number 3068536 (Why is no real title available?)
• Abstract First Order Computability. I
• COMPLEXITY AND REAL COMPUTATION: A MANIFESTO
• Computer Science Logic
• Equality is a jump
• Recent advances in \(\Sigma \)-definability over continuous data types
• Recursively enumerable subsets of \(\mathbb{R}^{q}\) in two computing models Blum-Shub-Smale machine and Turing machine
• The Uniformity Principle for Σ-Definability with Applications to Computable Analysis

Cited in

(13)

• Computable elements and functions in effectively enumerable topological spaces
• Remarks on \(\Sigma\)-definability without the equality test over the reals
• Definability and undefinability with real order at the background
• Σ-Definability of countable structures over real numbers, complex numbers, and quaternions
• Fixed points on the real numbers without the equality test
• Positive predicate structures for continuous data
• ∑ n Definable Sets without ∑ n Induction
• A topological view on algebraic computation models
• Gandy's theorem for abstract structures without the equality test
• Computer Science Logic
• Computable functors and effective interpretability
• A c.e. real that cannot be sw-computed by any \(\Omega\) number
• On Σ¹ ₁ equivalence relations over the natural numbers

This page was built for publication: On Σ‐definability without equality over the real numbers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3528148)