H. Jerome Keisler. Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers. Studies in logic and the foundations of mathematics, vol. 62, North-Holland Publishing Company, Amsterdam and London1971, x + 208 pp.

E. G. K. López-Escobar

doi:10.2307/2273064

H. Jerome Keisler. Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers. Studies in logic and the foundations of mathematics, vol. 62, North-Holland Publishing Company, Amsterdam and London1971, x + 208 pp.

Journal of Symbolic Logic ◽

10.2307/2273064 ◽

1973 ◽

Vol 38 (3) ◽

pp. 522-523

Author(s):

E. G. K. López-Escobar

Keyword(s):

Model Theory ◽

Publishing Company ◽

Foundations Of Mathematics ◽

Infinitary Logic ◽

North Holland Publishing Company ◽

North Holland Publishing

Download Full-text

R. Montague. Recursion theory as a branch of model theory. Logic, methodology and philosophy of science III, Proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967, edited by B. van Rootselaar and J. F. Staal, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1968, pp. 63–86.

Journal of Symbolic Logic ◽

10.2307/2271758 ◽

1973 ◽

Vol 38 (1) ◽

pp. 158-159

Author(s):

Carl E. Gordon

Keyword(s):

Philosophy Of Science ◽

Model Theory ◽

Recursion Theory ◽

Publishing Company ◽

International Congress ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

The Third ◽

North Holland Publishing

Download Full-text

Abraham Robinson. Forcing in model theory. Symposia mathematica, vol. 5, Istituto Nazionale di Alta Matematica, Academic Press, London and New York 1971, pp. 69–82. - Jon Barwise and Abraham Robinson. Completing theories by forcing. Annals of mathematical logic, vol. 2 no. 2 (1970), pp. 119–142. - Abraham Robinson. Infinite forcing in model theory. Proceedings of the Second Scandinavian Logic Symposium, edited by J. E. Fenstad, Studies in logic and the foundations of mathematics, vol. 63, North-Holland Publishing Company, Amsterdam and London 1971, pp. 317–340. - Abraham Robinson. Forcing in model theory. Actes du Congrès International des Mathematiciens 1970, Gauthier-Villars, Paris 1971, Vol. 1, pp. 245–250.

Journal of Symbolic Logic ◽

10.2307/2271854 ◽

1975 ◽

Vol 40 (4) ◽

pp. 633-634 ◽

Cited By ~ 1

Author(s):

H. Jerome Keisler

Keyword(s):

New York ◽

Mathematical Logic ◽

Model Theory ◽

Publishing Company ◽

Foundations Of Mathematics ◽

Academic Press ◽

North Holland Publishing Company ◽

North Holland Publishing

Download Full-text

Melvin Chris Fitting. Intuitionistic logic model theory and forcing. Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London1969, 191 pp.

Journal of Symbolic Logic ◽

10.2307/2271564 ◽

1971 ◽

Vol 36 (1) ◽

pp. 166-167

Author(s):

F. R. Drake

Keyword(s):

Intuitionistic Logic ◽

Model Theory ◽

Logic Model ◽

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

North Holland Publishing

Download Full-text

Abraham Robinson. Introduction to model theory and to the metamathematics of algebra. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1963, IX + 284 pp.

Journal of Symbolic Logic ◽

10.2307/2269789 ◽

1964 ◽

Vol 29 (1) ◽

pp. 56-56 ◽

Cited By ~ 1

Author(s):

Carol R. Karp

Keyword(s):

Model Theory ◽

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

North Holland Publishing

Download Full-text

M. A. Dickmann. Large infinitary languages. Model theory. Studies in logic and the foundations of mathematics, vol. 83. North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, xv+ 464 pp.

Journal of Symbolic Logic ◽

10.2307/2271958 ◽

1978 ◽

Vol 43 (1) ◽

pp. 144-145

Author(s):

Michael Makkai

Keyword(s):

New York ◽

Model Theory ◽

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

North Holland Publishing

Download Full-text

C. C. Chang and H. J. Keisler. Model theory. Studies in logic and the foundations of mathematics, vol. 73, North-Holland Publishing Company, Amsterdam and London, and American Elsevier Publishing Company, Inc., New York, 1973, xii + 550 pp.

Journal of Symbolic Logic ◽

10.1017/s0022481200051264 ◽

1976 ◽

Vol 41 (3) ◽

pp. 697-699

Author(s):

Gebhard Fuhrken

Keyword(s):

New York ◽

Model Theory ◽

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

North Holland Publishing

Download Full-text

J. R. Shoenheld. Applications of model theory to degrees of unsolvability. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 359–363.

Journal of Symbolic Logic ◽

10.2307/2272771 ◽

1972 ◽

Vol 37 (3) ◽

pp. 610-611

Author(s):

Gerald E. Sacks

Keyword(s):

International Symposium ◽

Model Theory ◽

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

Alfred Tarski ◽

North Holland Publishing ◽

Degrees Of Unsolvability

Download Full-text

Alan Cobham. The intrinsic computational difficulty of functions. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress, edited by Yehoshua Bar-Hillel, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 24–30.

Journal of Symbolic Logic ◽

10.2307/2270886 ◽

1970 ◽

Vol 34 (4) ◽

pp. 657-657 ◽

Cited By ~ 2

Author(s):

Stephen A. Cook

Keyword(s):

Philosophy Of Science ◽

Publishing Company ◽

International Congress ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

North Holland Publishing ◽

Computational Difficulty

Download Full-text

Jens Erik Fenstad. The axiom of determinateness. Proceedings of the Second Scandinavian Logic Symposium, edited by J. E. Fenstad, Studies in logic and the foundations of mathematics, vol. 63, North-Holland Publishing Company, Amsterdam and London 1971, pp. 41–61.

Journal of Symbolic Logic ◽

10.2307/2272655 ◽

1974 ◽

Vol 39 (2) ◽

pp. 331-332

Author(s):

A. S. Kechris

Keyword(s):

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

North Holland Publishing

Download Full-text

H. J. Keisler. Models with orderings. Logic, methodology and philosophy of science III, Proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967, edited by B. van Rootselaar and J. F. Staal, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1968, pp. 35–62.

Journal of Symbolic Logic ◽

10.2307/2272661 ◽

1974 ◽

Vol 39 (2) ◽

pp. 334-335

Author(s):

H.-D. Ebbinghaus

Keyword(s):

Philosophy Of Science ◽

Publishing Company ◽

International Congress ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

The Third ◽

North Holland Publishing

Download Full-text