The following pages link to Finitude and Hume's principle (Q1372939):
Displaying 29 items.
- Comparing Peano arithmetic, Basic Law V, and Hume's Principle (Q450961) (← links)
- On the concept of finitism (Q510710) (← links)
- Frege's other program (Q558436) (← links)
- Neo-Fregeanism: an embarrassment of riches (Q558727) (← links)
- Ramified Frege arithmetic (Q766295) (← links)
- Amending Frege's \textit{Grundgesetze der Arithmetik} (Q813411) (← links)
- Double vision: two questions about the neo-Fregean program (Q1036082) (← links)
- Focus restored: Comments on John MacFarlane (Q1036083) (← links)
- Hume's big brother: Counting concepts and the bad company objection (Q1036087) (← links)
- Cardinality, counting, and equinumerosity (Q1860965) (← links)
- Neo-Fregean foundations for real analysis: Some reflections on Frege's constraint (Q1860970) (← links)
- Frege meets Dedekind: A neologicist treatment of real analysis (Q1860971) (← links)
- Skolem redux (Q1860974) (← links)
- Finiteness and the falsification by fellow traveler property. (Q1863083) (← links)
- Hume's Principle and Axiom V reconsidered: Critical reflections on Frege and his interpreters (Q2500801) (← links)
- ``Till at last there remain nothing''. Hume's \textit{Treatise} 1.4.1 in contemporary perspective (Q2690189) (← links)
- Nothing matters too much, or Wright is wrong (Q2701944) (← links)
- On finite Hume (Q2702945) (← links)
- LOGICISM, INTERPRETABILITY, AND KNOWLEDGE OF ARITHMETIC (Q2940868) (← links)
- FREGE MEETS BROUWER (OR HEYTING OR DUMMETT) (Q3195590) (← links)
- Finiteness and choice (Q4531895) (← links)
- DEDUCTIVE CARDINALITY RESULTS AND NUISANCE-LIKE PRINCIPLES (Q5024503) (← links)
- The Proof of Hume’s Principle (Q5116956) (← links)
- IN GOOD COMPANY? ON HUME’S PRINCIPLE AND THE ASSIGNMENT OF NUMBERS TO INFINITE CONCEPTS (Q5259728) (← links)
- FOR BETTER AND FOR WORSE. ABSTRACTIONISM, GOOD COMPANY, AND PLURALISM (Q5880430) (← links)
- Is Hume's principle analytic? (Q5937843) (← links)
- Neologicism, Frege's constraint, and the Frege-Heck condition (Q6495231) (← links)
- Explicit abstract objects in predicative settings (Q6623817) (← links)
- Cantor's Abstractionism and Hume's Principle (Q6650271) (← links)
