Pages that link to "Item:Q2342315"

The following pages link to \(\Sigma\)-presentations of the ordering on the reals (Q2342315):

Displaying 3 items.

• On mutual definability of operations on fields (Q2186309) (← links)
• A sufficient condition for nonpresentability of structures in hereditarily finite superstructures (Q2364328) (← links)
• Computable Model Theory over the Reals (Q2970968) (← links)