The following pages link to (Q4674792):
Displayed 23 items.
- On the concept of finitism (Q510710) (← links)
- Mathematical intuition and natural numbers: a critical discussion (Q535375) (← links)
- Some comments on ``The mathematical universe'' (Q2271068) (← links)
- Hintikka and the functions of logic (Q2334655) (← links)
- Reflection principles and second-order choice principles with urelements (Q2668001) (← links)
- UNFOLDING FINITIST ARITHMETIC (Q3066785) (← links)
- Proof Theory in Philosophy of Mathematics (Q3160752) (← links)
- On Arbitrary sets and<i>ZFC</i> (Q3174638) (← links)
- Absolute Infinity in Class Theory and in Theology (Q3295819) (← links)
- Interpretation and Truth in Set Theory (Q3305341) (← links)
- The Operational Perspective: Three Routes (Q3305557) (← links)
- Objectivity and Truth in Mathematics: A Sober Non-platonist Perspective (Q3305632) (← links)
- A STRONG REFLECTION PRINCIPLE (Q4600822) (← links)
- A consistency proof for some restrictions of Tait's reflection principles (Q4915225) (← links)
- Set-theoretic reflection is equivalent to induction over well-founded classes (Q5117344) (← links)
- Tait's conservative extension theorem revisited (Q5190193) (← links)
- Feferman on Set Theory: Infinity up on Trial (Q5214797) (← links)
- Primitive Recursive Arithmetic and Its Role in the Foundations of Arithmetic: Historical and Philosophical Reflections (Q5253927) (← links)
- Obtaining Woodin’s cardinals (Q5351854) (← links)
- On reflection principles (Q5901498) (← links)
- A CLASSICAL MODAL THEORY OF LAWLESS SEQUENCES (Q6072337) (← links)
- Proving Theorems from Reflection (Q6075422) (← links)
- Reflective mereology (Q6166131) (← links)