Pages that link to "Item:Q3773857"
From MaRDI portal
The following pages link to Open induction and the true theory of rationals (Q3773857):
Displaying 6 items.
- Structures associated with real closed fields and the axiom of choice (Q330194) (← links)
- Inductive rings and fields (Q584246) (← links)
- Independence results for variants of sharply bounded induction (Q716498) (← links)
- Primes and their residue rings in models of open induction (Q1121883) (← links)
- Real closures of models of weak arithmetic (Q1935370) (← links)
- Quotient fields of a model of \(I\Delta_0+\Omega_1\) (Q2743645) (← links)