Pages that link to "Item:Q787136"
From MaRDI portal
The following pages link to Non-standard models of Peano arithmetic (Q787136):
Displaying 4 items.
- Construction of models of bounded arithmetic by restricted reduced powers (Q506954) (← links)
- P, NP, Co-NP and weak systems of arithmetic (Q672742) (← links)
- The scope of Gödel's first incompleteness theorem (Q2254575) (← links)
- Polynomial time ultrapowers and the consistency of circuit lower bounds (Q2288334) (← links)
