Model Theory for Beginners. 15 Lectures by Roman Kossak

Model Theory for Beginners. 15 Lectures by Roman Kossak

This book presents an introduction to model theory in 15 lectures. It concentrates on several key concepts: first-order definability, classification of complete types, elementary extensions, categoricity, automorphisms, and saturation; all illustrated with examples that require neither advanced alegbra nor set theory. A full proof of the compactness theorem for countable languages and its applications are given, followed by a discussion of the Ehrefeucht-Mostowski technique for constructing models admitting automorphisms. Additional topics include recursive saturation, nonstandard models of arithmetic, Abraham Robinson's model-theoretic proof of Tarski's theorem on undefinability of truth, and the proof of the Infinite Ramsey Theorem using an elementary extension of the standard model of arithmetic.

Roman Kossak's research is in model theory of nonstandard models of formal arithmetic. For over 30 years he has worked at the City University of New York, where he teaches developmental courses at Bronx Community College and mathematical logic and model theory at the Graduate Center. His other interests include phenomenology and interactions between mathematics and the arts.

Philip Ording is a member of the mathematics faculty at Sarah Lawrence College in Bronxville, New York. He received a PhD in Mathematics from Columbia University in 2006. While a graduate student of topology and geometry he began working as a mathematics consultant in art and architecture studios in New York. Since then he has published essays, curated exhibitions, and lectured on the intersection of mathematics and the arts.

SKU	Unavailable
ISBN 13	9781848903616
ISBN 10	1848903618
Title	Model Theory for Beginners. 15 Lectures
Author	Roman Kossak
Condition	Unavailable
Binding Type	Paperback
Publisher	College Publications
Year published	2021-02-10
Number of pages	152
Cover note	Book picture is for illustrative purposes only, actual binding, cover or edition may vary.