Journal of Symbolic Logic 49 (3):975-980 (1984)
Abstract | This article has no associated abstract. (fix it) |
Keywords | No keywords specified (fix it) |
Categories | (categorize this paper) |
DOI | 10.2307/2274154 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Handbook of Mathematical Logic, Edited by Barwise Jon with the Cooperation of Keisler H. J., Kunen K., Moschovakis Y. N., and Troelstra A. S., Studies in Logic and the Foundations of Mathematics, Vol. 90, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978 , Xi + 1165 Pp. [REVIEW]Daniel Lascar - 1984 - Journal of Symbolic Logic 49 (3):968-971.
Handbook of Mathematical Logic, Edited by Barwise Jon with the Cooperation of Keisler H. J., Kunen K., Moschovakis Y. N., and Troelstra A. S., Studies in Logic and the Foundations of Mathematics, Vol. 90, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978 , Xi + 1165 Pp. [REVIEW]Akihiro Kanamori - 1984 - Journal of Symbolic Logic 49 (3):971-975.
Handbook of Mathematical Logic, Edited by Barwise Jon with the Cooperation of Keisler H. J., Kunen K., Moschovakis Y. N., and Troelstra A. S., Studies in Logic and the Foundations of Mathematics, Vol. 90, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978 , Xi + 1165 Pp.Smoryński C.. D.1. The Incompleteness Theorems. Pp. 821–865.Schwichtenberg Helmut. D.2. Proof Theory: Some Applications of Cut-Elimination. Pp. 867–895.Statman Richard. D.3. Herbrand's Theorem and Gentzen's Notion of a Direct Proof. Pp. 897–912.Feferman Solomon. D.4. Theories of Finite Type Related to Mathematical Practice. Pp. 913–971.Troelstra A. S.. D.5. Aspects of Constructive Mathematics. Pp. 973–1052.Fourman Michael P.. D.6. The Logic of Topoi. Pp. 1053–1090.Barendregt Henk P.. D.1. The Type Free Lambda Calculus. Pp. 1091–1132.Paris Jeff and Harrington Leo. D.8. A Mathematical Incompleteness in Peano Arithmetic. Pp. 1133–1142. [REVIEW]W. A. Howard - 1984 - Journal of Symbolic Logic 49 (3):980-988.
Feferman Solomon. A Language and Axioms for Explicit Mathematics. Algebra and Logic, Papers From the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia, Edited by Crossley J. N., Lecture Notes in Mathematics, Vol. 450, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, Pp. 87–139.Feferman Solomon. Constructive Theories of Functions and Classes. Logic Colloquium '78, Proceedings of the Colloquium Held in Mons, August 1978, Edited by Boffa Maurice, van Dalen Dirk, and McAloon Kenneth, Studies in Logic and the Foundations of Mathematics, Vol. 97, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1979, Pp. 159–224. [REVIEW]G. R. Renardel de Lavalette & A. S. Troelstra - 1984 - Journal of Symbolic Logic 49 (1):308-311.
Kunen Kenneth. Set Theory. An Introduction to Independence Proofs. Studies in Logic and the Foundations of Mathematics, Vol. 102. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1980, Xvi + 313 Pp. [REVIEW]James E. Baumgartner - 1986 - Journal of Symbolic Logic 51 (2):462-464.
Review: Jon Barwise, H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra, Handbook of Mathematical Logic. [REVIEW]Sy D. Friedman - 1984 - Journal of Symbolic Logic 49 (3):975-980.
Szabo M. E.. Algebra of Proofs. Studies in Logic and the Foundations of Mathematics, Vol. 88. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978, Xii + 297 Pp. [REVIEW]G. E. Minc - 1982 - Journal of Symbolic Logic 47 (4):904-907.
Reviews. Alfred Tarski. Preface. Undecidable Theories, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1953, Pp. VIII–IX. Alfred Tarski. A General Method in Proofs of Undecidability. Undecidable Theories, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1953, Pp. 3–35. Andrzej Mostowski, Raphael M. Robinson, and Alfred Tarski. Undecidability and Essential Undecidability in Arithmetic. Undecidable Theories, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1953, Pp. 39–74. Alfred Tarski. Undecidability of the Elementary Theory of Groups. Undecidable Theories, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1953, Pp. 77–87. Bibliography. Undecidable Theories, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1953, Pp. 89–91. Index. Undecidable Theories. [REVIEW]Martin Davis - 1959 - Journal of Symbolic Logic 24 (2):167-169.
Chang C. C. And Keisler H. J.. 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. [REVIEW]Gebhard Fuhrken - 1976 - Journal of Symbolic Logic 41 (3):697-699.
Moschovakis J. R.. Disjunction and Existence in Formalized Intuitionistic Analysis. Sets, Models and Recursion Theory, Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965, Edited by Crossley John N., Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam, and Humanities Press, New York, 1967, Pp. 309–331. [REVIEW]W. A. Howard - 1970 - Journal of Symbolic Logic 35 (4):587-588.
Review: Jon Barwise, H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra, Handbook of Mathematical Logic. [REVIEW]W. A. Howard - 1984 - Journal of Symbolic Logic 49 (3):980-988.
Maitra A. And Ryll-Nardzewski C.. On the Existence of Two Analytic Non-Borel Sets Which Are Not Isomorphic. Bulletin de L'Académie Polonaise des Sciences, Série des Sciences Mathematiques, Astronomiques Et Physiques, Vol. 18 , Pp. 177–178.Mauldin R. Daniel. On Nonisomorphic Analytic Sets. Proceedings of the American Mathematical Society, Vol. 58 , Pp. 241–244.Hrbacek Karel. On the Complexity of Analytic Sets. Zeitschrift Für Mathematische Logik Und Grundlagen der Mathematik, Vol. 24 , Pp. 419–425.Hrbacek Karel and Simpson Stephen G.. On Kleene Degrees of Analytic Sets. The Kleene Symposium, Proceedings of the Symposium Held June 18–24, 1978 at Madison, Wisconsin, U.S.A., Edited by Barwise Jon, Keisler H. Jerome, and Kunen Kenneth, Studies in Logic and the Foundations of Mathematics, Vol. 101, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1980, Pp. 347–352.Harrington Leo. Analytic Determinacy and 0#. [REVIEW]Jacques Stern - 1984 - Journal of Symbolic Logic 49 (2):665-668.
Shelah S.. Classification Theory and the Number of Nonisomorphic Models. Studies in Logic and the Foundations of Mathematics, Vol. 92. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978, Xvi + 544 Pp. [REVIEW]Victor Harnik - 1982 - Journal of Symbolic Logic 47 (3):694-696.
Review: Jon Barwise, H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra, Handbook of Mathematical Logic. [REVIEW]Daniel Lascar - 1984 - Journal of Symbolic Logic 49 (3):968-971.
Martin-Löf Per. An Intuitionistic Theory of Types: Predicative Part. Logic Colloquium '73, Proceedings of the Logic Colloquium, Bristol, July 1973, Edited by Rose H. E. And Shepherdson J. C., Studies in Logic and the Foundations of Mathematics, Vol. 80, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, New York, 1975, Pp. 73–118. [REVIEW]Wim Veldman - 1984 - Journal of Symbolic Logic 49 (1):311-313.
Analytics
Added to PP index
2016-06-30
Total views
8 ( #938,921 of 2,401,716 )
Recent downloads (6 months)
1 ( #551,964 of 2,401,716 )
2016-06-30
Total views
8 ( #938,921 of 2,401,716 )
Recent downloads (6 months)
1 ( #551,964 of 2,401,716 )
How can I increase my downloads?
Downloads