FRAGMENTS OF FREGE’SGRUNDGESETZEAND GÖDEL’S CONSTRUCTIBLE UNIVERSE

DOI10.1017/jsl.2015.32zbMath1367.03007arXiv1407.3861OpenAlexW2111417960MaRDI QIDQ3188332

Sean Walsh

Publication date: 19 August 2016

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1407.3861

zbMATH Keywords

constructible universeGrundgesetze

Mathematics Subject Classification ID

History of mathematical logic and foundations (03-03) Axiomatics of classical set theory and its fragments (03E30) History of mathematics in the 19th century (01A55) Second- and higher-order arithmetic and fragments (03F35) Relative consistency and interpretations (03F25)

Related Items (3)

Predicativity, the Russell-Myhill paradox, and Church's intensional logic ⋮ THE STRENGTH OF ABSTRACTION WITH PREDICATIVE COMPREHENSION ⋮ WHAT RUSSELL SHOULD HAVE SAID TO BURALI–FORTI

Cites Work

• Comparing Peano arithmetic, Basic Law V, and Hume's Principle
• Iteration one more time
• On the consistency of the first-order portion of Frege's logical system
• On the consistency of the \(\Delta_1^1\)-CA fragment of Frege's Grundgesetze
• The Consistency of predicative fragments of frege’s grundgesetze der arithmetik
• The fine structure of the constructible hierarchy
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: FRAGMENTS OF FREGE’SGRUNDGESETZEAND GÖDEL’S CONSTRUCTIBLE UNIVERSE