An addendum to “The work of Kurt Gödel” (Q4184813)
From MaRDI portal
scientific article; zbMATH DE number 3621687
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An addendum to “The work of Kurt Gödel” |
scientific article; zbMATH DE number 3621687 |
Statements
An addendum to “The work of Kurt Gödel” (English)
0 references
1978
0 references
Kurt Goedel
0 references
Historical 20th Century
0 references
Generalized ContinuUm Hypothesis
0 references
Finitely Axiomatized Theory of Classes
0 references
Elementarily Equivalent Submodels of Prescribed Cardinality
0 references
Constructible Set
0 references
Zermelo's Set Theory
0 references
Well- Orderings of Von Neumann's Ordinals
0 references
Constructible Analytic Hierarchy
0 references
Completeness Theorems for Predicate Logic
0 references
Incompleteness Theorem
0 references
Recursive Undecidability
0 references
Formal Derivability
0 references
Indefinability
0 references
