Model Theory for Beginners. 15 Lectures by Roman Kossak

  •
1 1

Model Theory for Beginners. 15 Lectures by Roman Kossak

Checking stock...
Checking stock...
Proud to be B-Corp

Our business meets the highest standards of verified social and environmental performance, public transparency and legal accountability to balance profit and purpose. In short, we care about people and the planet.

The feel-good place to buy books
  • Free delivery in Australia
  • Supporting authors with AuthorSHARE
  • 100% recyclable packaging
  • Proud to be a B Corp – A Business for good
  • Buy-back with Ziffit

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.

You might also like

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.