Annals of Pure and Applied Logic 25 (2):141 (1983)
Abstract | This article has no associated abstract. (fix it) |
Keywords | No keywords specified (fix it) |
Categories | (categorize this paper) |
DOI | 10.1016/0168-0072(83)90012-x |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
A Mathematical Incompleteness in Peano Arithmetic.Jeff Paris & Leo Harrington - 1977 - In Jon Barwise & H. Jerome Keisler (eds.), Handbook of Mathematical Logic. North-Holland Pub. Co.. pp. 90--1133.
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.
Ramsey's Theorem and Recursion Theory.Carl G. Jockusch - 1972 - Journal of Symbolic Logic 37 (2):268-280.
Systems of Predicative Analysis, II: Representations of Ordinals.Solomon Feferman - 1968 - Journal of Symbolic Logic 33 (2):193-220.
View all 10 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.
Open Questions in Reverse Mathematics.Antonio Montalbán - 2011 - Bulletin of Symbolic Logic 17 (3):431-454.
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.
Set Existence Principles and Closure Conditions: Unravelling the Standard View of Reverse Mathematics.Benedict Eastaugh - 2019 - Philosophia Mathematica 27 (2):153-176.
Which Set Existence Axioms Are Needed to Prove the Separable Hahn-Banach Theorem?Douglas K. Brown & Stephen G. Simpson - 1986 - Annals of Pure and Applied Logic 31:123-144.
View all 56 citations / Add more citations
Similar books and articles
Review: Harvey M. Friedman, Stephen G. Simpson, Rick L. Smith, Countable Algebra and Set Existence Axioms; Harvey M. Friedman, Stephen G. Simpson, Rick L. Smith, Addendum to "Countable Algebra and Set Existence Axioms.". [REVIEW]Peter G. Clote - 1987 - Journal of Symbolic Logic 52 (1):276-278.
Countable Algebra and Set Existence Axioms.Peter G. Clote - 1987 - Journal of Symbolic Logic 52 (1):276-278.
Addendum to “Countable Algebra and Set Existence Axioms”.Harvey M. Friedman, Stephen G. Simpson & Rick L. Smith - 1984 - Annals of Pure and Applied Logic 28 (3):319-320.
The Existence of Countable Totally Nonconstructive Extensions of the Countable Atomless Boolean Algebra.E. W. Madison - 1983 - Journal of Symbolic Logic 48 (1):167-170.
On the Homogeneous Countable Boolean Contact Algebra.Ivo Düntsch & Sanjiang Li - 2013 - Logic and Logical Philosophy 22 (2):213-251.
Chains and Antichains in Interval Algebras.M. Bekkali - 1994 - Journal of Symbolic Logic 59 (3):860-867.
Topological Duality for Nelson Algebras and its Application.Andrzej Sendlewski - 1984 - Bulletin of the Section of Logic 13 (4):215-219.
Forcing Indestructibility of Set-Theoretic Axioms.Bernhard König - 2007 - Journal of Symbolic Logic 72 (1):349 - 360.
Unions and the Axiom of Choice.Omar De la Cruz, Eric J. Hall, Paul Howard, Kyriakos Keremedis & Jean E. Rubin - 2008 - Mathematical Logic Quarterly 54 (6):652-665.
Theories with Constants and Three Countable Models.Predrag Tanović - 2007 - Archive for Mathematical Logic 46 (5-6):517-527.
Elementary Embedding Between Countable Boolean Algebras.Robert Bonnet & Matatyahu Rubin - 1991 - Journal of Symbolic Logic 56 (4):1212-1229.
Generalizing Classical and Effective Model Theory in Theories of Operations and Classes.Paolo Mancosu - 1991 - Annals of Pure and Applied Logic 52 (3):249-308.
Countable Fréchetα 1-Spaces May Be First Countable.Alan Dow & Juris Stepräns - 1992 - Archive for Mathematical Logic 32 (1):33-50.
De Finetti, Countable Additivity, Consistency and Coherence.Colin Howson - 2008 - British Journal for the Philosophy of Science 59 (1):1-23.
Analytics
Added to PP index
2014-01-16
Total views
24 ( #473,147 of 2,504,833 )
Recent downloads (6 months)
1 ( #417,030 of 2,504,833 )
2014-01-16
Total views
24 ( #473,147 of 2,504,833 )
Recent downloads (6 months)
1 ( #417,030 of 2,504,833 )
How can I increase my downloads?
Downloads