Pages that link to "Item:Q2364328"

The following pages link to A sufficient condition for nonpresentability of structures in hereditarily finite superstructures (Q2364328):

Displaying 4 items.

• 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)
• Computable Model Theory over the Reals (Q2970968) (← links)