- Fraenkel's axiom of restriction: Axiom choice, intended models and categoricity.Georg Schiemer - 2010 - In Benedikt Löwe & Thomas Müller (eds.), PhiMSAMP: philosophy of mathematics: sociological aspsects and mathematical practice. London: College Publications. pp. 307{340.details
|
|
Philosophy in Reality: Scientific Discovery and Logical Recovery.Joseph E. Brenner & Abir U. Igamberdiev - 2019 - Philosophies 4 (2):22.details
|
|
Introduction to Axiomatic Set Theory.Jean-Louis Krivine - 1971 - Dordrecht, Netherland: Springer.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
|
|
Отвъд машината на Тюринг: квантовият компютър.Vasil Penchev - 2014 - Sofia: BAS: ISSK (IPS).details
|
|
Философия на квантовата информация.Vasil Penchev - 2009 - Sofia: BAS: IPhR.details
|
|
Vers une analyse sémiotique de la théorie des ensembles : hiérarchies et réflexivité.Alain Herreman - 2005 - Philosophia Scientiae 9 (2):165-187.details
|
|
Über Die Gültigkeit Des Fundierungsaxioms in Speziellen Systemen Der Mengentheorie.Petr Vopênka & Petr Hájek - 1963 - Mathematical Logic Quarterly 9 (12‐15):235-241.details
|
|
Über Die Gültigkeit Des Fundierungsaxioms in Speziellen Systemen Der Mengentheorie.Petr Vopênka & Petr Hájek - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (12-15):235-241.details
|
|
Reviews. [REVIEW]W. von Leyden - 1975 - British Journal for the Philosophy of Science 26 (2):174-180.details
|
|
A Relativization of Axioms of Strong Infinity to ^|^omega;1.Gaisi Takeuti - 1970 - Annals of the Japan Association for Philosophy of Science 3 (5):191-204.details
|
|
Towards a unified framework for developing ethical and practical Turing tests.Balaji Srinivasan & Kushal Shah - 2019 - AI and Society 34 (1):145-152.details
|
|
Coanalytic ultrafilter bases.Jonathan Schilhan - 2022 - Archive for Mathematical Logic 61 (3-4):567-581.details
|
|
Ackermann's set theory equals ZF.William N. Reinhardt - 1970 - Annals of Mathematical Logic 2 (2):189.details
|
|
Supervaluational anti-realism and logic.Stig Alstrup Rasmussen - 1990 - Synthese 84 (1):97 - 138.details
|
|
Plural descriptions and many-valued functions.Alex Oliver & Timothy Smiley - 2005 - Mind 114 (456):1039-1068.details
|
|
Recombination unbound.Daniel Nolan - 1996 - Philosophical Studies 84 (2-3):239-262.details
|
|
A metalogical theory of natural language semantics.Michael Mccord & Arendse Bernth - 2004 - Linguistics and Philosophy 28 (1):73 - 116.details
|
|
Internal cohen extensions.D. A. Martin & R. M. Solovay - 1970 - Annals of Mathematical Logic 2 (2):143-178.details
|
|
Alan Turing and the origins of complexity.Miguel Angel Martin-Delgado - 2013 - Arbor 189 (764):a083.details
|
|
Constructive Methods of Numeration.Arthur H. Kruse - 1962 - Mathematical Logic Quarterly 8 (1):57-70.details
|
|
Constructive Methods of Numeration.Arthur H. Kruse - 1962 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 8 (1):57-70.details
|
|
Die Relative Konsistenz Axiomatischer Mengentheorien.Martin Kühnrich - 1968 - Mathematical Logic Quarterly 14 (1-5):1-38.details
|
|
Tools, Objects, and Chimeras: Connes on the Role of Hyperreals in Mathematics.Vladimir Kanovei, Mikhail G. Katz & Thomas Mormann - 2013 - Foundations of Science 18 (2):259-296.details
|
|
The mathematical development of set theory from Cantor to Cohen.Akihiro Kanamori - 1996 - Bulletin of Symbolic Logic 2 (1):1-71.details
|
|
Levy and set theory.Akihiro Kanamori - 2006 - Annals of Pure and Applied Logic 140 (1):233-252.details
|
|
Non-Measurability, Imprecise Credences, and Imprecise Chances.Yoaav Isaacs, Alan Hájek & John Hawthorne - 2021 - Mind 131 (523):892-916.details
|
|
The consistency strength of projective absoluteness.Kai Hauser - 1995 - Annals of Pure and Applied Logic 74 (3):245-295.details
|
|
Mathematics, the empirical facts, and logical necessity.John C. Harsanyi - 1983 - Erkenntnis 19 (1-3):167 - 192.details
|
|
Reviews. [REVIEW]M. F. Hallett - 1975 - British Journal for the Philosophy of Science 26 (2):170-174.details
|
|
Gödel on Concepts.Gabriella Crocco - 2006 - History and Philosophy of Logic 27 (2):171-191.details
|
|
Mathematics and Set Theory:数学と集合論.Sakaé Fuchino - 2018 - Journal of the Japan Association for Philosophy of Science 46 (1):33-47.details
|
|
Les axiomatiques sont‐elles un jeu?Par Roland Fraïssé - 1978 - Dialectica 32 (3‐4):229-244.details
|
|
Richard Tieszen. After Gödel. Platonism and Rationalism in Mathematics and Logic.Dagfinn Føllesdal - 2016 - Philosophia Mathematica 24 (3):405-421.details
|
|
The Road to Modern Logic—An Interpretation.José Ferreirós - 2001 - Bulletin of Symbolic Logic 7 (4):441-484.details
|
|
Against the iterative conception of set.Edward Ferrier - 2019 - Philosophical Studies 176 (10):2681-2703.details
|
|
Working foundations.Solomon Feferman - 1985 - Synthese 62 (2):229 - 254.details
|
|
Reasoning about partial functions with the aid of a computer.William M. Farmer - 1995 - Erkenntnis 43 (3):279 - 294.details
|
|
Modal Pluralism and Higher‐Order Logic.Justin Clarke-Doane & William McCarthy - 2022 - Philosophical Perspectives 36 (1):31-58.details
|
|
The conceptual foundations and the philosophical aspects of renormalization theory.Tian Yu Cao & Silvan S. Schweber - 1993 - Synthese 97 (1):33 - 108.details
|
|
Formules Σ1 en Théorie des Ensembles Sans Axiome de Fondement.Maurice Boffa - 1972 - Mathematical Logic Quarterly 18 (4‐6):93-96.details
|
|
Formules Σ1 en Théorie des Ensembles Sans Axiome de Fondement.Maurice Boffa - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (4-6):93-96.details
|
|
Graphes Extensionnels et Axiome D'universalité.Par Maurice Boffa - 1968 - Mathematical Logic Quarterly 14 (21‐24):329-334.details
|
|
Graphes Extensionnels et Axiome D'universalité.Par Maurice Boffa - 1968 - Mathematical Logic Quarterly 14 (21-24):329-334.details
|
|
Generic extensions and elementary embeddings.Claes Åberg - 1975 - Theoria 41 (2):96-104.details
|
|
What's in a function?Gian Aldo Antonelli - 1996 - Synthese 107 (2):167 - 204.details
|
|
Ramseyfication and structural realism.Elie G. Zahar - 2004 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 19 (1):5-30.details
|
|
The axiom of choice.John L. Bell - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Individuals enough for classes.Daniel Nolan - 2004details
|
|
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
|
|