Pages that link to "Item:Q5937820"
From MaRDI portal
The following pages link to On a consistent subsystem of Frege's Grundgesetze (Q5937820):
Displaying 19 items.
- On the consistency of a plural theory of Frege's \textit{Grundgesetze} (Q539155) (← links)
- Consistency, models, and soundness (Q551223) (← links)
- Ramified Frege arithmetic (Q766295) (← links)
- Amending Frege's \textit{Grundgesetze der Arithmetik} (Q813411) (← links)
- Implication and analysis in classical Frege structures (Q1095139) (← links)
- On the consistency of the first-order portion of Frege's logical system (Q1098830) (← links)
- On the brink of a paradox? (Q1100457) (← links)
- Consistent fragments of \textit{Grundgesetze} and the existence of non-logical objects (Q1568382) (← 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)
- On structural features of the implication fragment of Frege's \textit{Grundgesetze} (Q2409390) (← links)
- Systematische Basisreduktion der Modalitäten bei Idempotenz der positiven Grundmodalitäten (Q2649854) (← links)
- Zigzag and Fregean Arithmetic (Q3295834) (← links)
- Fregean Extensions of First‐Order Theories (Q4304145) (← links)
- FREGE’S CONSTRAINT AND THE NATURE OF FREGE’S FOUNDATIONAL PROGRAM (Q5381033) (← links)
- What is Neologicism? (Q5479569) (← links)
- First-order Frege theory is undecidable (Q5960015) (← links)
