Model Theory

Frontcover
Cambridge University Press, 11.03.1993 - 772 Seiten
1 Rezension
Professor Hodges emphasizes definability and methods of construction, and introduces the reader to advanced topics such as stability. He also provides the reader with much historical information and a full bibliography, enhancing the book's use as a reference.

Was andere dazu sagen - Rezension schreiben

Es wurden keine Rezensionen gefunden.

Ähnliche Bücher

Verweise auf dieses Buch

Mathematical Logic
H.-D. Ebbinghaus
Eingeschränkte Leseprobe - 1994
Permutation Groups
Peter J. Cameron
Eingeschränkte Leseprobe - 1999
Alle Ergebnisse von Google Books »

Referenzen von Webseiten

Model theory - Wikipedia, the free encyclopedia
In mathematics, model theory is the study of (classes of) mathematical structures such as groups, fields, graphs or even models of set theory using tools ...
en.wikipedia.org/ wiki/ Model_theory

JSTOR: Model Theory.
It is one of the few (or perhaps the only) books in print that develop the essentials of model theory in the modern style. The basic notions of language, ...
links.jstor.org/ sici?sici=0022-4812(199506)60%3A2%3C689%3AMT%3E2.0.CO%3B2-H

Model Theory at UEA
Model theory is a branch of mathematical logic which investigates properties of mathematical structures expressible in a formal (usually first-order) ...
www.mth.uea.ac.uk/ ~h120/ model_theory.html

Model theory
thousand-year history of pure mathematics, model theory as a distinct discipline ... Model theory may seem to fit most neatly into the camp of algebra. In ...
www.math.metu.edu.tr/ ~dpierce/ philosophy/ Kant/ popular.pdf

model theory: Definition and Much More from Answers.com
model theory ( ′mädəl ′thēərē ) ( mathematics ) The general qualitative study of the structure of a mathematical.
www.answers.com/ topic/ model-theory

Logic Matters: Godard ... and model theory
Not soon, though, as this term is model-theory term: as I've mentioned before, Thomas Forster and I are going to be running a reading group for a mixed ...
logicmatters.blogspot.com/ 2008/ 01/ godard-and-model-theory.html

Course Information
In Model Theory one starts to study the rather general case that the ... The pivotal notion of model theory is the notion of a formula being true in a ...
www.math.uu.nl/ people/ jvoosten/ mc2006-2007/ logic/ courses.html

3 Finite Model Theory and Descriptive Complexity
finite model theory can be extended to suitable domains of infinite structures. As an example, some results relating metafinite model theory to complexity ...
www.logic.rwth-aachen.de/ pub/ graedel/ FMTbook-Chapter3.pdf

Synopsis for C1.1b: Model Theory | Mathematical Institute ...
J. Bridge, Beginning Model Theory\/, OUP (1977). ... All topics discussed (and much more) can also be found in W. Hodges, Model Theory\/. CUP, (1993). ...
www.maths.ox.ac.uk/ courses/ 2007/ part-c/ c11b-model-theory

First-order Model Theory (Stanford Encyclopedia of Philosophy)
First-order model theory, also known as classical model theory, is a branch of mathematics that deals with the relationships between descriptions in ...
www.seop.leeds.ac.uk/ entries/ modeltheory-fo/

Über den Autor (1993)

Ian Chiswell acheived a Ph.D. at the University of Michigan in 1973 on the Bass-Serre theory of groups acting on trees. After three years as a temporary lecturer at the University of Birmingham he moved back to Queen Mary, University of London in 1976. His teaching experience dates back to 1968
when he was a teaching fellow at the University of Michigan. He spent the academic year 1972-73 in Germany at the Ruhr-Universitaet Bochum. He has published a monograph on lamda-trees, which are generalisations of ordinary trees. His work has connections with mathematical logic, mainly via
non-standard free groups. Wilfrid Hodges achieved his DPhil at Oxford in 1970 for a thesis in model theory (mathematical logic). He has taught mathematics at London University for nearly forty years, first at Bedford College and then at Queen Mary, and also taught for visiting years in Los Angeles
and Boulder (USA). Besides this book, he has four other textbooks of logic in print, at levels ranging from popular to research. He has served as president of the British Logic Colloquium and the European Association for Logic, Language and Information, and as vice-president of the London
Mathematical Society.

Bibliografische Informationen