The following pages link to (Q5387442):
Displaying 28 items.
- The twofold role of diagrams in Euclid's plane geometry (Q375269) (← links)
- Comparing Peano arithmetic, Basic Law V, and Hume's Principle (Q450961) (← links)
- Plural quantifiers: a modal interpretation (Q484965) (← links)
- On the concept of finitism (Q510710) (← links)
- Platitudes in mathematics (Q514596) (← links)
- Discernibility by symmetries (Q603910) (← links)
- Rethinking geometrical exactness (Q618040) (← links)
- Structuralism and meta-mathematics (Q707711) (← links)
- Why do mathematicians need different ways of presenting mathematical objects? The case of Cayley graphs (Q989745) (← links)
- Arithmetic is determinate (Q2078980) (← links)
- Ontological dependence and grounding for a weak mathematical structuralism (Q2080584) (← links)
- LOGICISM, INTERPRETABILITY, AND KNOWLEDGE OF ARITHMETIC (Q2940868) (← links)
- On Arbitrary sets and<i>ZFC</i> (Q3174638) (← links)
- RELATIVE CATEGORICITY AND ABSTRACTION PRINCIPLES (Q3195592) (← links)
- Chalmers, Quantifier Variance and Mathematicians’ Freedom (Q3299525) (← links)
- Verificationism and Classical Realizability (Q3305313) (← links)
- Abstraction and Intuition in Peano's Axiomatizations of Geometry (Q3401351) (← links)
- 2009 North American Annual Meeting of the Association for Symbolic Logic (Q3655269) (← links)
- The Ontological Innocence of Schematic Logic (Q5013623) (← links)
- LEVEL THEORY, PART 1: AXIOMATIZING THE BARE IDEA OF A CUMULATIVE HIERARCHY OF SETS (Q5037520) (← links)
- Putnam on Mathematics as Modal Logic (Q5214685) (← links)
- Predicativity and Feferman (Q5214793) (← links)
- Feferman on Set Theory: Infinity up on Trial (Q5214797) (← links)
- The foundational problem of logic (Q5300086) (← links)
- Strong Logics of First and Second Order (Q5305552) (← links)
- PREDICATIVISM AS A FORM OF POTENTIALISM (Q5880421) (← links)
- Internal categoricity, truth and determinacy (Q6054059) (← links)
- Beliefs about the nature of numbers (Q6599260) (← links)
