Stationary Subsets of $\lbrack \aleph\omega \rbrack^{<\omegan}$

Journal of Symbolic Logic 58 (4):1201 - 1218 (1993)
  Copy   BIBTEX

Abstract

In this paper, assuming large cardinals, we prove the consistency of the following: Let n ∈ ω and k1, k2 ≤ n. Let f: ω → {k1, k2} be such that for all $n_1 n, cf(\mathscr{B} \cap \omega_m) = \omega_{f(m)}$.

Categories

Keywords

Reprint years

DOI

10.2307/2275139

Other Versions

reprint Liu, Kecheng (1994) "Stationary Subsets of $\lbrack \aleph_\omega \rbrack^{<\omega_n}$". Journal of Symbolic Logic 59(4):1201-1218

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,139

External links

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

Through your library

My notes

Similar books and articles

Generalized R-Cohesiveness and the Arithmetical Hierarchy: A Correction to "Generalized Cohesiveness".Carl Jockusch & Tamara Lakins - 2002 - Journal of Symbolic Logic 67 (3):1078 - 1082.
Countable structures, Ehrenfeucht strategies, and wadge reductions.Tom Linton - 1991 - Journal of Symbolic Logic 56 (4):1325-1348.
Stationary subsets of $\lbrack \aleph_\omega \rbrack^{.Kecheng Liu - 1993 - Journal of Symbolic Logic 58 (4).
More canonical forms and dense free subsets.Heike Mildenberger - 2004 - Annals of Pure and Applied Logic 125 (1-3):75-99.
The largest countable inductive set is a mouse set.Mitch Rudominer - 1999 - Journal of Symbolic Logic 64 (2):443-459.
Successive cardinals with no partial square.John Krueger - 2014 - Archive for Mathematical Logic 53 (1-2):11-21.
A downward Löwenheim-Skolem theorem for infinitary theories which have the unsuperstability property.Rami Grossberg - 1988 - Journal of Symbolic Logic 53 (1):231-242.
On the expressibility hierarchy of Magidor-Malitz quantifiers.Matatyahu Rubin & Saharon Shelah - 1983 - Journal of Symbolic Logic 48 (3):542-557.
The Consistency Strength of $$\aleph{\omega}$$ and $$\aleph{{\omega}_1}$$ Being Rowbottom Cardinals Without the Axiom of Choice.Arthur W. Apter & Peter Koepke - 2006 - Archive for Mathematical Logic 45 (6):721-737.

Analytics

Added to PP
2011-05-29

Downloads
40 (#563,186)

6 months
14 (#232,731)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references