Suche Bilder Maps Play YouTube News Gmail Drive Mehr »
Meine Bücher | Hilfe | Erweiterte Buchsuche | Webprotokoll | Anmelden

Books

Introduction to Model Theory

Frontcover
0 Rezensionen
Gordon and Breach Science Publishers, 2000 - 305 Seiten
Model theory investigates mathematical structures by means of formal languages. So-called first-order languages have proved particularly useful in this respect.

This text introduces the model theory of first-order logic, avoiding syntactical issues not too relevant to model theory. 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 and, 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 final 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.

Was andere dazu sagen - Rezension schreiben

Es wurden keine Rezensionen gefunden.

Ähnliche Bücher

Andere Ausgaben - Alle anzeigen

Verweise auf dieses Buch

Aus anderen Büchern

A Concise introduction to mathematical logic
A Concise introduction to mathematical logic

Keine Leseprobe verfügbar - 2006
Approximations And Endomorphism Algebras of Modules
Alle Ergebnisse von Google Books »

Aus Google Scholar

What Scalars Should We Use?
Elemer E Rosinger - 2005 - Arxiv preprint math.HO/0505336
Problems of measurement in soft systems
L Finkelstein - 2005 - Measurement
Indecomposable Flat Cotorsion Modules
PEDRO A GUIL ASENSIO, IVO HERZOG - 2007 - Journal of the London Mathematical Society
Alle Suchergebnisse von Google Scholar »

Referenzen von Webseiten

LICS Newsletter 70
Organizers: Gunnar Carlsson: gunnar@math.stanford.edu Rick Jardine: jardine@uwo.ca BOOK ANNOUNCEMENT Introduction to Model Theory Philipp Rothmaler Gordon ...
www2.informatik.hu-berlin.de/ lics/ newsletters/ 70.html

LOGIC BIBLIOGRAPHY up to 2008
LOGIC BIBLIOGRAPHY. up to 2008. by. L. Geldsetzer. © Copyright reserved. Download only for personal use permitted. Heinrich Heine Universität Düsseldorf ...
www.phil-fak.uni-duesseldorf.de/ philo/ geldsetzer/ Lo_Bib_08.pdf

Model theory for algebra Mike Prest 2003 MIMS eprint: 2006.113 ...
Model theory for algebra. Mike Prest. 2003. MIMS eprint: 2006.113. Manchester Institute for Mathematical Sciences. School of Mathematics ...
eprints.ma.man.ac.uk/ 280/ 01/ covered/ MIMS_ep2006_113.pdf

Rothmaler, Philipp : Introduction To Model Theory (Livre) - Livres ...
priceminister Achat Vente Garanti, Livre Introduction To Model Theory neuf et occasion au meilleur prix. 7 millions de membres, 77 millions de produits.
www.priceminister.com/ offer/ buy/ 17531528/ Rothmaler-Philipp-Introduction-To-Model-Theory-Livre.html

Bibliografische Informationen