Pages that link to "Item:Q4858805"
From MaRDI portal
The following pages link to Frege's Theorem and the Peano Postulates (Q4858805):
Displaying 9 items.
- Comparing Peano arithmetic, Basic Law V, and Hume's Principle (Q450961) (← links)
- Frege's double correlation thesis and Quine's set theories NF and ML (Q1076005) (← links)
- Hume's Principle and Axiom V reconsidered: Critical reflections on Frege and his interpreters (Q2500801) (← links)
- Frege's theorem and his logicism (Q2758005) (← links)
- ABSTRACTIONIST CATEGORIES OF CATEGORIES (Q3459086) (← links)
- (Q4208511) (← links)
- Frege's theorem in a constructive setting (Q4262566) (← links)
- Frege’s Theorems on Simple Series (Q5116957) (← links)
- On the (In)Dependence of the Peano Axioms for Natural Numbers (Q6650475) (← links)