Pages that link to "Item:Q744846"
From MaRDI portal
The following pages link to Theories of real numbers and interpretability (Q744846):
Displaying 8 items.
- A system of axioms for Minkowski spacetime (Q830382) (← links)
- Quantifying over the reals (Q1344188) (← links)
- Completeness for systems including real numbers (Q1824613) (← links)
- On certain axiomatizations of arithmetic of natural and integer numbers (Q2306641) (← links)
- On mathematical realism and applicability of hyperreals (Q2323044) (← links)
- Groundwork for weak analysis (Q3149983) (← links)
- Order with successors is not interprétable in RCF (Q4282771) (← links)
- (Q4696890) (← links)