Pages that link to "Item:Q3546124"

The following pages link to Σ-Definability of countable structures over real numbers, complex numbers, and quaternions (Q3546124):

Displaying 14 items.

• Nonpresentability of the semigroup \(\omega^\omega\) over \(\mathbb H\mathbb F(\mathbb R)\) (Q467668) (← links)
• On quasiregular structures with computable signatures (Q892015) (← links)
• Countable structures \(\Sigma \)-definable over classical continuous number systems (Q957779) (← links)
• Definability in hereditarily finite manifolds (Q1363950) (← links)
• Nonpresentability of some structures of analysis in hereditarily finite superstructures (Q1644856) (← links)
• On mutual definability of operations on fields (Q2186309) (← links)
• \(\Sigma\)-preorderings in \(\mathbb{HF}(\mathbb{R} )\) (Q2300935) (← links)
• The uniformization problem for \(\Sigma\)-predicates in a hereditarily finite list superstructure over the real exponential field (Q2342296) (← links)
• \(\Sigma\)-presentations of the ordering on the reals (Q2342315) (← links)
• A sufficient condition for nonpresentability of structures in hereditarily finite superstructures (Q2364328) (← links)
• On functors enumerating structures (Q2403649) (← links)
• Computable Model Theory over the Reals (Q2970968) (← links)
• On Σ‐definability without equality over the real numbers (Q3528148) (← links)
• Generalized fusible numbers and their ordinals (Q6050166) (← links)