Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.49 € GLS courier 4.99 € DPD courier 4.49 € DPD point 3.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Model Theory for Beginners. 15 Lectures

Name: Model Theory for Beginners. 15 Lectures
Brand: College Publications
SKU: 35416858
Price: 15.99 EUR
Availability: InStock
Author: ROMAN KOSSAK
ISBN: 9781848903616

ROMAN KOSSAK

Language

English

Book Paperback

Libristo code: 35416858

Publishers College Publications, February 2021

This book presents an introduction to model theory in 15 lectures. It concentrates on several key co... Full description

Libristo code: 35416858

39 b

15.99 € VAT included

In stock at our supplier Shipping in 14-21 days

Delivery to Austria

Up to 30 days for returns

Customers also purchased

Logic is Not Mathematical Hartley Slater

Paperback

17.99 €

Mathematical Logic Joel W Robbin

Paperback

9.69 €

Model Theory : An Introduction David Marker

Hardback

44.39 €

Lattice Theory: Special Topics and Applications George Grätzer

Paperback

90.79 €

Model Theory Chen Chung Chang

Paperback

21.49 €

Sets, Models and Proofs Ieke Moerdijk

Paperback

29.39 €

Lattice Theory: Foundation George Grätzer

Paperback

88.29 €

One True Logic Griffiths

Hardback

99.59 €

Counterexamples in Topology Lynn Arthur Steen

Paperback

10.29 €

Lattice Theory: Special Topics and Applications George Grätzer

Paperback

117.89 €

Logics of Variable Inclusion Stefano Bonzio

Hardback

99.79 €

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.