- The α-finite injury method.G. E. Sacks & S. G. Simpson - 1972 - Annals of Mathematical Logic 4 (4):343-367.details
|
|
Single-tape and multi-tape Turing machines through the lens of the Grossone methodology.Yaroslav Sergeyev & Alfredo Garro - 2013 - Journal of Supercomputing 65 (2):645-663.details
|
|
(2 other versions)Ramseyfication and structural realism.G. Zahar Elie - 2004 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 19 (1):5-30.details
|
|
(2 other versions)Ramseyfication and structural realism.Elie G. Zahar - 2004 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 19 (1):5-30.details
|
|
On the inherent incompleteness of scientific theories.Jolly Mathen - 2004details
|
|
(1 other version)Reviews. [REVIEW]W. von Leyden - 1975 - British Journal for the Philosophy of Science 26 (2):174-180.details
|
|
Mathematics, the empirical facts, and logical necessity.John C. Harsanyi - 1983 - Erkenntnis 19 (1-3):167 - 192.details
|
|
The liar paradox.Charles Parsons - 1974 - Journal of Philosophical Logic 3 (4):381 - 412.details
|
|
Frege's double correlation thesis and Quine's set theories NF and ML.Nino B. Cocchiarella - 1985 - Journal of Philosophical Logic 14 (1):1 - 39.details
|
|
Developing arithmetic in set theory without infinity: some historical remarks.Charles Parsons - 1987 - History and Philosophy of Logic 8 (2):201-213.details
|
|
Supervaluational anti-realism and logic.Stig Alstrup Rasmussen - 1990 - Synthese 84 (1):97 - 138.details
|
|
Gödel mathematics versus Hilbert mathematics. I. The Gödel incompleteness (1931) statement: axiom or theorem?Vasil Penchev - 2022 - Logic and Philosophy of Mathematics eJournal (Elsevier: SSRN) 14 (9):1-56.details
|
|
Logic, Mathematics, Philosophy, Vintage Enthusiasms: Essays in Honour of John L. Bell.David DeVidi, Michael Hallett & Peter Clark (eds.) - 2011 - Dordrecht, Netherland: Springer.details
|
|
Structural Relativity and Informal Rigour.Neil Barton - 2022 - In Gianluigi Oliveri, Claudio Ternullo & Stefano Boscolo (eds.), Objects, Structures, and Logics, FilMat Studies in the Philosophy of Mathematics. Springer. pp. 133-174.details
|
|
The inscrutability of reference.Robert Williams - 2005 - Dissertation, University of St Andrewsdetails
|
|
Towards a unified framework for developing ethical and practical Turing tests.Balaji Srinivasan & Kushal Shah - 2019 - AI and Society 34 (1):145-152.details
|
|
On a Family of Models of Zermelo-Fraenkel Set Theory.Bruno Scarpellini - 1966 - Mathematical Logic Quarterly 12 (1):191-204.details
|
|
Modal Platonism: an Easy Way to Avoid Ontological Commitment to Abstract Entities.Joel I. Friedman - 2005 - Journal of Philosophical Logic 34 (3):227-273.details
|
|
Register computations on ordinals.Peter Koepke & Ryan Siders - 2008 - Archive for Mathematical Logic 47 (6):529-548.details
|
|
(1 other version)Reviews. [REVIEW]M. F. Hallett - 1975 - British Journal for the Philosophy of Science 26 (2):170-174.details
|
|
Working foundations.Solomon Feferman - 1985 - Synthese 62 (2):229 - 254.details
|
|
A metalogical theory of natural language semantics.Michael Mccord & Arendse Bernth - 2004 - Linguistics and Philosophy 28 (1):73 - 116.details
|
|
Set‐Theories as Algebras.Paul Fjelstad - 1968 - Mathematical Logic Quarterly 14 (25-29):383-411.details
|
|
(1 other version)The Representation of Cardinals in Models of Set Theory.Erik Ellentuck - 1968 - Mathematical Logic Quarterly 14 (7-12):143-158.details
|
|
(1 other version)A Model for Urelements.N. C. K. Phillips - 1968 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 14 (19):303-304.details
|
|
Truth in all of certain well‐founded countable models arising in set theory.John W. Rosenthal - 1975 - Mathematical Logic Quarterly 21 (1):97-106.details
|
|
(1 other version)A Model for Urelements.N. C. K. Phillips - 1968 - Mathematical Logic Quarterly 14 (19):303-304.details
|
|
Non-Measurability, Imprecise Credences, and Imprecise Chances.Yoaav Isaacs, Alan Hájek & John Hawthorne - 2021 - Mind 131 (523):892-916.details
|
|
Second order arithmetic and related topics.K. R. Apt & W. Marek - 1974 - Annals of Mathematical Logic 6 (3):177.details
|
|
The conceptual foundations and the philosophical aspects of renormalization theory.Tian Yu Cao & Silvan S. Schweber - 1993 - Synthese 97 (1):33 - 108.details
|
|
Some Notions of Random Sequence and Their Set-Theoretic Foundations.Arthur H. Kruse - 1967 - Mathematical Logic Quarterly 13 (19-20):299-322.details
|
|
(2 other versions)Ramseyfication and structural realism.Elie G. Zahar - 2010 - Theoria 19 (1):5-30.details
|
|
(1 other version)The Representation of Cardinals in Models of Set Theory.Erik Ellentuck - 1968 - Mathematical Logic Quarterly 14 (7‐12):143-158.details
|
|
Horn sentences.Fred Galvin - 1970 - Annals of Mathematical Logic 1 (4):389.details
|
|