Steel forcing and barwise compactness

Annals of Mathematical Logic 22 (1):31-46 (1982)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 98,109

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2014-01-17

Downloads
29 (#636,107)

6 months
7 (#589,429)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Some recent developments in higher recursion theory.Sy D. Friedman - 1983 - Journal of Symbolic Logic 48 (3):629-642.
Projective subsets of separable metric spaces.Arnold W. Miller - 1990 - Annals of Pure and Applied Logic 50 (1):53-69.
Model theory for LāˆžĻ‰1.Sy D. Friedman - 1984 - Annals of Pure and Applied Logic 26 (2):103-122.
Applications of Fodor's lemma to Vaught's conjecture.Mark Howard - 1989 - Annals of Pure and Applied Logic 42 (1):1-19.
Model theory for< i> L_< sub>āˆž Ļ‰1.Sy D. Friedman - 1984 - Annals of Pure and Applied Logic 26 (2):103-122.

View all 6 citations / Add more citations

References found in this work

Countable models of set theories.Harvey Friedman - 1973 - In A. R. D. Mathias & Hartley Rogers (eds.), Cambridge Summer School in Mathematical Logic. New York,: Springer Verlag. pp. 539--573.
Forcing with tagged trees.John R. Steel - 1978 - Annals of Mathematical Logic 15 (1):55.
The pure part of HYP(M).Mark Nadel & Jonathan Stavi - 1977 - Journal of Symbolic Logic 42 (1):33-46.
HC of an admissible set.Sy D. Friedman - 1979 - Journal of Symbolic Logic 44 (1):95-102.

Add more references