Wilfrid hodges books are written in an informal style. Model theory by wilfred hodges, encyclopedia of mathematics and its applications, vol. He also provides the reader with much historical information and a full bibliography, enhancing the books use as a reference. Wilfrid hodges, in pursuit of a medieval model theory.
Wilfrid hodges has books on goodreads with 1183 ratings. In 1954 alfred tarski 210 announced that a new branch of metamathemat. Cambridge core logic, categories and sets model theory by wilfrid hodges. The notes on notation in his book model theory end with the following characteristic sentence. Everyday low prices and free delivery on eligible orders. Professor hodges emphasizes definability and methods of construction, and introduces the reader to advanced topics such as stability. Publication date 1993 topics model theory publisher cambridge eng. Another recent monograph on model theory is model theory by wilfrid. When this 780page book appeared in 1993, it became one of the standard textbooks on model theory. Model theory wilfrid hodges, school of mathematical.
Eckmann 872 set theory and model theory proceedings of an informa. Model theory wilfrid hodges, school of mathematical sciences wilfrid hodges, hodges wilfrid no. Elementary firstorder predicate logic is a child of many parents. This is an uptodate textbook of model theory taking the reader from first definitions to morleys theorem and the elementary parts of. Model theory draft 20 jul 00 wilfrid hodges 1 theboundariesofthesubject in1954alfredtarski210announcedthatanewbranchofmetamathematics had appeared under the name of thetheoryofmodels. Professor hodges emphasizes definability and methods of construction, and int. Model theory encyclopedia of mathematics and its applications wilfrid hodges. A talk buridan and the avicennajohnston semantics for the medieval philosophy network, warburg institute 1 april 2016. Model theory by wilfrid hodges cambridge university press. Model theory is concerned with the notions of definition, interpretation and structure in a very general setting, and is applied to a wide variety of other areas such as set theory, geometry, algebra in particular group theory, and computer science e. At least three different groups of thinkers played their part in its conception, with three quite distinct motives.
154 479 1438 1305 701 1144 422 190 1504 49 1533 1578 137 1448 1193 884 977 1209 1520 13 822 871 845 1406 1014 87 1077 52 438 1323 1352 1207 1513 1152 909 1104 980 107 1108 1330 1179 564 680 1153 265 551 1304 1238