The Baire category theorem in weak subsystems of second-order arithmetic

The Baire category theorem in weak subsystems of second-order arithmetic (1993)

Cached

Download Links

[www.math.psu.edu]

Other Repositories/Bibliography

DBLP

by K. Brown , Stephen G. Simpson , Douglas K. Brown , Stephen , G. Simpson

Venue:	The Journal of Symbolic Logic
Citations:	9 - 3 self

BibTeX

@ARTICLE{Brown93thebaire,
    author = {K. Brown and Stephen G. Simpson and Douglas K. Brown and Stephen and G. Simpson},
    title = {The Baire category theorem in weak subsystems of second-order arithmetic},
    journal = {The Journal of Symbolic Logic},
    year = {1993},
    pages = {557--578}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Your use of the JSTOR archive indicates your acceptance of the Terms & Conditions of Use, available at.

Citations

593	Introduction to Metamathematics - Kleene - 1971
103	Π 0 1 classes and degrees of theories - Soare - 1972
66	Degrees of Unsolvability - Lerman - 1983
33	Partial realizations of Hilbert’s program - Simpson - 1988
32	Algebras of sets binumerable in complete extensions of arithmetic - Scott - 1962
32	Degrees of Unsolvability - Shoenfield - 1971
25	Some systems of second order arithmetic and their use - Friedman - 1975
21	Countable algebra and set existence axioms - Friedman, Simpson, et al. - 1983
17	Kritische Untersuchungen über die Grundlagen der Analysis - Weyl, Kontinuum - 1932
13	Combinatorics in subsystems of second order arithmetic - Hirst - 1987
12	Logical analysis of some theorems of combinatorics and topological dynamics - Blass, Hirst, et al. - 1985
12	Which set existence axioms are needed to prove the separable Hahn-Banach theorem?, Annals of Pure and Applied Logic 31 - Brown, Simpson - 1986
10	Functional Analysis in Weak Subsystems of Second Order Arithmetic - Brown - 1987
10	Initial segments of models of Peano’s axioms, Set Theory and Hierarchy Theory - Kirby, Paris - 1977
8	Fragments of arithmetic, Annals of Pure and - SIEG - 1985
7	Weak comparability of well orderings and reverse mathematics - Friedman, Hirst - 1990
4	Measure theory in weak subsystems of second order arithmetic - Yu - 1987
3	of closed subsets of a complete separable metric space in weak subsystems of second order arithmetic - Notions - 1990
2	On the degrees of complete extensions of arithmetic - SCOTT, TENNENBAUM - 1960
2	set existence axioms are needed to prove the Cauchy/Peano theorem for ordinary di#erential equations - Which - 1984
2	Factorization of polynomials and X' induction - SIMPSON, SMITH - 1986