Non‐standard Analysis in WKL 0

Mathematical Logic Quarterly 43 (3):396-400 (1997)
  Copy   BIBTEX

Abstract

Within a weak subsystem of second‐order arithmetic WKL0, we develop basic part of non‐standard analysis up to the Peano existence theorem.

Categories

Keywords

Reprint years

DOI

10.1002/malq.19970430312

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A non-standard construction of Haar measure and weak könig's lemma.Kazuyuki Tanaka & Takeshi Yamazaki - 2000 - Journal of Symbolic Logic 65 (1):173-186.
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.
Is meta-analysis the platinum standard of evidence?Jacob Stegenga - 2011 - Studies in History and Philosophy of Science Part C: Studies in History and Philosophy of Biological and Biomedical Sciences 42 (4):497-507.
Full algebra of generalized functions and non-standard asymptotic analysis.Todor D. Todorov & Hans Vernaeve - 2008 - Logic and Analysis 1 (3-4):205-234.
Fair infinite lotteries.Sylvia Wenmackers & Leon Horsten - 2013 - Synthese 190 (1):37-61.
The three arrows of Zeno.Craig Harrison - 1996 - Synthese 107 (2):271 - 292.
Rejecting the baby Doe rules and defending a "negative" analysis of the best interests standard.Loretta M. Kopelman - 2005 - Journal of Medicine and Philosophy 30 (4):331 – 352.
Relativity, Quantum Entanglement, Counterfactuals, and Causation.Luke Fenton-Glynn & Thomas Kroedel - 2015 - British Journal for the Philosophy of Science 66 (1):45-67.
Axioms for Non-Archimedean Probability (NAP).Vieri Benci, Leon Horsten & Sylvia Wenmackers - 2012 - In De Vuyst J. & Demey L. (eds.), Future Directions for Logic; Proceedings of PhDs in Logic III - Vol. 2 of IfColog Proceedings. College Publications.
Platonic knowledge and the standard analysis.Lloyd P. Gerson - 2006 - International Journal of Philosophical Studies 14 (4):455 – 474.
An Analysis of the Notion of Rigour in Proofs.Michele Friend & Andrea Pedeferri - 2011 - Logic and Philosophy of Science 9 (1):165-171.
Foucault, Feminism, and Informed Choice.Carolyn Ells - 2003 - Journal of Medical Humanities 24 (3-4):213-228.
Value-Preference Symmetry and Fitting-Attitude Accounts of Value Relations.Johan E. Gustafsson - 2013 - Philosophical Quarterly 63 (252):476-491.

Analytics

Added to PP
2013-10-31

Downloads
36 (#421,132)

6 months
2 (#1,157,335)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Number theory and elementary arithmetic.Jeremy Avigad - 2003 - Philosophia Mathematica 11 (3):257-284.
Formalizing non-standard arguments in second-order arithmetic.Keita Yokoyama - 2010 - Journal of Symbolic Logic 75 (4):1199-1210.
Non-standard analysis in ACA0 and Riemann mapping theorem.Keita Yokoyama - 2007 - Mathematical Logic Quarterly 53 (2):132-146.

View all 7 citations / Add more citations

References found in this work

Fixed point theory in weak second-order arithmetic.Naoki Shioji & Kazuyuki Tanaka - 1990 - Annals of Pure and Applied Logic 47 (2):167-188.

Add more references