Reviews - Selected papers of Abraham Robinson. Volume 1. Model theory and algebra. Edited and with an introduction by H. J. Keisler. Yale University Press, New Haven and London1979, xxxvii + 694 pp. - George B. Selioman. Biography of Abraham Robinson, pp. xiii–xxxii. - H. J. Keisler. Introduction, pp. xxxiii–xxxvii. - Abraham Robinson. On the application of symbolic logic to algebra, pp. 3–11. A reprint of XVIII 182. - Abraham Robinson. Recent developments in model theory, pp. 12–31. A reprint of XL 269. - Abraham Robinson. On the construction of models, pp. 32–42. A reprint of XL 506. - Abraham Robinson, Metamathematical problems, pp. 43–59. (Reprinted from The journal of symbolic logic, vol. 38 (1973), pp. 500–516.) - Abraham Robinson. Model theory as a framework for algebra, pp. 60–83. (Reprinted from Studies in model theory, edited by M. D. Morley, Studies in mathematics, vol. 8, The Mathematical Association of America, Washington, D.C., 1973, pp. 134–157.) - Abraham Robinson. A result on consistency and its application to the theory of definition, pp. 87–98. A reprint of XXV 174. - Abraham Robinson. Ordered structures and related concepts, pp. 99–104. A reprint of XXV 170.

1982 ◽  
Vol 47 (1) ◽  
pp. 197-203
Author(s):  
John T. Baldwin
Keyword(s):  
Model Theory ◽  
Symbolic Logic ◽  
New Haven ◽  
Yale University ◽  
Ordered Structures ◽  
Mathematical Association ◽  
Recent Developments ◽  
Theory Of Definition ◽  
And Algebra

THE ABC'S of Mice

2001 ◽  
Vol 7 (4) ◽  
pp. 485-503 ◽  
Author(s):  
Ernest Schimmerling
Keyword(s):  
Fine Structure ◽  
Model Theory ◽  
Short Proof ◽  
Symbolic Logic ◽  
Inner Model Theory ◽  
Inner Model ◽  
Advanced Students ◽  
Recent Developments ◽  
The Subject ◽  
Proof Sketches

This is the introductory half of a lecture given at the Association for Symbolic Logic Annual Meeting in Philadelphia in March, 2001. Our goal is to give logicians and advanced students who are unfamiliar with inner model theory a taste of what the subject is about at a level where it is possible to say something meaningful about the intuitions and proofs. At the same time, we wish to avoid overwhelming the reader, so we will leave out many well known closely related theorems and give only short proof sketches. Neither the results nor the proofs found here are due to the author. We will begin near the beginning but still touch on some modern aspects of the theory. The proofs and historical notes that we leave out can be found in the books and articles listed in the references. Our approach to the theory of 0# is a combination of that taken by Dodd in his book and by Steel in his lectures to students. Dodd's introduction is one of the author's favorite essays on inner model theory; another is the introduction to Martin-Steel [6]. In Section 2, we review the theory of 0# in a form that touches on some of the techniques that have been and continue to be generalized. These combine what is commonly called iteration and fine structure. In Section 3, we give a superficial description of what comes after 0#. Those interested in learning about more recent developments in inner model theory are encouraged to see the articles Lowe-Steel [5] and Steel [8], both of which are currently available online at http://www.math.berkeley.edu/~ steel.

Sign in / Sign up

Export Citation Format

Share Document