Pages that link to "Item:Q1644856"
From MaRDI portal
The following pages link to Nonpresentability of some structures of analysis in hereditarily finite superstructures (Q1644856):
Displaying 7 items.
- Nonpresentability of the semigroup \(\omega^\omega\) over \(\mathbb H\mathbb F(\mathbb R)\) (Q467668) (← links)
- On quasiregular structures with computable signatures (Q892015) (← links)
- The uniformization property in hereditary finite superstructures (Q1288095) (← links)
- On mutual definability of operations on fields (Q2186309) (← links)
- \(\Sigma\)-preorderings in \(\mathbb{HF}(\mathbb{R} )\) (Q2300935) (← links)
- A sufficient condition for nonpresentability of structures in hereditarily finite superstructures (Q2364328) (← links)
- Computable Model Theory over the Reals (Q2970968) (← links)