- Strict finitism, feasibility, and the sorites.Walter Dean - 2018 - Review of Symbolic Logic 11 (2):295-346.details
|
|
Infinite Lotteries, Spinners, Applicability of Hyperreals†.Emanuele Bottazzi & Mikhail G. Katz - 2021 - Philosophia Mathematica 29 (1):88-109.details
|
|
Who Gave You the Cauchy–Weierstrass Tale? The Dual History of Rigorous Calculus.Alexandre Borovik & Mikhail G. Katz - 2012 - Foundations of Science 17 (3):245-276.details
|
|
Is Leibnizian calculus embeddable in first order logic?Piotr Błaszczyk, Vladimir Kanovei, Karin U. Katz, Mikhail G. Katz, Taras Kudryk, Thomas Mormann & David Sherry - 2017 - Foundations of Science 22 (4):73 - 88.details
|
|
Wittgenstein on Incompleteness Makes Paraconsistent Sense.Francesco Berto - 2008 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Springer. pp. 257--276.details
|
|
Ten Misconceptions from the History of Analysis and Their Debunking.Piotr Błaszczyk, Mikhail G. Katz & David Sherry - 2013 - Foundations of Science 18 (1):43-74.details
|
|
Cauchy’s Infinitesimals, His Sum Theorem, and Foundational Paradigms.Tiziana Bascelli, Piotr Błaszczyk, Alexandre Borovik, Vladimir Kanovei, Karin U. Katz, Mikhail G. Katz, Semen S. Kutateladze, Thomas McGaffey, David M. Schaps & David Sherry - 2018 - Foundations of Science 23 (2):267-296.details
|
|
Interpreting the Infinitesimal Mathematics of Leibniz and Euler.Jacques Bair, Piotr Błaszczyk, Robert Ely, Valérie Henry, Vladimir Kanovei, Karin U. Katz, Mikhail G. Katz, Semen S. Kutateladze, Thomas McGaffey, Patrick Reeder, David M. Schaps, David Sherry & Steven Shnider - 2017 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 48 (2):195-238.details
|
|
Forcing in proof theory.Jeremy Avigad - 2004 - Bulletin of Symbolic Logic 10 (3):305-333.details
|
|
Die non-standard analysis: Eine rehabilitierung Des unendlichkleinen in den grundlagen der mathematik.Bernhard Arens - 1985 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 16 (1):147-150.details
|
|
A theory of hyperfinite sets.P. V. Andreev & E. I. Gordon - 2006 - Annals of Pure and Applied Logic 143 (1-3):3-19.details
|
|
Mathematics, Models and Zeno's Paradoxes.Joseph S. Alper & Mark Bridger - 1997 - Synthese 110 (1):143-166.details
|
|
Proofs and Retributions, Or: Why Sarah Can’t Take Limits.Vladimir Kanovei, Karin U. Katz, Mikhail G. Katz & Mary Schaps - 2015 - Foundations of Science 20 (1):1-25.details
|
|
Vieri Benci and Mauro Di Nasso. How to Measure the Infinite: Mathematics with Infinite and Infinitesimal Numbers.Sylvia Wenmackers - 2022 - Philosophia Mathematica 30 (1):130-137.details
|
|
Critical Studies/Book Reviews.Sylvia Wenmackers - forthcoming - Philosophia Mathematica.details
|
|
Asymptotics of families of solutions of nonlinear difference equations.Imme P. van den Berg - 2008 - Logic and Analysis 1 (2):153-185.details
|
|
A functional interpretation for nonstandard arithmetic.Benno van den Berg, Eyvind Briseid & Pavol Safarik - 2012 - Annals of Pure and Applied Logic 163 (12):1962-1994.details
|
|
Infinity and continuum in the alternative set theory.Kateřina Trlifajová - 2021 - European Journal for Philosophy of Science 12 (1):1-23.details
|
|
Refining the Taming of the Reverse Mathematics Zoo.Sam Sanders - 2018 - Notre Dame Journal of Formal Logic 59 (4):579-597.details
|
|
Reverse formalism 16.Sam Sanders - 2020 - Synthese 197 (2):497-544.details
|
|
Relative arithmetic.Sam Sanders - 2010 - Mathematical Logic Quarterly 56 (6):564-572.details
|
|
More infinity for a better finitism.Sam Sanders - 2010 - Annals of Pure and Applied Logic 161 (12):1525-1540.details
|
|
Zeno’s arrow and the infinitesimal calculus.Patrick Reeder - 2015 - Synthese 192 (5):1315-1335.details
|
|
Labyrinth of Continua.Patrick Reeder - 2018 - Philosophia Mathematica 26 (1):1-39.details
|
|
A constructive approach to nonstandard analysis.Erik Palmgren - 1995 - Annals of Pure and Applied Logic 73 (3):297-325.details
|
|
The syntax of nonstandard analysis.Edward Nelson - 1988 - Annals of Pure and Applied Logic 38 (2):123-134.details
|
|
Some Ramsey-type theorems for countably determined sets.Josef Mlček & Pavol Zlatoš - 2002 - Archive for Mathematical Logic 41 (7):619-630.details
|
|
Incommensurables and Incomparables: On the Conceptual Status and the Philosophical Use of Hyperreal Numbers.Michael White - 1999 - Notre Dame Journal of Formal Logic 40 (3):420-446.details
|
|
Thomson's lamp is dysfunctional.William I. McLaughlin - 1998 - Synthese 116 (3):281-301.details
|
|
An epistemological use of nonstandard analysis to answer Zeno's objections against motion.William I. McLaughlin & Sylvia L. Miller - 1992 - Synthese 92 (3):371 - 384.details
|
|
Modern infinitesimals as a tool to match intuitive and formal reasoning in analysis.Robert Lutz & Luis Gonzaga Luis Gonzaga - 2003 - Synthese 134 (1-2):325 - 351.details
|
|
Leibniz’s Infinitesimals: Their Fictionality, Their Modern Implementations, and Their Foes from Berkeley to Russell and Beyond. [REVIEW]Mikhail G. Katz & David Sherry - 2013 - Erkenntnis 78 (3):571-625.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
|
|
A Cauchy-Dirac Delta Function.Mikhail G. Katz & David Tall - 2013 - Foundations of Science 18 (1):107-123.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
|
|
Special Model Axiom in Nonstandard Set Theory.Vladimir Kanovei & Michael Reeken - 1999 - Mathematical Logic Quarterly 45 (3):371-384.details
|
|
Isomorphism property in nonstandard extensions of theZFC universe.Vladimir Kanovei & Michael Reeken - 1997 - Annals of Pure and Applied Logic 88 (1):1-25.details
|
|
Internal approach to external sets and universes.Vladimir Kanovei & Michael Reeken - 1995 - Studia Logica 55 (2):347 - 376.details
|
|
Extending standard models of ZFC to models of nonstandard set theories.Vladimir Kanovei & Michael Reeken - 2000 - Studia Logica 64 (1):37-59.details
|
|
Elementary extensions of external classes in a nonstandard universe.Vladimir Kanovei & Michael Reeken - 1998 - Studia Logica 60 (2):253-273.details
|
|
A nonstandard set theory in the $\displaystyle\in$ -language.Vladimir Kanovei & Michael Reeken - 2000 - Archive for Mathematical Logic 39 (6):403-416.details
|
|
Hyperformulas and Classifications.Yuzuru Kakuda, Makoto Kikuchi & Hirofumi Miki - 2000 - Annals of the Japan Association for Philosophy of Science 10 (1):33-52.details
|
|
Ultrasheaves and Double Negation.Jonas Eliasson & Steve Awodey - 2004 - Notre Dame Journal of Formal Logic 45 (4):235-245.details
|
|
Non-Measurability, Imprecise Credences, and Imprecise Chances.Yoaav Isaacs, Alan Hájek & John Hawthorne - 2021 - Mind 131 (523):892-916.details
|
|
Asymptotics of families of solutions of nonlinear difference equations.Imme P. Berg - 2008 - Logic and Analysis 1 (2):153-185.details
|
|
McLaughlin-Millerの運動モデルの位相的側面.Takuma Imamura - 2022 - Journal of the Japan Association for Philosophy of Science 50 (1):47-72.details
|
|
Realism, nonstandard set theory, and large cardinals.Karel Hrbacek - 2001 - Annals of Pure and Applied Logic 109 (1-2):15-48.details
|
|
Timothy Williamson’s Coin-Flipping Argument: Refuted Prior to Publication?Colin Howson - 2019 - Erkenntnis 86 (3):575-583.details
|
|
The Consistency of Probabilistic Regresses: Some Implications for Epistemological Infinitism. [REVIEW]Frederik Herzberg - 2013 - Erkenntnis 78 (2):371-382.details
|
|
Nonstandard Functional Interpretations and Categorical Models.Amar Hadzihasanovic & Benno van den Berg - 2017 - Notre Dame Journal of Formal Logic 58 (3):343-380.details
|
|