Local saturation of the non-stationary ideal over Pκ λ

Research output: Contribution to journalArticle

Abstract

Starting with a λ-supercompact cardinal κ, where λ is a regular cardinal greater than or equal to κ, we produce a model with a stationary subset S of Pκ λ such that NSκ λ | S, the ideal generated by the non-stationary ideal NSκ λ over Pκ λ together with Pκ λ {set minus} S, is λ+-saturated. Using this model we prove the consistency of the existence of such a stationary set together with the Generalized Continuum Hypothesis (GCH). We also show that in our model we can make NSκ λ | S (κ, λ) λ+-saturated, where S (κ, λ) is the set of all x ∈ Pκ λ such that ot (x), the order type of x, is a regular cardinal and x is stationary in sup (x). Furthermore we construct a model where NSκ λ | S (κ, λ) is κ+-saturated but GCH fails. We show that if S {set minus} S (κ, λ) is stationary in Pκ λ, then S can be split into λ many disjoint stationary subsets.

Original languageEnglish
Pages (from-to)100-123
Number of pages24
JournalAnnals of Pure and Applied Logic
Volume149
Issue number1-3
DOIs
Publication statusPublished - 2007 Nov
Externally publishedYes

Fingerprint

Saturation
Continuum Hypothesis
Supercompact Cardinal
Stationary Set
Order Type
Subset
Model
Disjoint

Keywords

  • Club-shooting
  • GCH
  • Non-stationary ideal
  • P λ
  • Saturated ideal

ASJC Scopus subject areas

  • Logic

Cite this

Local saturation of the non-stationary ideal over Pκ λ. / Usuba, Toshimichi.

In: Annals of Pure and Applied Logic, Vol. 149, No. 1-3, 11.2007, p. 100-123.

Research output: Contribution to journalArticle

@article{6f66339b03d24984b53ee35557f14868,
title = "Local saturation of the non-stationary ideal over Pκ λ",
abstract = "Starting with a λ-supercompact cardinal κ, where λ is a regular cardinal greater than or equal to κ, we produce a model with a stationary subset S of Pκ λ such that NSκ λ | S, the ideal generated by the non-stationary ideal NSκ λ over Pκ λ together with Pκ λ {set minus} S, is λ+-saturated. Using this model we prove the consistency of the existence of such a stationary set together with the Generalized Continuum Hypothesis (GCH). We also show that in our model we can make NSκ λ | S (κ, λ) λ+-saturated, where S (κ, λ) is the set of all x ∈ Pκ λ such that ot (x), the order type of x, is a regular cardinal and x is stationary in sup (x). Furthermore we construct a model where NSκ λ | S (κ, λ) is κ+-saturated but GCH fails. We show that if S {set minus} S (κ, λ) is stationary in Pκ λ, then S can be split into λ many disjoint stationary subsets.",
keywords = "Club-shooting, GCH, Non-stationary ideal, P λ, Saturated ideal",
author = "Toshimichi Usuba",
year = "2007",
month = "11",
doi = "10.1016/j.apal.2007.08.002",
language = "English",
volume = "149",
pages = "100--123",
journal = "Annals of Pure and Applied Logic",
issn = "0168-0072",
publisher = "Elsevier",
number = "1-3",

}

TY - JOUR

T1 - Local saturation of the non-stationary ideal over Pκ λ

AU - Usuba, Toshimichi

PY - 2007/11

Y1 - 2007/11

N2 - Starting with a λ-supercompact cardinal κ, where λ is a regular cardinal greater than or equal to κ, we produce a model with a stationary subset S of Pκ λ such that NSκ λ | S, the ideal generated by the non-stationary ideal NSκ λ over Pκ λ together with Pκ λ {set minus} S, is λ+-saturated. Using this model we prove the consistency of the existence of such a stationary set together with the Generalized Continuum Hypothesis (GCH). We also show that in our model we can make NSκ λ | S (κ, λ) λ+-saturated, where S (κ, λ) is the set of all x ∈ Pκ λ such that ot (x), the order type of x, is a regular cardinal and x is stationary in sup (x). Furthermore we construct a model where NSκ λ | S (κ, λ) is κ+-saturated but GCH fails. We show that if S {set minus} S (κ, λ) is stationary in Pκ λ, then S can be split into λ many disjoint stationary subsets.

AB - Starting with a λ-supercompact cardinal κ, where λ is a regular cardinal greater than or equal to κ, we produce a model with a stationary subset S of Pκ λ such that NSκ λ | S, the ideal generated by the non-stationary ideal NSκ λ over Pκ λ together with Pκ λ {set minus} S, is λ+-saturated. Using this model we prove the consistency of the existence of such a stationary set together with the Generalized Continuum Hypothesis (GCH). We also show that in our model we can make NSκ λ | S (κ, λ) λ+-saturated, where S (κ, λ) is the set of all x ∈ Pκ λ such that ot (x), the order type of x, is a regular cardinal and x is stationary in sup (x). Furthermore we construct a model where NSκ λ | S (κ, λ) is κ+-saturated but GCH fails. We show that if S {set minus} S (κ, λ) is stationary in Pκ λ, then S can be split into λ many disjoint stationary subsets.

KW - Club-shooting

KW - GCH

KW - Non-stationary ideal

KW - P λ

KW - Saturated ideal

UR - http://www.scopus.com/inward/record.url?scp=35348992040&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=35348992040&partnerID=8YFLogxK

U2 - 10.1016/j.apal.2007.08.002

DO - 10.1016/j.apal.2007.08.002

M3 - Article

AN - SCOPUS:35348992040

VL - 149

SP - 100

EP - 123

JO - Annals of Pure and Applied Logic

JF - Annals of Pure and Applied Logic

SN - 0168-0072

IS - 1-3

ER -