Pages that link to "Item:Q5737967"
From MaRDI portal
The following pages link to MODELS OF PT<sup>–</sup> WITH INTERNAL INDUCTION FOR TOTAL FORMULAE (Q5737967):
Displaying 5 items.
- The Lawrence-Sullivan construction is the right model for \(I^{+}\) (Q1945742) (← links)
- Truth and the philosophy of mathematics (Q2080591) (← links)
- DISJUNCTIONS WITH STOPPING CONDITIONS (Q5019780) (← links)
- TRUTH AND FEASIBLE REDUCIBILITY (Q5107235) (← links)
- MODELS OF POSITIVE TRUTH (Q5381034) (← links)