Article contents
Concise survey of mathematical logic
Published online by Cambridge University Press: 09 April 2009
Abstract
This paper contains proofs of the compactness, completeness and Löwenheim-Skolem theorems for predicate logic, together with their application to nonstandard numbers; proofs of undecidability in predicate logic and number theory, and the Gödel incompleteness theorem.
- Type
- Research Article
- Information
- Journal of the Australian Mathematical Society , Volume 24 , Issue 2 , September 1977 , pp. 139 - 161
- Copyright
- Copyright © Australian Mathematical Society 1977
References
- 2
- Cited by