Fundamentals of Model Theory
- 1 January 1977
- book chapter
- Published by Elsevier
Abstract
No abstract availableThis publication has 26 references indexed in Scilit:
- Axioms for abstract model theoryAnnals of Mathematical Logic, 1974
- On strongly minimal setsThe Journal of Symbolic Logic, 1971
- Completing theories by forcingAnnals of Mathematical Logic, 1970
- Infinitary properties of abelian torsion groupsAnnals of Mathematical Logic, 1970
- The Elementary Theory of Finite FieldsAnnals of Mathematics, 1968
- A note on the two cardinal problemProceedings of the American Mathematical Society, 1965
- On unions of chains of modelsProceedings of the American Mathematical Society, 1959
- Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theoryThe Journal of Symbolic Logic, 1957
- An Isomorphism Theorem for Real-Closed FieldsAnnals of Mathematics, 1955
- The completeness of the first-order functional calculusThe Journal of Symbolic Logic, 1949