Pages that link to "Item:Q3528148"

The following pages link to On Σ‐definability without equality over the real numbers (Q3528148):

Displaying 10 items.

• A c.e. real that cannot be sw-computed by any \(\Omega\) number (Q867401) (← links)
• A topological view on algebraic computation models (Q1679677) (← links)
• On Σ¹ ₁ equivalence relations over the natural numbers (Q3117786) (← links)
• Σ-Definability of countable structures over real numbers, complex numbers, and quaternions (Q3546124) (← links)
• ∑ n Definable Sets without ∑ n Induction (Q4032456) (← links)
• Definability and undefinability with real order at the background (Q4508271) (← links)
• Computable elements and functions in effectively enumerable topological spaces (Q4593240) (← links)
• Remarks on Σ–definability without the equality test over the Reals (Q4918045) (← links)
• COMPUTABLE FUNCTORS AND EFFECTIVE INTERPRETABILITY (Q5738191) (← links)
• Positive predicate structures for continuous data (Q5740676) (← links)