Pages that link to "Item:Q1104316"
From MaRDI portal
The following pages link to Nonconstructivizability of certain ordered fields of real numbers (Q1104316):
Displaying 6 items.
- An alternative construction of Conway's ordered field No (Q1102272) (← links)
- On countable nondiscrete fields without nontrivial convergent sequences (Q1206259) (← links)
- A non-generic real incompatible with \(0^\sharp\) (Q1361253) (← links)
- A characterization of nonstandard real fields (Q4056114) (← links)
- (Q4211557) (← links)
- Primitive recursive ordered fields and some applications (Q5880940) (← links)