48 found
Order:
  1.  33
    Abraham A. Fraenkel. Mengenlehre Und Logik. Dunker & Humblot, Berlin1959, 110 Pp. - Abraham A. Fraenkel. Set Theory and Logic. Revised English Translation of the Above. Addison-Wesley Publishing Company, Reading, Massachusetts, Palo Alto, London, Don Mills, Ontario, 1966, Vii + 102 Pp. [REVIEW]Thomas Frayne - 1969 - Journal of Symbolic Logic 34 (1):112-113.
  2.  30
    András Hajnal. On a Consistency Theorem Connected with the Generalized Continuum Problem. Zeitschrift Für Mathematische Logik Und Grundlagen der Mathematik, Vol. 2 , Pp. 131–136. - A. Hajnal. On a Consistency Theorem Connected with the Generalized Continuum Problem. Acta Mathematica Academiae Scientiarum Hungaricae, Vol. 12 , Pp. 321–376. - Azriel Lévy. A Generalization of Gödel's Notion of Constructibility. The Journal of Symbolic Logic, Vol. 25 No. 2 , Pp. 147–155. [REVIEW]Thomas Frayne - 1967 - Journal of Symbolic Logic 32 (2):271-272.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3.  16
    Azriel Lévy. Axiomatization of Induced Theories. Proceedings of the American Mathematical Society, Vol. 12 , Pp. 251–253. [REVIEW]Thomas Frayne - 1969 - Journal of Symbolic Logic 34 (2):302.
  4.  28
    Alfred Tarski. Some Problems and Results Relevant to the Foundations of Set Theory. Logic, Methodology and Philosophy of Science, Proceedings of the 1960 International Congress, Edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, Pp. 125–135. - W. Hanf. Incompactness in Languages with Infinitely Long Expressions. Fundamenta Mathematicae, Vol. 53 No. 3 , Pp. 309–324. [REVIEW]Thomas Frayne - 1965 - Journal of Symbolic Logic 30 (1):95-96.
  5.  55
    Bjarni Jónsson. Universal Relational Systems. Mathematica Scandinavia, Vol. 4 , Pp.193–208. - B. Jónsson. Homogeneous Universal Relational Systems. Mathematica Scandinavia, Vol. 8 , Pp. 137–142. [REVIEW]Thomas Frayne - 1968 - Journal of Symbolic Logic 32 (4):534-535.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  6.  25
    Daniel Lacombe. Sur la Méthode Extensive En Métamathématique. La Revue Scientifique, Vol. 85 , Pp. 515–518.Thomas Frayne - 1968 - Journal of Symbolic Logic 32 (4):531.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7.  26
    Donald Monk. On Representable Relation Algebras. The Michigan Mathematical Journal, Vol. 11 , Pp. 207–210.Thomas Frayne - 1966 - Journal of Symbolic Logic 31 (3):508-508.
  8.  25
    Grzegorczyk A.. A Theory Without Recursive Models. Bulletin de l'Académie Polonaise des Sciences, Série des Sciences Mathématiques, Astronomiques Et Physiques, Vol. 10 , Pp. 63–69. [REVIEW]Thomas Frayne - 1963 - Journal of Symbolic Logic 28 (1):102-103.
  9.  31
    Gaifman H.. Infinite Boolean Polynomials I. Fundamenta Mathematicae, Vol. 54 , Pp. 229–250. , P. 117.)Hales A. W.. On the Non-Existence of Free Complete Boolean Algebras. Fundamenta Mathematicae, Vol. 54 , Pp. 45–66. [REVIEW]Thomas Frayne - 1967 - Journal of Symbolic Logic 32 (1):131-132.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10.  20
    Gaisi Takeuti and Akiko Kino. On Predicates with Constructive Infinitely Long Expressions. Journal of the Mathematical Society of Japan, Vol. 15 , Pp. 176–190. [REVIEW]Thomas Frayne - 1965 - Journal of Symbolic Logic 30 (1):97-98.
  11.  23
    Hasenjaeger G.. On Definability and Derivability. Mathematical Interpretation of Formal Systems, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1955, Pp. 15–25. [REVIEW]Thomas Frayne - 1959 - Journal of Symbolic Logic 24 (2):171-172.
  12.  47
    Jordan P.. Zur Axiomatik der Verknüpfungsbereiche. Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg, vol. 16 , pp. 54–70. [REVIEW]Thomas Frayne - 1958 - Journal of Symbolic Logic 23 (3):361-361.
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  13.  42
    L. Henkin. Some Remarks on Infinitely Long Formulas. Infinitistic Methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2-9 September 1959, Państwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford-London-New York-Paris, 1961, Pp. 167–183. - Carol R. Karp. Independence Proofs in Predicate Logic with Infinitely Long Expressions. The Journal of Symbolic Logic, Vol. 27 No. 2 , Pp. 171–188. [REVIEW]Thomas Frayne - 1965 - Journal of Symbolic Logic 30 (1):96-97.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14.  40
    E. Marczewski. Sur les Congruences Et les Propriétés Positives d'Algèbres Abstraites. Colloquium Mathematicum, Vol. 2 No. 3–4 , Pp. 220–228. - Roger C. Lyndon. Properties Preserved Under Homomorphism. Pacific Journal of Mathematics, Vol. 9 , Pp. 143–154. - Roger C. Lyndon. Properties Preserved in Subdirect Products. Pacific Journal of Mathematics, Vol. 9 , Pp. 155–164. - R. C. Lyndon. Sentences Preserved Under Homomorphisms; Sentences Preserved Under Subdirect Products. Summaries of Talks Presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd Edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, Pp. 122–124. - R. C. Lyndon. Properties Preserved Under Algebraic Constructions. Bulletin of the American Mathematical Society, Vol. 65 , Pp. 287–299. [REVIEW]Thomas Frayne - 1968 - Journal of Symbolic Logic 32 (4):533-534.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15.  24
    Michael Morley and Robert Vaught. Homogeneous Universal Models. Mathematica Scandinavia, Vol. 11 , Pp. 37–57.Thomas Frayne - 1968 - Journal of Symbolic Logic 32 (4):535.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16.  22
    Mihály Makkai. On PCΔ-Classes in the Theory of Models. English with Russian Summary. A Magyar Tudományos Akadémia Matematikai Kutató Intézetének Közleményei, Ser. A, Vol. 9 No. 1–2 , Pp. 159–194. - M. Makkai. Remarks on My Paper “On PCΔ-Classes in the Theory of Models.” English with Russian Summary. A Magyar Tudományos Akadémia Matematikai Kutató Intézetének Közleményei, Ser. A, Vol. 9 No. 3 , Pp. 601–602. [REVIEW]Thomas Frayne - 1971 - Journal of Symbolic Logic 36 (2):335-336.
  17. [Omnibus Review].Thomas Frayne - 1967 - Journal of Symbolic Logic 32 (4):533-534.
  18.  27
    Review: Abraham A. Fraenkel, Set Theory and Logic. [REVIEW]Thomas Frayne - 1969 - Journal of Symbolic Logic 34 (1):112-113.
  19.  19
    Review: A. Grzegorczyk, A Theory Without Recursive Models. [REVIEW]Thomas Frayne - 1963 - Journal of Symbolic Logic 28 (1):102-103.
  20.  26
    Review: Andras Hajnal, On a Consistency Theorem Connected with the Generalized Continuum Problem; A. Hajnal, On a Consistency Theorem Connected with the Generalized Continuum Problem; Azriel Levy, A Generalization of Godel's Notion of Constructibility. [REVIEW]Thomas Frayne - 1967 - Journal of Symbolic Logic 32 (2):271-272.
  21.  17
    Review: Azriel Levy, Axiomatization of Induced Theories. [REVIEW]Thomas Frayne - 1969 - Journal of Symbolic Logic 34 (2):302-302.
  22.  25
    Review: A. Tarski, Remarks on Predicate Logic with Infinitely Long Expressions. [REVIEW]Thomas Frayne - 1965 - Journal of Symbolic Logic 30 (1):94-95.
  23.  21
    Review: Alfred Tarski, Some Problems and Results Relevant to the Foundations of Set Theory; W. Hanf, Incompactness in Languages with Infinitely Long Expressions. [REVIEW]Thomas Frayne - 1965 - Journal of Symbolic Logic 30 (1):95-96.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24. Review: Bjarni Jonsson, Universal Relational Systems; B. Jonsson, Homogeneous Universal Relational Systems. [REVIEW]Thomas Frayne - 1967 - Journal of Symbolic Logic 32 (4):534-535.
  25.  37
    R. C. Lyndon. Relation Algebras and Projective Geometry. The Michigan Mathematical Journal, Vol. 8 , Pp. 21–28.Thomas Frayne - 1967 - Journal of Symbolic Logic 32 (2):275-276.
  26. Review: Daniel Lacombe, Sur la Methode Extensive En Metamathematique. [REVIEW]Thomas Frayne - 1967 - Journal of Symbolic Logic 32 (4):531-531.
    Translate
     
     
    Export citation  
     
    Bookmark  
  27.  22
    Review: Donald Monk, On Representable Relation Algebras. [REVIEW]Thomas Frayne - 1966 - Journal of Symbolic Logic 31 (3):508-508.
  28.  25
    Review: Dana Scott, Alfred Tarski, The Sentential Calculus with Infinitely Long Expressions. [REVIEW]Thomas Frayne - 1965 - Journal of Symbolic Logic 30 (1):95-95.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29.  22
    Review: G. Hasenjaeger, On Definability and Derivability. [REVIEW]Thomas Frayne - 1959 - Journal of Symbolic Logic 24 (2):171-172.
  30.  21
    Review: Gaisi Takeuti, Akiko Kino, On Predicates with Constructive Infinitely Long Expressions. [REVIEW]Thomas Frayne - 1965 - Journal of Symbolic Logic 30 (1):97-98.
  31. Review: H. Gaifman, Infinite Boolean Polynomials I; A. W. Hales, On the Non-Existence of Free Complete Boolean Algebras. [REVIEW]Thomas Frayne - 1967 - Journal of Symbolic Logic 32 (1):131-132.
  32.  2
    Review: Juliusz Reichbach, Some Definition of the Proper Prime Ideal. [REVIEW]Thomas Frayne - 1959 - Journal of Symbolic Logic 24 (3):243-243.
  33.  21
    Reichbach Juliusz. Some Definition of the Proper Prime Ideal. Riveon Lematematika, Vol. 13 , Pp. 29–31.Thomas Frayne - 1959 - Journal of Symbolic Logic 24 (3):243-243.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  34.  22
    Review: L. Henkin, Some Remarks on Infinitely Long Formulas; Carol R. Karp, Independence Proofs in Predicate Logic with Infinitely Long Expressions. [REVIEW]Thomas Frayne - 1965 - Journal of Symbolic Logic 30 (1):96-97.
  35. Review: Michael Morley, Robert Vaught, Homogeneous Universal Models. [REVIEW]Thomas Frayne - 1967 - Journal of Symbolic Logic 32 (4):535-535.
  36.  24
    Review: M. Makkai, On $PC{Triangle}$-Classes in the Theory of Models; M. Makkai, Remarks on My Paper "On $PC{Triangle}$-Classes in the Theory of Models". [REVIEW]Thomas Frayne - 1971 - Journal of Symbolic Logic 36 (2):335-336.
  37. Review: Michael O. Rabin, Arithmetical Extensions with Prescribed Cardinality. [REVIEW]Thomas Frayne - 1960 - Journal of Symbolic Logic 25 (2):169-169.
  38.  18
    Rabin Michael O.. Arithmetical Extensions with Prescribed Cardinality. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, Series A, Vol. 62 , Pp. 439–446; Also Indagationes Mathematicae, Vol. 21 , Pp. 439–446. [REVIEW]Thomas Frayne - 1960 - Journal of Symbolic Logic 25 (2):169-169.
  39.  22
    Review: R. C. Lyndon, Relation Algebras and Projective Geometry. [REVIEW]Thomas Frayne - 1967 - Journal of Symbolic Logic 32 (2):275-276.
  40. Review: Robert Vaught, The Elementary Character of Two Notions From General Algebra. [REVIEW]Thomas Frayne - 1965 - Journal of Symbolic Logic 30 (2):252-253.
  41.  41
    Robert Vaught. The Elementary Character of Two Notions From General Algebra. Essays on the Foundations of Mathematics, Dedicated to A. A. Fraenkel on His Seventieth Anniversary, Edited by Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, and A. Robinson for The Hebrew University of Jerusalem, Magnes Press, Jerusalem 1961, and North-Holland Publishing Company, Amsterdam1962, Pp. 226–233. [REVIEW]Thomas Frayne - 1965 - Journal of Symbolic Logic 30 (2):252-253.
  42.  31
    Review: Wanda Szmielew, Some Metamathematical Problems Concerning Elementary Hyperbolic Geometry. [REVIEW]Thomas Frayne - 1962 - Journal of Symbolic Logic 27 (2):237-238.
  43.  24
    Review: W. Szmielew, Absolute Calculus of Segments and its Metamathematical Implications. [REVIEW]Thomas Frayne - 1962 - Journal of Symbolic Logic 27 (2):238-238.
  44.  20
    Review: Wanda Szmielew, New Foundations of Absolute Geometry. [REVIEW]Thomas Frayne - 1972 - Journal of Symbolic Logic 37 (1):201-201.
  45.  27
    Szmielew W.. Absolute Calculus of Segments and its Metamathematical Implications. Bulletin de l'Académie Polonaise des Sciences, Série des Sciences Mathématiques, Astronomiques Et Physiques, Vol. 7 No. 4 , Pp. 213–220. [REVIEW]Thomas Frayne - 1962 - Journal of Symbolic Logic 27 (2):238-238.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46.  35
    Szmielew Wanda. Some Metamathematical Problems Concerning Elementary Hyperbolic Geometry. The Axiomatic Method with Special Reference to Geometry and Physics, Proceedings of an International Symposium Held at the University of California, Berkeley, December 26, 1957-January 4, 1958. Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1959, Pp. 30–52. [REVIEW]Thomas Frayne - 1962 - Journal of Symbolic Logic 27 (2):237-238.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  47.  66
    Scott D. And Tarski A.. The Sentential Calculus with Infinitely Long Expressions. Colloquium Mathematicum, Vol. 6 , Pp. 165–170.Scott Dana and Tarski Alfred. The Sentential Calculus with Infinitely Long Expressions. Summaries of Talks Presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd Edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, Pp. 83–89. [REVIEW]Thomas Frayne - 1965 - Journal of Symbolic Logic 30 (1):94-95.
  48.  27
    Wanda Szmielew. New Foundations of Absolute Geometry. Logic, Methodology and Philosophy of Science, Proceedings of the 1960 International Congress, Edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, Pp. 168–175. [REVIEW]Thomas Frayne - 1972 - Journal of Symbolic Logic 37 (1):201.