No label defined (Q4193429)
From MaRDI portal
scientific article; zbMATH DE number 3632418
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 3632418 |
Statements
1979
0 references
Computable Functions
0 references
Semantics of First-Order Languages
0 references
Axiom Of Choice
0 references
Non-Standard Models
0 references
Computability
0 references
Recursive Functions
0 references
Ordinal Numbers
0 references
Paradoxes
0 references
Model Theory
0 references
Definability in Arithmetic
0 references
Cardinal Numbers
0 references
Transfinite Induction
0 references
Recursively Enumerable Sets
0 references
Turing Machines
0 references
Goedel's First Incompletness Theorem
0 references
