Pages that link to "Item:Q5937820"
From MaRDI portal
The following pages link to On a consistent subsystem of Frege's Grundgesetze (Q5937820):
Displayed 10 items.
- Consistency, models, and soundness (Q551223) (← links)
- Ramified Frege arithmetic (Q766295) (← links)
- Amending Frege's \textit{Grundgesetze der Arithmetik} (Q813411) (← 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)
- Zigzag and Fregean Arithmetic (Q3295834) (← links)
- What is Neologicism? (Q5479569) (← links)
- First-order Frege theory is undecidable (Q5960015) (← links)