Model Theory for Beginners. 15 Lectures
Model Theory for Beginners. 15 Lectures
Kossak, Roman
product information
Condition: New, UPC: 9781848903616, Publication Date: Mon, February 1, 2021, Type: Paperback ,
join & start selling
description
7

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.

reviews

Be the first to write a review

member goods

No member items were found under this heading.

notems store

Elements of ∞-Category Theory

by Riehl, Emily

Hardcover /Hardcover

$73.99

A Pocket Guide to Logic ...

by Lisle, Jason

Paperback /Paperback

$5.09

listens & views

FREE FANTASIAS

by ALMQVIST / JONSSON-HAZELL

COMPACT DISC

$17.75

INTERNATIONAL SOUND OF (PORT)

by KLEIN,OLIVER

COMPACT DISC

out of stock

$12.99

MUSICA ELECTRONICA

by TRIANA,DANIEL

COMPACT DISC

out of stock

$10.99

RHYME VILL KINGS

by KINGS,RHYME VILL

COMPACT DISC

out of stock

$15.75

Return Policy

All sales are final

Shipping

No special shipping considerations available.
Shipping fees determined at checkout.
promoting relevance through notable postings ]
share it, buy it, sell it ]

A notem is a post that highlights an experience, idea, topic of interest, an event ... whatever a member believes worthy of discussion. Each notem becomes a pathway by which to make meaningful connections.

notems is a free, global social network that rewards members by the number and quality of notems they post.

notemote® © . Privacy Policy. Developed by Hartmann Software Group