A Course in Mathematical Logic for Mathematicians (Q3639085)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Course in Mathematical Logic for Mathematicians |
scientific article |
Statements
A Course in Mathematical Logic for Mathematicians (English)
0 references
29 October 2009
0 references
mathematical logic
0 references
textbook
0 references
provability
0 references
truth
0 references
deducibility
0 references
continuum problem
0 references
forcing
0 references
completeness
0 references
incompleteness
0 references
constructible sets
0 references
computability
0 references
recursive functions
0 references
Church's thesis
0 references
Diophantine sets
0 references
algorithmic undecidability
0 references
recursive groups
0 references
constructive universe
0 references
model theory
0 references
classification theory
0 references
stability theory
0 references
compactness
0 references
