- Hilbert’s Program.Richard Zach - 2012 - In Ed Zalta (ed.), Stanford Encyclopedia of Philosophy. Stanford, CA: Stanford Encyclopedia of Philosophy.details
|
|
From absolute to local mathematics.J. L. Bell - 1986 - Synthese 69 (3):409 - 426.details
|
|
Why a Little Bit Goes a Long Way: Logical Foundations of Scientifically Applicable Mathematics.Solomon Feferman - 1992 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1992:442 - 455.details
|
|
Number theory and elementary arithmetic.Jeremy Avigad - 2003 - Philosophia Mathematica 11 (3):257-284.details
|
|
How subtle is Gödel's theorem? More on Roger Penrose.Martin Davis - 1993 - Behavioral and Brain Sciences 16 (3):611-612.details
|
|
Pi on Earth, or Mathematics in the Real World.Bart Van Kerkhove & Jean Paul Van Bendegem - 2008 - Erkenntnis 68 (3):421-435.details
|
|
Random World and Quantum Mechanics.Jerzy Król, Krzysztof Bielas & Torsten Asselmeyer-Maluga - 2023 - Foundations of Science 28 (2):575-625.details
|
|
Thought Experiments in Mathematics: Anything but Proof.Jean Paul van Bendegem - 2003 - Philosophica 72 (2):9-33.details
|
|
Foundations for analysis and proof theory.Wilfried Sieg - 1984 - Synthese 60 (2):159 - 200.details
|
|
Quantum Mechanics, Formalization and the Cosmological Constant Problem.Jerzy Król & Torsten Asselmeyer-Maluga - 2020 - Foundations of Science 25 (4):879-904.details
|
|
Correspondence Truth and Quantum Mechanics.Vassilios Karakostas - 2014 - Axiomathes 24 (3):343-358.details
|
|
Teoria kategorii i niektóre jej logiczne aspekty (Category theory and some of its logical aspects).Mariusz Stopa - 2018 - Philosophical Problems in Science 64:7-58.details
|
|
Background Independence in Quantum Gravity and Forcing Constructions.Jerzy Król - 2004 - Foundations of Physics 34 (3):361-403.details
|
|
Pasch's empiricism as methodological structuralism.Dirk Schlimm - 2020 - In Erich H. Reck & Georg Schiemer (eds.), The Pre-History of Mathematical Structuralism. Oxford: Oxford University Press. pp. 80-105.details
|
|
Mathematical quantum theory I: Random ultrafilters as hidden variables.William Boos - 1996 - Synthese 107 (1):83 - 143.details
|
|
Klassinen matematiikka ja logiikka.Panu Raatikainen - 1996 - In Christoffer Gefwert (ed.), Logiikka, matematiikka ja tietokone – Perusteet: historiaa, filosofiaa ja sovelluksia. Finnish Artificial Intelligence Society.details
|
|
Contextual semantics in quantum mechanics from a categorical point of view.Vassilios Karakostas & Elias Zafiris - 2017 - Synthese 194 (3).details
|
|
Quantum theory and consciousness.David L. Wilson - 1993 - Behavioral and Brain Sciences 16 (3):615-616.details
|
|
(1 other version)On Weak Theories of Sets and Classes which are Based on Strict ∏11-REFLECTION.Andrea Cantini - 1985 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 31 (21-23):321-332.details
|
|
Cosmological choices.David Finkelstein - 1982 - Synthese 50 (3):399 - 420.details
|
|
Proof theory in philosophy of mathematics.Andrew Arana - 2010 - Philosophy Compass 5 (4):336-347.details
|
|
(1 other version)On Weak Theories of Sets and Classes which are Based on Strict ∏math image-REFLECTION.Andrea Cantini - 1985 - Mathematical Logic Quarterly 31 (21-23):321-332.details
|
|
Mind the truth: Penrose's new step in the Gödelian argument.Salvatore Guccione - 1993 - Behavioral and Brain Sciences 16 (3):612-613.details
|
|
Boolean Valued Dedekind Domains.Hirokazu Nishimura - 1991 - Mathematical Logic Quarterly 37 (5-6):65-76.details
|
|
On a duality between Boolean valued analysis and topological Reduction Theory.Hirokazu Nishimura - 1993 - Mathematical Logic Quarterly 39 (1):23-32.details
|
|
(1 other version)Some Boolean Valued Commutative Algebra.Hirokazu Nishimura - 1991 - Mathematical Logic Quarterly 37 (23‐24):367-384.details
|
|
(1 other version)Some Boolean Valued Commutative Algebra.Hirokazu Nishimura - 1991 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (23-24):367-384.details
|
|
(1 other version)Some connections between boolean valued analysis and topological reduction theory for C*‐algebras.Hirokazu Nishimura - 1990 - Mathematical Logic Quarterly 36 (5):471-479.details
|
|
(1 other version)Some connections between boolean valued analysis and topological reduction theory for C*-algebras.Hirokazu Nishimura - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (5):471-479.details
|
|
(1 other version)Czy wiemy dlaczego czasoprzestrzeń na dużych skalach jest gładka i 4-wymiarowa?Jerzy Król - 2017 - Philosophical Problems in Science 63:101-111.details
|
|
A boolean transfer principle from L*‐Algebras to AL*‐Algebras.Hirokazu Nishimura - 1993 - Mathematical Logic Quarterly 39 (1):241-250.details
|
|
Boolean Valued and Stone Algebra Valued Measure Theories.Hirokazu Nishimura - 1994 - Mathematical Logic Quarterly 40 (1):69-75.details
|
|
An emperor still without mind.Roger Penrose - 1993 - Behavioral and Brain Sciences 16 (3):616-622.details
|
|
The incompleteness of quantum physics.Euan J. Squires - 1993 - Behavioral and Brain Sciences 16 (3):613-614.details
|
|
Cognitive mapping and algorithmic complexity: Is there a role for quantum processes in the evolution of human consciousness?Ron Wallace - 1993 - Behavioral and Brain Sciences 16 (3):614-615.details
|
|
Quantum Event Structures from the Perspective of Grothendieck Topoi.Elias Zafiris - 2004 - Foundations of Physics 34 (7):1063-1090.details
|
|
Quantum Set Theory Extending the Standard Probabilistic Interpretation of Quantum Theory.Masanao Ozawa - 2016 - New Generation Computing 34 (1):125-152.details
|
|
Virtual modality. [REVIEW]William Boos - 2003 - Synthese 136 (3):435 - 491.details
|
|
A Model for Spacetime: The Role of Interpretation in Some Grothendieck Topoi. [REVIEW]Jerzy Król - 2006 - Foundations of Physics 36 (7):1070-1098.details
|
|