Introduction to mathematical logic - A problem solving course
Logic
2008-02-03 v1
Abstract
This is a set of 288 questions written for a Moore-style course in Mathematical Logic. I have used these (or some variation) four times in a beginning graduate course. Topics covered are: propositional logic axioms of ZFC wellorderings and equivalents of AC ordinal and cardinal arithmetic first order logic, and the compactness theorem Lowenheim-Skolem theorems Turing machines, Church's Thesis completeness theorem and first incompleteness theorem undecidable theories second incompleteness theorem
Keywords
Cite
@article{arxiv.math/9601203,
title = {Introduction to mathematical logic - A problem solving course},
author = {Arnold W. Miller},
journal= {arXiv preprint arXiv:math/9601203},
year = {2008}
}