Journal of Symbolic Logic 44 (1):95-102 (1979)
| Abstract |
If A is an admissible set, let HC(A) = {x∣ x ∈ A and x is hereditarily countable in A}. Then HC(A) is admissible. Corollaries are drawn characterizing the "real parts" of admissible sets and the analytical consequences of admissible set theory
|
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.2307/2273707 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 55,825
External links
- From the Publisher via CrossRef (no proxy)
- projecteuclid.org
(no proxy) - projecteuclid.org [2] (no proxy)
- journals.cambridge.org (no proxy)
- jstor.org (no proxy)
- jstor.org [2] (no proxy)
- jstor.org [3] (no proxy)
- cambridge.org (no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
No references found.
Citations of this work BETA
Steel Forcing and Barwise Compactness.Sy D. Friedman - 1982 - Annals of Mathematical Logic 22 (1):31-46.
Steel Forcing and Barwise Compactness.S. D. Friedman - 1982 - Annals of Mathematical Logic 22 (1):31.
Similar books and articles
The Pure Part of HYP(M).Mark Nadel & Jonathan Stavi - 1977 - Journal of Symbolic Logic 42 (1):33-46.
On Self-Admissible Quasi-Characterizing Inference Rules.V. V. Rybakov, M. Terziler & C. Gencer - 2000 - Studia Logica 65 (3):417-428.
Operational Set Theory and Small Large Cardinals.Solomon Feferman with with R. L. Vaught - manuscript
An Ordinal Analysis of Admissible Set Theory Using Recursion on Ordinal Notations.Jeremy Avigad - 2002 - Journal of Mathematical Logic 2 (1):91-112.
Upper Bounds for Metapredicative Mahlo in Explicit Mathematics and Admissible Set Theory.Gerhard Jäger & Thomas Strahm - 2001 - Journal of Symbolic Logic 66 (2):935-958.
Analytics
Added to PP index
2009-01-28
Total views
18 ( #557,597 of 2,401,526 )
Recent downloads (6 months)
1 ( #551,447 of 2,401,526 )
2009-01-28
Total views
18 ( #557,597 of 2,401,526 )
Recent downloads (6 months)
1 ( #551,447 of 2,401,526 )
How can I increase my downloads?
Downloads
