Pages that link to "Item:Q1098830"

The following pages link to On the consistency of the first-order portion of Frege's logical system (Q1098830):

Displaying 21 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)
• Explicit abstract objects in predicative settings (Q6623817) (← links)