Michael O. Rabin. A simple method for undecidability proofs and some applications. 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. 38–68.

William Hanf

doi:10.2307/2271529

Michael O. Rabin. A simple method for undecidability proofs and some applications. 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. 38–68.

Journal of Symbolic Logic ◽

10.2307/2271529 ◽

1971 ◽

Vol 36 (1) ◽

pp. 150-150

Author(s):

William Hanf

Keyword(s):

Philosophy Of Science ◽

Publishing Company ◽

International Congress ◽

Foundations Of Mathematics ◽

Simple Method ◽

North Holland Publishing Company ◽

North Holland Publishing

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

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

A. A. Markov. An approach to constructive mathematical logic. 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. 283–294. - A. A. Markov. Essai de construction d'une logique de la mathématique constructive. Revue Internationale de philosophic, vol. 25 (1971), pp. 477–507.

Journal of Symbolic Logic ◽

10.2307/2272282 ◽

1975 ◽

Vol 40 (1) ◽

pp. 85-85

Author(s):

Brian H. Mayoh

Keyword(s):

Mathematical Logic ◽

Philosophy Of Science ◽

Publishing Company ◽

International Congress ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

The Third ◽

North Holland Publishing

Download Full-text

L. W. Szczerba and A. Tarski. Metamathematical properties of some affine geometries. 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. 166–178.

Journal of Symbolic Logic ◽

10.2307/2270293 ◽

1971 ◽

Vol 36 (2) ◽

pp. 333-334

Author(s):

Wolfgang Rautenberg

Keyword(s):

Philosophy Of Science ◽

Publishing Company ◽

International Congress ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

North Holland Publishing ◽

Affine Geometries

Download Full-text

H. Jerome Keisler. A survey of ultraproducts. 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. 112–126.

Journal of Symbolic Logic ◽

10.2307/2271470 ◽

1970 ◽

Vol 35 (4) ◽

pp. 585-585

Author(s):

James R. Geiser

Keyword(s):

Philosophy Of Science ◽

Publishing Company ◽

International Congress ◽

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

Azriel Lévy. Definability in axiomatic set theory I. 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. 127–151.

Journal of Symbolic Logic ◽

10.2307/2270878 ◽

1970 ◽

Vol 34 (4) ◽

pp. 653-654

Author(s):

F. R. Drake

Keyword(s):

Philosophy Of Science ◽

Set Theory ◽

Publishing Company ◽

International Congress ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

North Holland Publishing ◽

Axiomatic Set Theory

Download Full-text

A. H. Lachlan. On the number of countable models of a countable superstable theory. Logic methodology and philosophy of science IV, Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971, edited by Patrick Suppes et al., Studies in logic and the foundations of mathematics, vol. 74, North-Holland Publishing Company, Amsterdam and London, and American Elsevier Publishing Company, New York, 1973, pp. 45–56. - Daniel Lascar. Ranks and definability in superstable theories. Israel journal of mathematics, vol. 23 (1976), pp. 53–87.

Journal of Symbolic Logic ◽

10.2307/2273397 ◽

1982 ◽

Vol 47 (1) ◽

pp. 215-217

Author(s):

Terrence Millar

Keyword(s):

New York ◽

Philosophy Of Science ◽

Israel Journal ◽

Publishing Company ◽

International Congress ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

Superstable Theory ◽

North Holland Publishing ◽

Superstable Theories

Download Full-text

Thoralf Skolem. Bemerkungen zum Komprehensionsaxiom. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 3 (1957), pp. 1–17. - C. C. Chang. The axiom of comprehension in infinite valued logic. Mathematica Scandinavica, vol. 13 (1963), pp. 9–30. - Jens Erik Fenstad. On the consistency of the axiom of comprehension in the Łukasiewicz infinite valued logic. Mathematica Scandinavica, vol. 14 (1964), pp. 65–74. - C. C. Chang. Infinite valued logic as a basis for set theory. 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. 93–100.

Journal of Symbolic Logic ◽

10.2307/2271290 ◽

1967 ◽

Vol 32 (1) ◽

pp. 128-129

Author(s):

Azriel Lévy

Keyword(s):

Philosophy Of Science ◽

Set Theory ◽

Publishing Company ◽

International Congress ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

North Holland Publishing

Download Full-text

Jaakko Hintikka. Towards a theory of inductive generalization. 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. 274–288.

Journal of Symbolic Logic ◽

10.2307/2270711 ◽

1970 ◽

Vol 35 (3) ◽

pp. 454-454

Author(s):

Ian Hacking

Keyword(s):

Philosophy Of Science ◽

Publishing Company ◽

International Congress ◽

Foundations Of Mathematics ◽

Inductive Generalization ◽

North Holland Publishing Company ◽

North Holland Publishing

Download Full-text