Switch to: Citations

References in:

Derived sequences and reverse mathematics

Jeffry L. Hirst

Mathematical Logic Quarterly 39 (1):447-453 (1993)

Add references

You must login to add references.

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.details Logic and Philosophy of Logic Model Theory in Logic and Philosophy of Logic Direct download (4 more) Export citation Bookmark 34 citations
Uniformly defined descending sequences of degrees.Harvey Friedman - 1976 - Journal of Symbolic Logic 41 (2):363-367.details Logic and Philosophy of Logic Logic and Philosophy of Logic, Miscellaneous in Logic and Philosophy of Logic Direct download (8 more) Export citation Bookmark 9 citations

1