This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Consistency is several questions
A subject the papers are about. The loosest grouping, and the one to reach for last.
'Is arithmetic consistent?' sounds like one question and is several: proved in what system, by what means, and answering to whose demand. Collects the consistency proofs and the arguments over what they establish, including works sharing a title that reach different answers. Membership requires the work to bear on what a consistency proof is worth, not merely to prove something about arithmetic.
13 references
Gödel's Doctoral Thesis, 1928-30: The Completeness of First-Order Logic
William D. Brewer (2022) · Kurt Gödel: The Genius of Metamathematics · Springer
The Consistency of Arithmetic
Robert K. Meyer (2021) · The Australasian Journal of Logic · Victoria University of Wellington Library
Gödel's incompleteness theorems
Panu Raatikainen (2020) · The Stanford Encyclopedia of Philosophy · Metaphysics Research Lab, Stanford University
The Consistency of Arithmetic
Timothy Y. Chow (2019) · The Mathematical Intelligencer · Springer
Undecidability of first-order logic
Guram Bezhanishvili and others (2009) · New Mexico State University
The development of mathematical logic from Russell to Tarski, 1900-1935
Paolo Mancosu and others (2009) · The Development of Modern Logic · Oxford University Press
The work of Kurt Gödel
Stephen Cole Kleene (1976) · The Journal of Symbolic Logic
The completeness of the first-order functional calculus
Leon Henkin (1949) · The Journal of Symbolic Logic
On Computable Numbers, with an Application to the Entscheidungsproblem. A Correction
Alan Turing (1938) · Proceedings of the London Mathematical Society · Wiley
On Computable Numbers, with an Application to the Entscheidungsproblem
Alan Turing (1937) · Proceedings of the London Mathematical Society · Wiley
An Unsolvable Problem of Elementary Number Theory
Alonzo Church (1936) · American Journal of Mathematics · Johns Hopkins University Press
Die Vollständigkeit der Axiome des logischen Funktionenkalküls
Kurt Gödel (1930) · Monatshefte für Mathematik und Physik · Springer Science and Business Media LLC
Über die Vollständigkeit des Logikkalküls
Kurt Gödel (1929) · University of Vienna