Introduction to Model Theory by Philipp Rothmaler and a great selection of related books, art and collectibles available now at Introduction to model theory /​ Philipp Rothmaler. Uniform Title. Einführung in die Modelltheorie. English. Author. Rothmaler, Philipp. Published. Amsterdam. Model Theory, Algebra, and Geometry. MSRI Publications. Volume 39, Introduction to Model Theory. DAVID MARKER. Abstract. This article introduces.

Author: Taukora Samusida
Country: Brunei Darussalam
Language: English (Spanish)
Genre: Education
Published (Last): 6 January 2005
Pages: 383
PDF File Size: 10.72 Mb
ePub File Size: 8.84 Mb
ISBN: 401-3-27684-215-9
Downloads: 27550
Price: Free* [*Free Regsitration Required]
Uploader: Tygobei

Read, highlight, and take notes, across web, tablet, and phone.

General Information

Account Options Sign in. So-called first-order languages have proved particularly useful in this respect. This text rothmalrr the model theory of first-order logic, avoiding syntactical issues not too relevant to model theory.

In this spirit, the My library Help Advanced Book Search. Introduction to Model Theory. Model theory investigates mathematical structures by means of formal languages.


Introduction to model theory / Philipp Rothmaler. – Version details – Trove

In this spirit, the compactness theorem is proved via the algebraically useful ultrsproduct technique rather than via the completeness theorem of first-order logic. This leads fairly quickly to algebraic applications, like Malcev’s local theorems of group theory rofhmaler, after a little more preparation, to Hilbert’s Nullstellensatz of field theory.

Steinitz dimension theory for field extensions is obtained as a special case of a much more general model-theoretic treatment of strongly minimal theories.

There is a moedl chapter on the models of the first-order theory of the integers as an abelian group. Both these topics appear here for the first time in a textbook at the introductory level, and are used to give hints to further reading and to recent developments in the field, such as stability or classification theory.

Selected pages Title Page. Beginnings of model theory.

First consequences of the finiteness theorem. Malcevs applications to group theory. Some theory of orderings.


Math M: Model Theory

IIIBasic properties of theories. Thick and thin models.

Hints to selected exercises. Solutions for selected exercises.