On Σ‐definability without equality over the real numbers

DOI10.1002/MALQ.200710064zbMATH Open1155.03045OpenAlexW2008842537MaRDI QIDQ3528148FDOQ3528148

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

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

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)

Cites Work

• COMPLEXITY AND REAL COMPUTATION: A MANIFESTO
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Abstract First Order Computability. I
• Title not available (Why is that?)
• Equality is a jump
• Recursively enumerable subsets of \(\mathbb{R}^{q}\) in two computing models Blum-Shub-Smale machine and Turing machine
• Title not available (Why is that?)
• Computer Science Logic
• The Uniformity Principle for Σ-Definability with Applications to Computable Analysis
• Recent advances in \(\Sigma \)-definability over continuous data types

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)