The following pages link to Sean Walsh (Q300833):
Displayed 13 items.
- Predicativity, the Russell-Myhill paradox, and Church's intensional logic (Q300834) (← links)
- Comparing Peano arithmetic, Basic Law V, and Hume's Principle (Q450961) (← links)
- Empiricism, probability, and knowledge of arithmetic: a preliminary defense (Q2250551) (← links)
- LOGICISM, INTERPRETABILITY, AND KNOWLEDGE OF ARITHMETIC (Q2940868) (← links)
- Structure and Categoricity: Determinacy of Reference and Truth Value in the Philosophy of Mathematics (Q2965646) (← links)
- Definability aspects of the Denjoy integral (Q2966798) (← links)
- FRAGMENTS OF FREGE’S<i>GRUNDGESETZE</i>AND GÖDEL’S CONSTRUCTIBLE UNIVERSE (Q3188332) (← links)
- RELATIVE CATEGORICITY AND ABSTRACTION PRINCIPLES (Q3195592) (← links)
- Philosophy and Model Theory (Q4610152) (← links)
- The Mathematics of Quantum-Enabled Applications on the D-Wave Quantum Computer (Q5238704) (← links)
- THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC (Q5274882) (← links)
- THE STRENGTH OF ABSTRACTION WITH PREDICATIVE COMPREHENSION (Q5346690) (← links)
- REALIZABILITY SEMANTICS FOR QUANTIFIED MODAL LOGIC: GENERALIZING FLAGG’S 1985 CONSTRUCTION (Q5737943) (← links)