Pages that link to "Item:Q4053647"
From MaRDI portal
The following pages link to Second order arithmetic and related topics (Q4053647):
Displayed 9 items.
- Definable sets and expansions of models of Peano arithmetic (Q1102945) (← links)
- Proof systems for infinite behaviours (Q1193598) (← links)
- On expandability of models of Peano arithmetic. I (Q1236114) (← links)
- Reverse mathematics and its meaning (Q1312709) (← links)
- Proof theory of reflection (Q1332853) (← links)
- Theory of Zermelo without power set axiom and the theory of Zermelo- Fraenkel without power set axiom are relatively consistent (Q1835668) (← links)
- Turing meets Schanuel (Q2630828) (← links)
- Syntactical truth predicates for second order arithmetic (Q2732276) (← links)
- THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC (Q5274882) (← links)