Pages that link to "Item:Q4678937"
From MaRDI portal
The following pages link to Predicative Fragments of Frege Arithmetic (Q4678937):
Displayed 14 items.
- A note on induction, abstraction, and Dedekind-finiteness (Q435238) (← links)
- Comparing Peano arithmetic, Basic Law V, and Hume's Principle (Q450961) (← links)
- On the consistency of a plural theory of Frege's \textit{Grundgesetze} (Q539155) (← links)
- Frege's proof of referentiality (Q558426) (← links)
- Ramified Frege arithmetic (Q766295) (← links)
- Focus restored: Comments on John MacFarlane (Q1036083) (← links)
- The good, the bad and the ugly (Q1036086) (← links)
- Introduction to the special issue on the bad company problem (Q1036090) (← links)
- Second-order logic: properties, semantics, and existential commitments (Q2053351) (← links)
- Two roads to the successor axiom (Q2054138) (← links)
- HUME’S PRINCIPLE, BEGINNINGS (Q3006003) (← links)
- FREGE MEETS BROUWER (OR HEYTING OR DUMMETT) (Q3195590) (← links)
- WHAT RUSSELL SHOULD HAVE SAID TO BURALI–FORTI (Q4600824) (← links)
- CARNAP’S DEFENSE OF IMPREDICATIVE DEFINITIONS (Q5381037) (← links)