Verwandte Artikel zu Model Theory for Beginners. 15 Lectures

Model Theory for Beginners. 15 Lectures - Softcover

Kossak, Roman

 
9781848903616: Model Theory for Beginners. 15 Lectures
Softcover
ISBN 10: 1848903618 ISBN 13: 9781848903616
Verlag: College Publications, 2021

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
College Publications
Erscheinungsdatum
2021
Sprache
Englisch
ISBN 10 
1848903618
ISBN 13 
9781848903616
Einband
Taschenbuch
Anzahl der Seiten
152
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
gpsr@libri.de
gpsr@libri.de

Europaallee 1
Bad Hersfeld
36244
Deutschland