Crossref Citations
This Book has been
cited by the following publications. This list is generated based on data provided by Crossref.
Shore, Richard A.
2010.
Reverse Mathematics: The Playground of Logic.
The Bulletin of Symbolic Logic,
Vol. 16,
Issue. 3,
p.
378.
Chao, Conden
and
Seraji, Payam
2018.
Gödel’s second incompleteness theorem for Σn-definable theories.
Logic Journal of the IGPL,
Vol. 26,
Issue. 2,
p.
255.
CHENG, YONG
2021.
CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS.
The Bulletin of Symbolic Logic,
Vol. 27,
Issue. 2,
p.
113.
PAKHOMOV, FEDOR
and
WALSH, JAMES
2021.
REFLECTION RANKS AND ORDINAL ANALYSIS.
The Journal of Symbolic Logic,
Vol. 86,
Issue. 4,
p.
1350.
Murwanashyaka, Juvenal
2022.
Revolutions and Revelations in Computability.
Vol. 13359,
Issue. ,
p.
208.
Pakhomov, Fedor
and
Visser, Albert
2022.
Finitely axiomatized theories lack self‐comprehension.
Bulletin of the London Mathematical Society,
Vol. 54,
Issue. 6,
p.
2513.
Nicolai, Carlo
2022.
Gaps, gluts, and theoretical equivalence.
Synthese,
Vol. 200,
Issue. 5,
Ketland, Jeffrey
2022.
Standard Formalization.
Axiomathes,
Vol. 32,
Issue. S3,
p.
711.
Murwanashyaka, Juvenal
2024.
Weak essentially undecidable theories of concatenation, part II.
Archive for Mathematical Logic,
Vol. 63,
Issue. 3-4,
p.
353.
Murwanashyaka, Juvenal
2024.
A weak theory of building blocks.
Mathematical Logic Quarterly,
Kovalyov, Konstantin
2024.
Fragments of IOpen.
Archive for Mathematical Logic,