- Gödel's Functional Interpretation and its Use in Current Mathematics.Ulrich Kohlenbach - 2008 - Dialectica 62 (2):223-267.details
|
|
Maddy On The Multiverse.Claudio Ternullo - 2019 - In Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Springer Verlag. pp. 43-78.details
|
|
Computable Real‐Valued Functions on Recursive Open and Closed Subsets of Euclidean Space.Qing Zhou - 1996 - Mathematical Logic Quarterly 42 (1):379-409.details
|
|
The applicability of mathematics as a scientific and a logical problem.Feng Ye - 2010 - Philosophia Mathematica 18 (2):144-165.details
|
|
Nonstandard analysis and constructivism?Frank Wattenberg - 1988 - Studia Logica 47 (3):303 - 309.details
|
|
On the foundations of constructive mathematics – especially in relation to the theory of continuous functions.Frank Waaldijk - 2004 - Foundations of Science 10 (3):249-324.details
|
|
The fine structure of the intuitionistic borel hierarchy.Wim Veldman - 2009 - Review of Symbolic Logic 2 (1):30-101.details
|
|
Locatedness and overt sublocales.Bas Spitters - 2010 - Annals of Pure and Applied Logic 162 (1):36-54.details
|
|
Constructive algebraic integration theory.Bas Spitters - 2006 - Annals of Pure and Applied Logic 137 (1-3):380-390.details
|
|
Affine logic for constructive mathematics.Michael Shulman - 2022 - Bulletin of Symbolic Logic 28 (3):327-386.details
|
|
Logical pluralism and normativity.Stewart Shapiro & Teresa Kouri Kissel - 2020 - Inquiry: An Interdisciplinary Journal of Philosophy 63 (3-4):389-410.details
|
|
More on brouwer's refutations.Philip Scowcroft - 1989 - Annals of Pure and Applied Logic 41 (1):83-91.details
|
|
A transfer theorem in constructive real algebra.Philip Scowcroft - 1988 - Annals of Pure and Applied Logic 40 (1):29-87.details
|
|
Too simple solutions of hard problems.Peter M. Schuster - 2010 - Nordic Journal of Philosophical Logic 6 (2):138-146.details
|
|
Countable choice as a questionable uniformity principle.Peter M. Schuster - 2004 - Philosophia Mathematica 12 (2):106-134.details
|
|
Reverse-engineering Reverse Mathematics.Sam Sanders - 2013 - Annals of Pure and Applied Logic 164 (5):528-541.details
|
|
Pluralism and Proofs.Greg Restall - 2014 - Erkenntnis 79 (S2):279-291.details
|
|
Labyrinth of Continua.Patrick Reeder - 2018 - Philosophia Mathematica 26 (1):1-39.details
|
|
Intuitionism As A Kuhnian Revolution In Mathematics.Bruce Pourciau - 2000 - Studies in History and Philosophy of Science Part A 31 (2):297-329.details
|
|
Proof-relevance of families of setoids and identity in type theory.Erik Palmgren - 2012 - Archive for Mathematical Logic 51 (1-2):35-47.details
|
|
Open subspaces of locally compact metric spaces.Mark Mandelkern - 1993 - Mathematical Logic Quarterly 39 (1):213-216.details
|
|
Finitary sequence spaces.Mark Mandelkern - 1993 - Mathematical Logic Quarterly 39 (1):416-430.details
|
|
Constructively Complete Finite Sets.Mark Mandelkern - 1988 - Mathematical Logic Quarterly 34 (2):97-103.details
|
|
Constructively Complete Finite Sets.Mark Mandelkern - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (2):97-103.details
|
|
Why Topology in the Minimalist Foundation Must be Pointfree.Maria Emilia Maietti & Giovanni Sambin - 2013 - Logic and Logical Philosophy 22 (2):167-199.details
|
|
Intuitionistic Mereology II: Overlap and Disjointness.Paolo Maffezioli & Achille C. Varzi - 2023 - Journal of Philosophical Logic 52 (4):1197-1233.details
|
|
Continuum, name and paradox.Vojtěch Kolman - 2010 - Synthese 175 (3):351 - 367.details
|
|
Gödel's functional interpretation and its use in current mathematics.Ulrich Kohlenbach - 2008 - Dialectica 62 (2):223–267.details
|
|
Logical pluralism and normativity.Teresa Kouri Kissel & Stewart Shapiro - 2017 - Inquiry: An Interdisciplinary Journal of Philosophy:1-22.details
|
|
Étude constructive de problèmes de topologie pour les réels irrationnels.Mohamed Khalouani, Salah Labhalla & Et Henri Lombardi - 1999 - Mathematical Logic Quarterly 45 (2):257-288.details
|
|
Toward a Clarity of the Extreme Value Theorem.Karin U. Katz, Mikhail G. Katz & Taras Kudryk - 2014 - Logica Universalis 8 (2):193-214.details
|
|
A Burgessian Critique of Nominalistic Tendencies in Contemporary Mathematics and its Historiography.Karin Usadi Katz & Mikhail G. Katz - 2012 - Foundations of Science 17 (1):51-89.details
|
|
Why do mathematicians re-prove theorems?John W. Dawson Jr - 2006 - Philosophia Mathematica 14 (3):269-286.details
|
|
An omniscience principle, the König Lemma and the Hahn‐Banach theorem.Hajime Ishihara - 1990 - Mathematical Logic Quarterly 36 (3):237-240.details
|
|
An omniscience principle, the König Lemma and the Hahn-Banach theorem.Hajime Ishihara - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (3):237-240.details
|
|
A Real Number Structure that is Effectively Categorical.Peter Hertling - 1999 - Mathematical Logic Quarterly 45 (2):147-182.details
|
|
The intermediate value theorem in constructive mathematics without choice.Matthew Hendtlass - 2012 - Annals of Pure and Applied Logic 163 (8):1050-1056.details
|
|
A transfer theorem in constructive p-adic algebra.Deirdre Haskell - 1992 - Annals of Pure and Applied Logic 58 (1):29-55.details
|
|
Choice Sequences and the Continuum.Casper Storm Hansen - 2020 - Erkenntnis 87 (2):517-534.details
|
|
Choice Sequences and the Continuum.Casper Storm Hansen - 2020 - Erkenntnis 87 (2):517-534.details
|
|
Pluralism in Mathematics: A New Position in Philosophy of Mathematics.Michèle Friend - 2013 - Dordrecht, Netherland: Springer.details
|
|
Domains for computation in mathematics, physics and exact real arithmetic.Abbas Edalat - 1997 - Bulletin of Symbolic Logic 3 (4):401-452.details
|
|
Preservation of choice principles under realizability.Eman Dihoum & Michael Rathjen - 2019 - Logic Journal of the IGPL 27 (5):746-765.details
|
|
The entanglement of logic and set theory, constructively.Laura Crosilla - 2022 - Inquiry: An Interdisciplinary Journal of Philosophy 65 (6).details
|
|
Explanation in Physics: Explanation in Physical Theory.Peter Clark - 1990 - Royal Institute of Philosophy Supplement 27:155-175.details
|
|
Philosophy of Mathematical Practice — Motivations, Themes and Prospects†.Jessica Carter - 2019 - Philosophia Mathematica 27 (1):1-32.details
|
|
Approximating beppo levi’s principio di approssimazione.Riccardo Bruni & Peter Schuster - 2014 - Bulletin of Symbolic Logic 20 (2):141-169.details
|
|
Weak-operator Continuity and the Existence of Adjoints.Douglas Bridges & Luminita Dediu - 1999 - Mathematical Logic Quarterly 45 (2):203-206.details
|
|
Sequential, pointwise, and uniform continuity: A constructive note.Douglas S. Bridges - 1993 - Mathematical Logic Quarterly 39 (1):55-61.details
|
|
Compactness notions for an apartness space.Douglas S. Bridges - 2012 - Archive for Mathematical Logic 51 (5-6):517-534.details
|
|