- How can a line segment with extension be composed of extensionless points?Brian Reese, Michael Vazquez & Scott Weinstein - 2022 - Synthese 200 (2):1-28.details
|
|
The Potential in Frege’s Theorem.Will Stafford - 2023 - Review of Symbolic Logic 16 (2):553-577.details
|
|
Review of John Stillwell, Reverse Mathematics: Proofs from the Inside Out. [REVIEW]Benedict Eastaugh - 2020 - Philosophia Mathematica 28 (1):108-116.details
|
|
Otávio Bueno* and Steven French.**Applying Mathematics: Immersion, Inference, Interpretation. [REVIEW]Anthony F. Peressini - 2020 - Philosophia Mathematica 28 (1):116-127.details
|
|
Suggestion for Teaching Science as a Pluralist Enterprise.Antonino Drago - 2018 - Transversal: International Journal for the Historiography of Science 5:66-83.details
|
|
(1 other version)Exploring Predicativity.Laura Crosilla - 1995 - In Klaus Mainzer, Peter Schuster & Helmut Schwichtenberg (eds.), Proof and Computation. World Scientific. pp. 83-108.details
|
|
Axiomatizing Changing Conceptions of the Geometric Continuum II: Archimedes-Descartes-Hilbert-Tarski†.John T. Baldwin - 2019 - Philosophia Mathematica 27 (1):33-60.details
|
|
Bernays and the Completeness Theorem.Walter Dean - 2017 - Annals of the Japan Association for Philosophy of Science 25:45-55.details
|
|
(1 other version)Forms of Luminosity: Epistemic Modality and Hyperintensionality in Mathematics.David Elohim - 2017 - Dissertation, Arché, University of St Andrewsdetails
|
|
(1 other version)Forms of Luminosity: Epistemic Modality and Hyperintensionality in Mathematics.David Elohim - 2017details
|
|
The foundations of mathematics from a historical viewpoint.Antonino Drago - 2015 - Epistemologia 38 (1):133-151.details
|
|
The logical structure of evolutionary explanation and prediction: Darwinism’s fundamental schema.Neil Tennant - 2014 - Biology and Philosophy 29 (5):611-655.details
|
|
Discrete transfinite computation models.Philip D. Welch - 2011 - In S. B. Cooper & Andrea Sorbi (eds.), Computability in Context: Computation and Logic in the Real World. World Scientific. pp. 375--414.details
|
|
More on lower bounds for partitioning α-large sets.Henryk Kotlarski, Bożena Piekart & Andreas Weiermann - 2007 - Annals of Pure and Applied Logic 147 (3):113-126.details
|
|
Logicism, Interpretability, and Knowledge of Arithmetic.Sean Walsh - 2014 - Review of Symbolic Logic 7 (1):84-119.details
|
|
Borel complexity and computability of the Hahn–Banach Theorem.Vasco Brattka - 2008 - Archive for Mathematical Logic 46 (7-8):547-564.details
|
|
Model theory of the regularity and reflection schemes.Ali Enayat & Shahram Mohsenipour - 2008 - Archive for Mathematical Logic 47 (5):447-464.details
|
|
$${\Pi^1_2}$$ -comprehension and the property of Ramsey.Christoph Heinatsch - 2009 - Archive for Mathematical Logic 48 (3-4):323-386.details
|
|
Fast-Collapsing Theories.Samuel A. Alexander - 2013 - Studia Logica (1):1-21.details
|
|
Kolmogorov complexity and the second incompleteness theorem.Makoto Kikuchi - 1997 - Archive for Mathematical Logic 36 (6):437-443.details
|
|
Uniform heyting arithmetic.Ulrich Berger - 2005 - Annals of Pure and Applied Logic 133 (1):125-148.details
|
|
The Metamathematics of Putnam’s Model-Theoretic Arguments.Tim Button - 2011 - Erkenntnis 74 (3):321-349.details
|
|
The determinacy strength of Π 2 1 -comprehension.Christoph Heinatsch & Michael Möllerfeld - 2010 - Annals of Pure and Applied Logic 161 (12):1462-1470.details
|
|
Reductionism as resource-conscious reasoning.Godehard Link - 2000 - Erkenntnis 53 (1-2):173-193.details
|
|
Ordered groups: A case study in reverse mathematics.Reed Solomon - 1999 - Bulletin of Symbolic Logic 5 (1):45-58.details
|
|
Groundwork for weak analysis.António M. Fernandes & Fernando Ferreira - 2002 - Journal of Symbolic Logic 67 (2):557-578.details
|
|
Number theory and elementary arithmetic.Jeremy Avigad - 2003 - Philosophia Mathematica 11 (3):257-284.details
|
|
Deflationism beyond arithmetic.Kentaro Fujimoto - 2019 - Synthese 196 (3):1045-1069.details
|
|
Reverse formalism 16.Sam Sanders - 2020 - Synthese 197 (2):497-544.details
|
|
A new model construction by making a detour via intuitionistic theories I: Operational set theory without choice is Π 1 -equivalent to KP.Kentaro Sato & Rico Zumbrunnen - 2015 - Annals of Pure and Applied Logic 166 (2):121-186.details
|
|
Axiomatizing semantic theories of truth?Martin Fischer, Volker Halbach, Jönne Kriener & Johannes Stern - 2015 - Review of Symbolic Logic 8 (2):257-278.details
|
|
Kripke-Platek Set Theory and the Anti-Foundation Axiom.Michael Rathjen - 2001 - Mathematical Logic Quarterly 47 (4):435-440.details
|
|
The strong soundness theorem for real closed fields and Hilbert’s Nullstellensatz in second order arithmetic.Nobuyuki Sakamoto & Kazuyuki Tanaka - 2004 - Archive for Mathematical Logic 43 (3):337-349.details
|
|
Vitali's Theorem and WWKL.Douglas K. Brown, Mariagnese Giusto & Stephen G. Simpson - 2002 - Archive for Mathematical Logic 41 (2):191-206.details
|
|
On the connection between Nonstandard Analysis and Constructive Analysis.Sam Sanders - forthcoming - Logique Et Analyse.details
|
|
Ordinal arithmetic with simultaneously defined theta‐functions.Andreas Weiermann & Gunnar Wilken - 2011 - Mathematical Logic Quarterly 57 (2):116-132.details
|
|
A Simple Proof and Some Difficult Examples for Hindman's Theorem.Henry Towsner - 2012 - Notre Dame Journal of Formal Logic 53 (1):53-65.details
|
|
On Tao's “finitary” infinite pigeonhole principle.Jaime Gaspar & Ulrich Kohlenbach - 2010 - Journal of Symbolic Logic 75 (1):355-371.details
|
|
Uniform Almost Everywhere Domination.Peter Cholak, Noam Greenberg & Joseph S. Miller - 2006 - Journal of Symbolic Logic 71 (3):1057 - 1072.details
|
|
Minimal truth and interpretability.Martin Fischer - 2009 - Review of Symbolic Logic 2 (4):799-815.details
|
|
(1 other version)Gödel's functional interpretation and its use in current mathematics.Ulrich Kohlenbach - 2008 - Dialectica 62 (2):223–267.details
|
|
(1 other version)In defense of the semantic definition of truth.Jan woleński - 2001 - Synthese 126 (1-2):67 - 90.details
|
|
(1 other version)Truth and reduction.Volker Halbach - 2000 - Erkenntnis 53 (1-2):97-126.details
|
|
Is Cantor's continuum problem inherently vague?Kai Hauser - 2002 - Philosophia Mathematica 10 (3):257-285.details
|
|
The abstract type of the real numbers.Fernando Ferreira - 2021 - Archive for Mathematical Logic 60 (7):1005-1017.details
|
|
What are the limits of mathematical explanation? Interview with Charles McCarty by Piotr Urbańczyk.David Charles McCarty & Piotr Urbańczyk - 2016 - Zagadnienia Filozoficzne W Nauce 60:119-137.details
|
|
Boolos and the Metamathematics of Quine's Definitions of Logical Truth and Consequence.Günther Eder - 2016 - History and Philosophy of Logic 37 (2):170-193.details
|
|
Propagation of partial randomness.Kojiro Higuchi, W. M. Phillip Hudelson, Stephen G. Simpson & Keita Yokoyama - 2014 - Annals of Pure and Applied Logic 165 (2):742-758.details
|
|
The Jordan curve theorem and the Schönflies theorem in weak second-order arithmetic.Nobuyuki Sakamoto & Keita Yokoyama - 2007 - Archive for Mathematical Logic 46 (5-6):465-480.details
|
|
An ordinal analysis for theories of self-referential truth.Graham Emil Leigh & Michael Rathjen - 2010 - Archive for Mathematical Logic 49 (2):213-247.details
|
|