Pages that link to "Item:Q4692072"
From MaRDI portal
The following pages link to TRUTHS, INDUCTIVE DEFINITIONS, AND KRIPKE-PLATEK SYSTEMS OVER SET THEORY (Q4692072):
Displaying 5 items.
- Truth and the philosophy of mathematics (Q2080591) (← links)
- Elementary inductive dichotomy: separation of open and clopen determinacies with infinite alternatives (Q2285848) (← links)
- A few more dissimilarities between second-order arithmetic and set theory (Q2700817) (← links)
- A MARRIAGE OF BROUWER’S INTUITIONISM AND HILBERT’S FINITISM I: ARITHMETIC (Q5082051) (← links)
- FINITIST AXIOMATIC TRUTH (Q5879176) (← links)