- The axiom of choice.John L. Bell - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Mathematics as a quasi-empirical science.Gianluigi Oliveri - 2004 - Foundations of Science 11 (1-2):41-79.details
|
|
Mental representation.Hartry Field - 1978 - Erkenntnis 13 (July):9-61.details
|
|
Cantor, Choice, and Paradox.Nicholas DiBella - forthcoming - The Philosophical Review.details
|
|
The Banach-Tarski Paradox.Ulrich Meyer - forthcoming - Logique Et Analyse.details
|
|
Jacob's Ladder and Scientific Ontologies.Julio Michael Stern - 2014 - Cybernetics and Human Knowing 21 (3):9-43.details
|
|
Ontology, Set Theory, and the Paraphrase Challenge.Jared Warren - 2021 - Journal of Philosophical Logic 50 (6):1231-1248.details
|
|
Time and Information in the Foundations of Physics.Vasil Penchev - 2020 - Information Theory and Research eJournal (Elsevier: SSRN) 1 (25):1-12.details
|
|
The strength of de Finetti’s coherence theorem.Michael Nielsen - 2020 - Synthese 198 (12):11713-11724.details
|
|
Time: From the Totality to Quantum Information.Vasil Penchev - 2020 - Philosophy of Science eJournal (Elsevier: SSRN) 13 (24):1-14.details
|
|
Beyond the metrological viewpoint.Jean Baccelli - 2020 - Studies in History and Philosophy of Science Part A 1:56-61.details
|
|
Extending Independent Sets to Bases and the Axiom of Choice.Kyriakos Keremedis - 1998 - Mathematical Logic Quarterly 44 (1):92-98.details
|
|
Long Borel hierarchies.Arnold W. Miller - 2008 - Mathematical Logic Quarterly 54 (3):307-322.details
|
|
Labelling classes by sets.M. Victoria Marshall & M. Gloria Schwarze - 2005 - Archive for Mathematical Logic 44 (2):219-226.details
|
|
Some Aspects and Examples of Infinity Notions.J. W. Degen - 1994 - Mathematical Logic Quarterly 40 (1):111-124.details
|
|
Some consequences of Rado’s selection lemma.Marianne Morillon - 2012 - Archive for Mathematical Logic 51 (7-8):739-749.details
|
|
(1 other version)A completeness theorem for unrestricted first- order languages.Agustin Rayo & Timothy Williamson - 2003 - In J. C. Beall (ed.), Liars and heaps: new essays on paradox. New York: Oxford University Press.details
|
|
Iterated Descriptor Revision and the Logic of Ramsey Test Conditionals.Sven Ove Hansson - 2016 - Journal of Philosophical Logic 45 (4):429-450.details
|
|
Generating sets of free groups and the axiom of choice.Philipp Kleppmann - 2014 - Mathematical Logic Quarterly 60 (3):239-241.details
|
|
The Axiom of Choice in Quantum Theory.Norbert Brunner, Karl Svozil & Matthias Baaz - 1996 - Mathematical Logic Quarterly 42 (1):319-340.details
|
|
Disjoint Unions of Topological Spaces and Choice.Paul Howard, Kyriakos Keremedis, Herman Rubin & Jean E. Rubin - 1998 - Mathematical Logic Quarterly 44 (4):493-508.details
|
|
The theorem of the means for cardinal and ordinal numbers.George Rousseau - 1993 - Mathematical Logic Quarterly 39 (1):279-286.details
|
|
A dedekind finite borel set.Arnold W. Miller - 2011 - Archive for Mathematical Logic 50 (1-2):1-17.details
|
|
O nadużywaniu twierdzenia Gödla w sporach filozoficznych.Krzysztof Wójtowicz - 1996 - Zagadnienia Filozoficzne W Nauce 19.details
|
|
Some restricted lindenbaum theorems equivalent to the axiom of choice.David W. Miller - 2007 - Logica Universalis 1 (1):183-199.details
|
|
Hierarchies For Non-founded Models Of Set Theory. Von Michael & M. Von Rimscha - 1983 - Mathematical Logic Quarterly 29 (4):253-288.details
|
|
(1 other version)Lattice Theoretical Equivalences of the Ultrafilter Principle.Yehuda Rav - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (2):131-136.details
|
|
(1 other version)There Can Be a Permutation Which Is Not The Product of Two Reflections.J. W. Degen - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (1):65-66.details
|
|
(1 other version)A-Minimal Lattices.John L. Hickman - 1980 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 26 (10-12):181-191.details
|
|
Kategoriesätze und multiples auswahlaxiom.Norbert Brunner - 1983 - Mathematical Logic Quarterly 29 (8):435-443.details
|
|
Is unsaying polite?Berislav Žarnić - 2011 - In Majda Trobok, Nenad Miščević & Berislav Žarnić (eds.), Between Logic and Reality: Modeling Inference, Action and Understanding. Dordrecht and New York: Springer. pp. 201--224.details
|
|
Key notions of Tarski's methodology of deductive systems.Janusz Czelakowski & Grzegorz Malinowski - 1985 - Studia Logica 44 (4):321 - 351.details
|
|
The Philosophical Impact of the Löwenheim-Skolem Theorem.Miloš Arsenijević - 2011 - In Majda Trobok, Nenad Miščević & Berislav Žarnić (eds.), Between Logic and Reality: Modeling Inference, Action and Understanding. Dordrecht and New York: Springer. pp. 59--81.details
|
|
(1 other version)A model of ZF + there exists an inaccessible, in which the dedekind cardinals constitute a natural non-standard model of arithmetic.Gershon Sageev - 1981 - Annals of Mathematical Logic 21 (2-3):221-281.details
|
|
(1 other version)Ω‐konservativität der nonstandardmengenlehre Von Nelson bezüglich zf + kompaktheitssatz.Hans Walter Buff - 1984 - Mathematical Logic Quarterly 30 (9‐11):133-144.details
|
|
(1 other version)On a Remark by Sageev.John L. Hickman - 1979 - Mathematical Logic Quarterly 25 (19‐24):373-374.details
|
|
A model with a measurable which does not carry a normal measure.Eilon Bilinsky & Moti Gitik - 2012 - Archive for Mathematical Logic 51 (7-8):863-876.details
|
|
Strongly Amorphous Sets and Dual Dedekind Infinity.Martin Goldstern - 1997 - Mathematical Logic Quarterly 43 (1):39-44.details
|
|
(1 other version)Products of compact spaces in the least permutation model.Norbert Brunner - 1985 - Mathematical Logic Quarterly 31 (25‐28):441-448.details
|
|
Issues in the foundations of science, I: Languages, structures, and models.Newton C. A. da Costa, Décio Krause & Otávio Bueno - unknowndetails
|
|
Intuitionism in the Philosophy of Mathematics: Introducing a Phenomenological Account.Philipp Berghofer - 2020 - Philosophia Mathematica 28 (2):204-235.details
|
|
A Monoselective Presentation of AGM Revision.Sven Ove Hansson - 2015 - Studia Logica 103 (5):1019-1033.details
|
|
Permutation Models and SVC.Eric J. Hall - 2007 - Notre Dame Journal of Formal Logic 48 (2):229-235.details
|
|
Constructive mathematics.Douglas Bridges - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Boolean universes above Boolean models.Friedrich Wehrung - 1993 - Journal of Symbolic Logic 58 (4):1219-1250.details
|
|
Choice revision.Li Zhang - 2019 - Journal of Logic, Language and Information 28 (4):577-599.details
|
|
Complete topoi representing models of set theory.Andreas Blass & Andre Scedrov - 1992 - Annals of Pure and Applied Logic 57 (1):1-26.details
|
|
The Axiom of Choice in Second‐Order Predicate Logic.Christine Gaßner - 1994 - Mathematical Logic Quarterly 40 (4):533-546.details
|
|
(1 other version)Lattice Theoretical Equivalences of the Ultrafilter Principle.Yehuda Rav - 1989 - Mathematical Logic Quarterly 35 (2):131-136.details
|
|
(1 other version)There Can Be a Permutation Which Is Not The Product of Two Reflections.J. W. Degen - 1988 - Mathematical Logic Quarterly 34 (1):65-66.details
|
|