Pages that link to "Item:Q1098830"
From MaRDI portal
The following pages link to On the consistency of the first-order portion of Frege's logical system (Q1098830):
Displaying 20 items.
- Predicativity, the Russell-Myhill paradox, and Church's intensional logic (Q300834) (← links)
- Fregean quantification theory (Q484184) (← links)
- Consistency, models, and soundness (Q551223) (← links)
- Neo-Fregeanism: an embarrassment of riches (Q558727) (← links)
- Amending Frege's \textit{Grundgesetze der Arithmetik} (Q813411) (← links)
- Frege's permutation argument revisited (Q813414) (← 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)
- Natural numbers and natural cardinals as abstract objects: A partial reconstruction of Frege's \textit{Grundgesetze} in object theory (Q1961929) (← links)
- The finitistic consistency of Heck's predicative Fregean system (Q2345392) (← links)
- The development of arithmetic in Frege's<i><b>Grundgesetze der arithmetik</b></i> (Q3138014) (← links)
- FRAGMENTS OF FREGE’S<i>GRUNDGESETZE</i>AND GÖDEL’S CONSTRUCTIBLE UNIVERSE (Q3188332) (← links)
- Positive Frege and its Scott‐style semantics (Q3520230) (← links)
- The Consistency of predicative fragments of frege’s <i>grundgesetze der arithmetik</i> (Q4344728) (← links)
- THE STRENGTH OF ABSTRACTION WITH PREDICATIVE COMPREHENSION (Q5346690) (← links)
- What is Neologicism? (Q5479569) (← links)
- Predicative logic and formal arithmetic (Q5937804) (← links)
- On a consistent subsystem of Frege's Grundgesetze (Q5937820) (← links)
- First-order Frege theory is undecidable (Q5960015) (← links)