1997 | ReviewPaper | Buchkapitel
On the work of Andrzej Ehrenfeucht in model theory
verfasst von : Robert Vaught
Erschienen in: Structures in Logic and Computer Science
Verlag: Springer Berlin Heidelberg
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
This is a paper about a certain period of the develpoment of model theory upon which the work of A. Ehrenfeucht made an indelible mark. We will pay a special attention to his results about the theories of (Ord,<), (Ord,<,+), and (Ord,<,+,·). Also some of the history of the applications of Ramsey's theorem in model theory will be discussed.