FRAGMENTS OF FREGE’SGRUNDGESETZEAND GÖDEL’S CONSTRUCTIBLE UNIVERSE
From MaRDI portal
Publication:3188332
DOI10.1017/jsl.2015.32zbMath1367.03007arXiv1407.3861OpenAlexW2111417960MaRDI QIDQ3188332
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
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