The following pages link to (Q4674792):
Displaying 29 items.
- Malament-Hogarth machines and Tait's axiomatic conception of mathematics (Q488474) (← links)
- On the concept of finitism (Q510710) (← links)
- Mathematical intuition and natural numbers: a critical discussion (Q535375) (← links)
- The meaning of pure mathematics (Q1123181) (← 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)
- (Q3613033) (← 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)
- Reflective mereology (Q6166131) (← links)
- Plural ancestral logic as the logic of arithmetic (Q6552260) (← links)
- Who's afraid of mathematical Platonism? -- An historical perspective (Q6623923) (← links)
- Cantor's Abstractionism and Hume's Principle (Q6650271) (← links)
- Degrees of objectivity? \textit{Mathemata} and social objects (Q6652790) (← links)
