Annals of Pure and Applied Logic 31:123-144 (1986)
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.1016/0168-0072(86)90066-7 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
Which Set Existence Axioms Are Needed to Prove the Cauchy/Peano Theorem for Ordinary Differential Equations?Stephen G. Simpson - 1984 - Journal of Symbolic Logic 49 (3):783-802.
Initial Segments of Models of Peano's Axioms.L. A. S. Kirby, J. B. Paris, A. Lachlan, M. Srebrny & A. Zarach - 1983 - Journal of Symbolic Logic 48 (2):482-483.
Friedman's Research on Subsystems of Second Order Arithmetic.Stephen G. Simpson - 1990 - Journal of Symbolic Logic 55 (2):870-874.
Countable Algebra and Set Existence Axioms.Harvey M. Friedman - 1983 - Annals of Pure and Applied Logic 25 (2):141.
View all 7 references / Add more references
Citations of this work BETA
Partial Realizations of Hilbert's Program.Stephen G. Simpson - 1988 - Journal of Symbolic Logic 53 (2):349-363.
Set Existence Principles and Closure Conditions: Unravelling the Standard View of Reverse Mathematics.Benedict Eastaugh - 2019 - Philosophia Mathematica 27 (2):153-176.
Measure Theory and Weak König's Lemma.Xiaokang Yu & Stephen G. Simpson - 1990 - Archive for Mathematical Logic 30 (3):171-180.
Effective Moduli From Ineffective Uniqueness Proofs. An Unwinding of de La Vallée Poussin's Proof for Chebycheff Approximation.Ulrich Kohlenbach - 1993 - Annals of Pure and Applied Logic 64 (1):27-94.
View all 29 citations / Add more citations
Similar books and articles
Separation and Weak König's Lemma.A. James Humphreys & Stephen G. Simpson - 1999 - Journal of Symbolic Logic 64 (1):268-278.
Borel Complexity and Computability of the Hahn–Banach Theorem.Vasco Brattka - 2008 - Archive for Mathematical Logic 46 (7-8):547-564.
How Incomputable Is the Separable Hahn-Banach Theorem?Guido Gherardi & Alberto Marcone - 2009 - Notre Dame Journal of Formal Logic 50 (4):393-425.
Which Set Existence Axioms Are Needed to Prove the Cauchy/Peano Theorem for Ordinary Differential Equations?Stephen G. Simpson - 1984 - Journal of Symbolic Logic 49 (3):783-802.
The Hahn-Banach Property and the Axiom of Choice.Juliette Dodu & Marianne Morillon - 1999 - Mathematical Logic Quarterly 45 (3):299-314.
Some Consequences of Rado’s Selection Lemma.Marianne Morillon - 2012 - Archive for Mathematical Logic 51 (7-8):739-749.
Computing the Complexity of the Relation of Isometry Between Separable Banach Spaces.Julien Melleray - 2007 - Mathematical Logic Quarterly 53 (2):128-131.
An Omniscience Principle, the König Lemma and the Hahn‐Banach Theorem.Hajime Ishihara - 1990 - Mathematical Logic Quarterly 36 (3):237-240.
Complex Analysis in Subsystems of Second Order Arithmetic.Keita Yokoyama - 2007 - Archive for Mathematical Logic 46 (1):15-35.
Computable and Continuous Partial Homomorphisms on Metric Partial Algebras.Viggo Stoltenberg-Hansen & John V. Tucker - 2003 - Bulletin of Symbolic Logic 9 (3):299-334.
Full Algebra of Generalized Functions and Non-Standard Asymptotic Analysis.Todor D. Todorov & Hans Vernaeve - 2008 - Logic and Analysis 1 (3-4):205-234.
Vitali's Theorem and WWKL.Douglas K. Brown, Mariagnese Giusto & Stephen G. Simpson - 2002 - Archive for Mathematical Logic 41 (2):191-206.
Computability of Compact Operators on Computable Banach Spaces with Bases.Vasco Brattka & Ruth Dillhage - 2007 - Mathematical Logic Quarterly 53 (4‐5):345-364.
Analytics
Added to PP index
2014-01-16
Total views
25 ( #413,283 of 2,403,548 )
Recent downloads (6 months)
1 ( #551,240 of 2,403,548 )
2014-01-16
Total views
25 ( #413,283 of 2,403,548 )
Recent downloads (6 months)
1 ( #551,240 of 2,403,548 )
How can I increase my downloads?
Downloads
