Kossak, Roman
Model Theory for Beginners. - 15 Lectures
- ISBN 13:
- 9781848903616
- author:
- Kossak, Roman
- format:
- Paperback
- publisher:
- College Publications
- language:
- English
- Publication Year:
- 2021
- Pages:
- 152
- Dimensions:
- 23.4 x 15.6 x 0.8 centimetres (0
- Genre:
- Science, Mathematics, Logic,
- Condition:
- New
- Availability:
- Item usually sent within 5 working days
Description
This introduction to model theory is presented in 15 lectures, covering key concepts such as first-order definability and elementary extensions. Examples are used to illustrate these ideas without requiring advanced algebra or set theory.
The compactness theorem for countable languages is fully proved, along with its applications and the Ehrhart-Mostowski technique for constructing models admitting automorphisms. Other topics include recursive saturation, nonstandard models of arithmetic, and Abraham Robinson's model-theoretic proof of Tarski's theorem on undefinability of truth.
The book concludes with a discussion of the Infinite Ramsey Theorem using an elementary extension of the standard model of arithmetic.
Related Products
Related Products
Lectures on Ergodic Theory
Halmos, Paul R.
Social Theory for Beginners
Ransome
Film Theory for Beginners
Richard Osborne , Angie Brew (illustrator)
Music Theory for Beginners
R. Ryan Endris, Joe Lee
Transport Modelling for a Complete Beginner
Hollander, Yaron