The following pages link to Minimality and completions of PA (Q2758069):
Displaying 7 items.
- The minimal e-degree problem in fragments of Peano arithmetic (Q705537) (← links)
- Minimal proper interval completions (Q963366) (← links)
- Minimal split completions (Q967310) (← links)
- Understanding PPA-completeness (Q2208253) (← links)
- Substructure lattices and almost minimal end extensions of models of Peano arithmetic (Q3159410) (← links)
- Boolean algebras, Stone spaces, and the iterated Turing jump (Q4323032) (← links)
- Understanding PPA-completeness (Q5368757) (← links)