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 |
![]() ![]() ![]() ![]() |
Download options
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