added 20200815 Informal and Formal Proofs, Metalogic, and the Groundedness Problem.Mario Bacelar Valente  manuscriptdetails
added 20200815 Impact of (SARSCoV2) COVID 19 on the Five Main Indigenous LanguageSpeaking Areas in Veracruz Mexico: The Case of the Otomi of the Ixhuatlan de Madero Area.Carlos MedelRamírez & Hilario MedelLópez  manuscriptdetails
added 20200713 Paradox with Just SelfReference.T. Parent  manuscriptdetails
added 20200706 Dependent Choice, Properness, and Generic Absoluteness.David Asperó & Asaf Karagila  forthcoming  Review of Symbolic Logic:123.details
added 20200706 How Much Propositional Logic Suffices for Rosser’s Essential Undecidability Theorem?Guillermo Badia, Petr Cintula, Petr Hájek & Andrew Tedder  forthcoming  Review of Symbolic Logic:117.details
added 20200706 FilterLinkedness and its Effect on Preservation of Cardinal Characteristics.Jörg Brendle, Miguel A. Cardona & Diego A. Mejía  2021  Annals of Pure and Applied Logic 172 (1):102856.details
added 20200706 ˜Divisibility of Ultrafilters.Boris Šobot  2021  Annals of Pure and Applied Logic 172 (1):102857.details
added 20200706 Jerome Keisler H.. A Survey of Ultraproducts. Logic, Methodology and Philosophy of Science, Proceedings of the 1964 International Congress, Edited by BarHillel Yehoshua, Studies in Logic and the Foundations of Mathematics, NorthHolland Publishing Company, Amsterdam 1965, Pp. 112–126. [REVIEW]James R. Geiser  1970  Journal of Symbolic Logic 35 (4):585.details
added 20200706 Mostowski Andrzej. On Various Degrees of Constructivism. Constructivity in Mathematics, Proceedings of the Colloquium Held at Amsterdam, 1957, Edited by Heyting A., Studies in Logic and the Foundations of Mathematics, NorthHolland Publishing Company, Amsterdam 1959, Pp. 178–194. [REVIEW]George S. Boolos  1970  Journal of Symbolic Logic 35 (4):575576.details
added 20200702 Forcing and the Universe of Sets: Must We Lose Insight?Neil Barton  2020  Journal of Philosophical Logic 49 (4):575612.details
added 20200626 W. A. J. Luxemburg. A General Theory of Monads. Applications of Model Theory to Algebra, Analysis, and Probability, Edited by W. A. J. Luxemburg, Holt, Rinehart and Winston, New York, Chicago, San Francisco, Atlanta, Dallas, Montreal, Toronto, London, and Sidney, 1969, Pp. 18–86. [REVIEW]Louis Narens  1971  Journal of Symbolic Logic 36 (3):541542.details
added 20200626 Rabin Michael O.. A Simple Method for Undecidability Proofs and Some Applications. Logic, Methodology and Philosophy of Science, Proceedings of the 1964 International Congress, Edited by BarHillel Yehoshua, Studies in Logic and the Foundations of Mathematics, NorthHolland Publishing Company, Amsterdam 1965, Pp. 38–68. [REVIEW]William Hanf  1971  Journal of Symbolic Logic 36 (1):150.details
added 20200626 L. Novak Gál. A Note on Direct Products. The Journal of Symbolic Logic, Vol. 23 No. 1 , Pp. 1–6.G. Hasenjaeger  1971  Journal of Symbolic Logic 36 (3):541.details
added 20200625 Arthur Pap. Extensionality, Attributes, and Classes. Philosophical Studies , Vol. 9 , Pp. 42–46.Perry Smith  1971  Journal of Symbolic Logic 36 (4):675.details
added 20200625 Gerson B. Robison. An Introduction to Mathematical Logic. PrenticeHall, Inc., Engle Wood Cliffs, N.J., 1969, Xii + 212 Pp. [REVIEW]William E. Gould  1971  Journal of Symbolic Logic 36 (4):679.details
added 20200625 A. Heyting. After Thirty Years. 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, California, 1962, Pp. 194–197. [REVIEW]O. Chateaubriand  1971  Journal of Symbolic Logic 36 (4):674.details
added 20200625 Thoralf A. Skolem. Abstract Set Theory. Notre Dame Mathematical Lectures, No. 8, University of Notre Dame, Notre Dame, Indiana, 1962, V + 70 Pp. [REVIEW]Perry Smith  1971  Journal of Symbolic Logic 36 (4):680.details
added 20200623 Julia Robinson. The Undecidability of Exponential Diophantine Equations. 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. 12–13. [REVIEW]Hartley Rogers  1970  Journal of Symbolic Logic 35 (1):152.details
added 20200623 Satoko Titani. An Algebraic Formulation of CutElimination Theorem. Journal of the Mathematical Society of Japan, Vol. 17 , Pp. 72–83. [REVIEW]MotoO. Takahashi  1970  Journal of Symbolic Logic 35 (1):145146.details
added 20200623 M. H. Löb. Concatenation as Basis for a Complete System of Arithmetic. The Journal of Symbolic Logic, Vol. 18 , Pp. 1–6.  M. H. Löb. Formal Systems of Constructive Mathematics. The Journal of Symbolic Logic, Vol. 21 , Pp. 63–75. [REVIEW]Charles Parsons  1970  Journal of Symbolic Logic 35 (1):150150.details
added 20200623 L. J. Heider. Prime Dual Ideals in Boolean Algebras. Canadian Journal of Mathematics, Vol. 11 , Pp. 397–408.Robert LaGrange  1969  Journal of Symbolic Logic 33 (4):624.details
added 20200623 G. Kreisel and J. L. Krivine. Elements of Mathematical Logic. . NorthHolland Publishing Company, Amsterdam1967, Xi + 222 Pp. [REVIEW]C. C. Chang  1969  Journal of Symbolic Logic 34 (1):112.details
added 20200623 P. M. Cohn. Universal Algebra. Harper & Row, Publishers, New York, Evanston, and London, 1965, Xv + 333 Pp. [REVIEW]Abraham Robinson  1969  Journal of Symbolic Logic 34 (1):113114.details
added 20200623 Roger C. Lyndon. Metamathematics and Algebra: An Example. Logic, Methodology and Philosophy of Science, Proceedings of the 1960 International Congress, Edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford1962, Pp. 143–150. [REVIEW]Arnold Oberschelp  1969  Journal of Symbolic Logic 34 (4):653.details
added 20200623 J. R. Shoenfield. The Problem of Predicativity. Essays on the Foundations of Mathematics, Dedicated to A. A. Fraenkel on His Seventieth Anniversary, Edited by Y. BarHillel, E. I. J. Poznanski, M. O. Rabin, and A. Robinson for The Hebrew University of Jerusalem, Magnes Press, Jerusalem1961, and NorthHolland Publishing Company, Amsterdam 1962, Pp. 132–139. [REVIEW]George S. Boolos  1969  Journal of Symbolic Logic 34 (3):515.details
added 20200621 Metrically Homogeneous Graphs of Diameter 3.Daniela A. Amato, Gregory Cherlin & H. Dugald Macpherson  forthcoming  Journal of Mathematical Logic:2050020.details
added 20200621 Gustav Hensel and Hilary Putnam. On the Notational Independence of Various Hierarchies of Degrees of Unsolvability. The Journal of Symbolic Logic, Vol. 30 , Pp. 69–86.Ylannis N. Moschovakis  1967  Journal of Symbolic Logic 32 (1):124125.details
added 20200621 G. Kreisel, J. Shoenfield, and Hao Wang. Number Theoretic Concepts and Recursive WellOrderings. Archiv Für Mathematische Logik Und Grundlagenforschung, Vol. 5 , Pp. 42–64. [REVIEW]Ann M. Singleterry  1966  Journal of Symbolic Logic 31 (3):511512.details
added 20200621 Hartley RogersJr., The Present Theory of Turing Machine Computability. Journal of the Society for Industrial and Applied Mathematics, Vol. 7 , Pp. 114–130. [REVIEW]C. E. M. Yates  1966  Journal of Symbolic Logic 31 (3):513513.details
added 20200621 John Myhill. Recursive Equivalence Types and Combinatorial Functions. 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. 46–55. [REVIEW]J. C. E. Dekker  1966  Journal of Symbolic Logic 31 (3):510511.details
added 20200621 K. I. Appel. Horn Sentences in Identity Theory. The Journal of Symbolic Logic, Vol. 24 No. 4 , Pp. 306–310.H. Jerome Keisler  1966  Journal of Symbolic Logic 31 (1):131132.details
added 20200621 A. H. Lightstone. The Axiomatic Method. An Introduction to Mathematical Logic.PrenticeHall, Inc., Englewood Cliffs, N.J., 1964, X + 246 Pp. [REVIEW]Peter Andrews  1966  Journal of Symbolic Logic 31 (1):106108.details
added 20200619 Georg Kreisel. Mathematical Logic. Lectures on Modern Mathematics, Vol. 3, Edited by T. L. Saaty, John Wiley & Sons, Inc., New York, London, and Sydney, 1965, Pp. 95–195. [REVIEW]R. E. Vesley  1967  Journal of Symbolic Logic 32 (3):419420.details
added 20200619 Helena Rasiowa and Roman Sikorski. The Mathematics of Metamathematics. Monografie Matematyczne, Vol. 41. Państwowe Wydawnictwo Naukowe, Warsaw1963, 519 Pp. [REVIEW]Donald Monk  1967  Journal of Symbolic Logic 32 (2):274275.details
added 20200617 Erwin Engeler. A ReductionPrinciple for Infinite Formulas. Mathematische Annalen, Vol. 151 , Pp. 296–301.Carol Karp  1968  Journal of Symbolic Logic 33 (1):123.details
added 20200617 Patrick Suppes and Shirley Hill. First Course in Mathematical Logic. Blaisdell Publishing Company, New York, Toronto, and London, 1964, Ix + 274 Pp. [REVIEW]Ann M. Singleterry  1967  Journal of Symbolic Logic 32 (3):421422.details
added 20200617 Patrick Suppes. Mathematical Logic for the Schools. The Arithmetic Teacher, Vol. 9 , Pp. 396–399.  Patrick Suppes and Frederick Binford. Experimental Teaching of Mathematical Logic in the Elementary School. The Arithmetic Teacher, Vol. 12 , Pp. 187–195. [REVIEW]Ann M. Singleterry  1967  Journal of Symbolic Logic 32 (3):422.details
added 20200617 Raymond M. Smullyan. Theory of Formal Systems. Annals of Mathematics Studies, No. 47. Princeton University Press, Princeton1961, Xi + 142 Pp.  Raymond M. Smullyan. Theory of Formal Systems. Revised Edition. Annals of Mathematics Studies, No. 47. Princeton University Press, Princeton1961, Xi + 147 Pp. [REVIEW]Marian Boykan PourEl  1965  Journal of Symbolic Logic 30 (1):8890.details
added 20200617 Hao Wang. Certain Predicates Defined by Induction Schemata. The Journal of Symbolic Logic, Vol. 18 , Pp. 49–59. Reprinted in A Survey of Mathematical Logic, by Hao Wang, Studies in Logic and the Foundations of Mathematics, Science Press, Peking, and NorthHolland Publishing Company, Amsterdam, 1963, Pp. 535–545. [REVIEW]Steven Orey  1965  Journal of Symbolic Logic 30 (1):99100.details
added 20200617 Leon Henkin, W. Norman Smith, Verne J. Varineau, Michael J. Walsh. Retracing Elementary Mathematics. The Macmillan Company, New York1962, Xviii + 418 Pp. [REVIEW]Theodore Hailperin  1964  Journal of Symbolic Logic 29 (4):209.details
added 20200616 Abraham Robinson. Introduction to Model Theory and to the Metamathematics of Algebra. Studies in Logic and the Foundations of Mathematics. NorthHolland Publishing Company, Amsterdam1963, IX + 284 Pp. [REVIEW]Carol R. Karp  1964  Journal of Symbolic Logic 29 (1):56.details
added 20200616 R. O. Gandy. On a Problem of Kleene's. Bulletin of the American Mathematical Society, Vol. 66 , Pp. 501–502.Wayne Richter  1964  Journal of Symbolic Logic 29 (2):104.details
added 20200616 Willard Van Orman Quine. Mathematical Logic. Revised Edition. Harper Torchbooks. The Science Library. Harper & Row, New York and Evanston1962, Xii + 346 Pp. [REVIEW]Frederic B. Fitch  1964  Journal of Symbolic Logic 29 (2):92.details
added 20200616 Norwood Russell Hanson. A Note on the Gödel Theorem. Notre Dame Journal of Formal Logic, Vol. 2 , P. 228.Alonzo Church  1963  Journal of Symbolic Logic 28 (4):295.details
added 20200610 On Representations of Intended Structures in Foundational Theories.Neil Barton, Moritz Müller & Mihai Prunescu  manuscriptdetails
added 20200601 Notice of Retraction: Pseudofinite Difference Field.Tingxiang Zou  forthcoming  Journal of Mathematical Logic:1993001.details
added 20200601 Double Negation Semantics for Generalisations of Heyting Algebras.Rob Arthan & Paulo Oliva  forthcoming  Studia Logica:125.details
added 20200601 Structure and Representation of Semimodules Over Inclines.Ruiqi Bai & Yichuan Yang  2020  Annals of Pure and Applied Logic 171 (10):102844.details
added 20200601 Satisfiability is False Intuitionistically: A Question from Dana Scott.Charles McCarty  2020  Studia Logica 108 (4):803813.details
added 20200601 The FAN Principle and Weak König's Lemma in Herbrandized SecondOrder Arithmetic.Fernando Ferreira  2020  Annals of Pure and Applied Logic 171 (9):102843.details

Offcampus access
Using PhilPapers from home?
Create an account to enable offcampus access through your institution's proxy server.
Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:
Email

RSS feed

