An addendum to “The work of Kurt Gödel”

DOI10.2307/2273536zbMath0401.03001OpenAlexW1981991757MaRDI QIDQ4184813

Stephen C. Kleene

Publication date: 1978

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

Full work available at URL: https://doi.org/10.2307/2273536

zbMATH Keywords

Kurt GoedelGeneralized ContinuUm HypothesisCompleteness Theorems for Predicate LogicConstructible Analytic HierarchyConstructible SetElementarily Equivalent Submodels of Prescribed CardinalityFinitely Axiomatized Theory of ClassesFormal DerivabilityHistorical 20th CenturyIncompleteness TheoremIndefinabilityRecursive UndecidabilityWell- Orderings of Von Neumann's OrdinalsZermelo's Set Theory

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03)

Related Items (1)

Is complexity a source of incompleteness?

This page was built for publication: An addendum to “The work of Kurt Gödel”