- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Works by Thomas Frayne
24 found
Order:
- 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.
- 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.
- (1 other version)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.
- [Omnibus Review].Thomas Frayne - 1967 - Journal of Symbolic Logic 32 (4):533-534.Export citation
Bookmark - 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.
- 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.
- 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.
- (1 other version)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.
- 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.
- 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.
- (1 other version)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.
- Azriel Lévy. Axiomatization of induced theories. Proceedings of the American Mathematical Society, vol. 12 (1961), pp. 251–253. [REVIEW]Thomas Frayne - 1969 - Journal of Symbolic Logic 34 (2):302-302.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- (1 other version)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.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-99fc7d78b-58pt2 uwo