The following pages link to FINITIST AXIOMATIC TRUTH (Q5879176):
Displaying 5 items.
- Explicit finitism (Q1404042) (← links)
- Finiteness and the falsification by fellow traveler property. (Q1863083) (← links)
- Elementary inductive dichotomy: separation of open and clopen determinacies with infinite alternatives (Q2285848) (← links)
- AXIOMS FOR DETERMINATENESS AND TRUTH (Q3580669) (← links)
- The Logically Simplest Form of the Infinity Axiom (Q4729777) (← links)