Introduction to Model Theory (Algebra, Logic and Applications)

Introduction to Model Theory (Algebra, Logic and Applications)

Editorial Reviews
Book Description

Model theory is used to investigate mathematical structures by means of formal languages, and first-order languages have proved particularly useful in this respect. This text introduces the model theory of first-order logic. Avoiding syntactical issues, author proves the compactness theorem via the ultraproduct technique, which leads fairly quickly to algebraic applications like Malcev's local theorems and eventually to Hilbert's Nullstellensatz. The author obtains Steinitz dimension theory for field extensions as a special case of a more general model-theoretic treatment of strongly minimal theories. The final chapter explores the models of the first-order theory of the integers as an abelian group.

Language Notes
Text: English (translation)
Original Language: German

Introduction to Model Theory (Algebra, Logic and Applications)

Introduction to Model Theory (Algebra, Logic and Applications),Philipp Rothmaler,CRC,9056992872,Algebra - General,General,Logic,Mathematics,Model Theory,Science/Mathematics,Set Theory,Algebra,Mathematical logic,Mathematical modelling,Mathematics / Set Theory

Books Info:

1. Inverse Spectra (North-Holland Mathematical Library)
2. IUTAM Symposium on Mesoscopic Dynamics of Fracture Process and Materials Strength : Volume in celebration of Professor Kitagawa's retirement (Solid Mechanics and Its Applications)
3. Knowledge-Based Virtual Education : User-Centred Paradigms (Studies in Fuzziness and Soft Computing)
4. Large Deviations and Idempotent Probability
5. Latent Variable and Latent Structure Models (Quantitative Methodology Series)
6. Linear Theory of Colombeau Generalized Functions
7. Mathematical and Physical Simulation of the Properties of Hot Rolled Products
8. Mathematical Methods in Aerodynamics
9. Mathematical Methods in Economics and Social Choice
10. Mathematical Methods of Many-Body Quantum Field Theory (Research Notes in Mathematics Series)

Books Info

Recommended Books

1. Adobe Photoshop CS2 for Photographers: A Professional Image Editor's Guide to the Creative Use of Ph
2. Towards a Philosophy of Photography
3. Feng Sh*t : The Art of Domestic Disorder
4. Microeconomics
5. Matchbox 20 - Yourself or Someone like You
6. Genetics and Conservation of Rare Plants
7. Introduction to Infrared and Raman Spectroscopy
8. Mechanics
9. Marvin! Marvin! Marvin!
10. Mars Attacks #2: War Dogs of the Golden Horde
11. Horse Riders Yearbook 2006: The Complete Equine Organizer
12. Hearts and Hands : Women, Quilts, and the American Society
13. Historics
14. Introduction to Space Dynamics
15. Mac's Pocket Guide: Glacier National Park, Birds & Mammals