Pages that link to "Item:Q4344728"
From MaRDI portal
The following pages link to The Consistency of predicative fragments of frege’s <i>grundgesetze der arithmetik</i> (Q4344728):
Displayed 26 items.
- Term models for abstraction principles (Q263082) (← links)
- Predicativity, the Russell-Myhill paradox, and Church's intensional logic (Q300834) (← 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)
- Consistency, models, and soundness (Q551223) (← links)
- Frege's other program (Q558436) (← links)
- Neo-Fregeanism: an embarrassment of riches (Q558727) (← links)
- Plural \(Grundgesetze\) (Q603901) (← links)
- Amending Frege's \textit{Grundgesetze der Arithmetik} (Q813411) (← links)
- Frege's permutation argument revisited (Q813414) (← links)
- Bad company tamed (Q1036088) (← links)
- Introduction to the special issue on the bad company problem (Q1036090) (← links)
- Grundgesetze der Arithmetik I \S\S 29-32 (Q1130240) (← links)
- On the consistency of the \(\Delta_1^1\)-CA fragment of Frege's Grundgesetze (Q1857358) (← links)
- Frege, Boolos, and logical objects (Q1876080) (← links)
- The finitistic consistency of Heck's predicative Fregean system (Q2345392) (← links)
- THE CONVENIENCE OF THE TYPESETTER; NOTATION AND TYPOGRAPHY IN FREGE’S<i>GRUNDGESETZE DER ARITHMETIK</i> (Q2795303) (← links)
- FRAGMENTS OF FREGE’S<i>GRUNDGESETZE</i>AND GÖDEL’S CONSTRUCTIBLE UNIVERSE (Q3188332) (← links)
- Zigzag and Fregean Arithmetic (Q3295834) (← links)
- WHAT RUSSELL SHOULD HAVE SAID TO BURALI–FORTI (Q4600824) (← links)
- 2002–2003 Winter Meeting of the Association for Symbolic Logic (Q4650300) (← links)
- Predicative Fragments of Frege Arithmetic (Q4678937) (← links)
- Frege’s Grundgesetze and a Reassessment of Predicativity (Q5213626) (← links)
- THE STRENGTH OF ABSTRACTION WITH PREDICATIVE COMPREHENSION (Q5346690) (← links)
- What is Neologicism? (Q5479569) (← links)
- First-order Frege theory is undecidable (Q5960015) (← links)