Pages that link to "Item:Q1644856"

The following pages link to Nonpresentability of some structures of analysis in hereditarily finite superstructures (Q1644856):

Displaying 3 items.

• On mutual definability of operations on fields (Q2186309) (← links)
• \(\Sigma\)-preorderings in \(\mathbb{HF}(\mathbb{R} )\) (Q2300935) (← links)
• Computable Model Theory over the Reals (Q2970968) (← links)