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.

F. R. Drake

doi:10.2307/2271564

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

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

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

G. Kreisel and J. L. Krivine. Elements of mathematical logic. (Model theory). North-Holland Publishing Company, Amsterdam1967, xi + 222 pp.

Journal of Symbolic Logic ◽

10.2307/2270989 ◽

1969 ◽

Vol 34 (1) ◽

pp. 112-112

Author(s):

C. C. Chang

Keyword(s):

Mathematical Logic ◽

Model Theory ◽

Logic Model ◽

Publishing Company ◽

North Holland Publishing Company ◽

North Holland Publishing

Download Full-text

Saul A. Kripke. Semantical analysis of intuitionistic logic I. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium, Oxford, July 1963, edited by J. N. Crossley and M. A. E. Dummett, Series in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 92–130.

Journal of Symbolic Logic ◽

10.2307/2270547 ◽

1970 ◽

Vol 35 (2) ◽

pp. 330-332 ◽

Cited By ~ 3

Author(s):

G. Kreisel

Keyword(s):

Intuitionistic Logic ◽

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

Recursive Functions ◽

Formal Systems ◽

Semantical Analysis ◽

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

E. W. Beth. Remarks on intuitionistic logic. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by A. Heyting, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1959, pp. 15–25.

Journal of Symbolic Logic ◽

10.2307/2272922 ◽

1974 ◽

Vol 39 (3) ◽

pp. 609-609

Author(s):

Hans Freudenthal

Keyword(s):

Intuitionistic Logic ◽

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