No label defined (Q3998431)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
17 September 1992
0 references
enumerability
0 references
halting problem for Turing machines
0 references
computability
0 references
undecidability of first-order logic
0 references
completeness and soundness of first- order logic
0 references
Skolem-Löwenheim theorem
0 references
representation of recursive functions in Robinson's arithmetic
0 references
Tarski's theorem on the undefinability of truth
0 references
Gödel's incompleteness theorems
0 references
Löb's theorem
0 references
non-standard models of arithmetic
0 references
second order logic
0 references
forcing
0 references
Addison's theorem
0 references
Presburger's theorem
0 references
Craig interpolation lemma
0 references
Beth definability theorem
0 references
decidability of monadic logic with identity
0 references
Ramsey's theorem
0 references
provability
0 references
modal logic
0 references
undecidable sentences
0 references
