James E. Baumgartner. Bases for Aronszajn trees. Tsukuba journal of mathematics, vol. 9 (1985), pp. 31–40. - 
            James E. Baumgartner. Polarized partition relations and almost-disjoint functions. Logic, methodology and philosophy of science VIII, Proceedings of the Eighth International Congress of Logic, Methodology and Philosophy of Science, Moscow, 1987, edited by Jens Erik Fenstad, Ivan T. Frolov, and Risto Hilpinen, Studies in logic and the foundations of mathematics, vol. 126, North-Holland, Amsterdam etc. 1989, pp. 213–222.

Stevo Todorcevic

doi:10.2307/420984

James E. Baumgartner. Bases for Aronszajn trees. Tsukuba journal of mathematics, vol. 9 (1985), pp. 31–40. - James E. Baumgartner. Polarized partition relations and almost-disjoint functions. Logic, methodology and philosophy of science VIII, Proceedings of the Eighth International Congress of Logic, Methodology and Philosophy of Science, Moscow, 1987, edited by Jens Erik Fenstad, Ivan T. Frolov, and Risto Hilpinen, Studies in logic and the foundations of mathematics, vol. 126, North-Holland, Amsterdam etc. 1989, pp. 213–222.

Bulletin of Symbolic Logic ◽

10.2307/420984 ◽

2000 ◽

Vol 6 (4) ◽

pp. 497-498

Author(s):

Stevo Todorcevic

Keyword(s):

Philosophy Of Science ◽

International Congress ◽

Foundations Of Mathematics ◽

Partition Relations ◽

Almost Disjoint ◽

Aronszajn Trees

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

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

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

Michael Gelfond and Vladimir Lifschitz. The stable model semantics for logic programming. Logic programming, Proceedings of the fifth international conference and symposium, Volume 2, edited by Robert A. Kowalski and Kenneth A. Bowen, Series in logic programming, The MIT Press, Cambridge, Mass., and London, 1988, pp. 1070–1080. - Kit Fine. The justification of negation as failure. Logic, methodology and philosophy of science VIII, Proceedings of the Eighth International Congress of Logic, Methodology and Philosophy of Science, Moscow, 1987, edited by Jens Erik Fenstad, Ivan T. Frolov, and Risto Hilpinen, Studies in logic and the foundations of mathematics, vol. 126, North-Holland, Amsterdam etc. 1989, pp. 263–301.

Journal of Symbolic Logic ◽

10.2307/2275201 ◽

1992 ◽

Vol 57 (1) ◽

pp. 274-277

Author(s):

Melvin Fitting

Keyword(s):

Logic Programming ◽

Philosophy Of Science ◽

International Congress ◽

Foundations Of Mathematics ◽

Stable Model ◽

Kit Fine ◽

International Conference ◽

Negation As Failure ◽

Programming Logic

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