Cofinality of normal ideals on [ λ] <        κ I

Pierre Matet; Cédric Péan; Saharon Shelah

doi:10.1007/s00153-016-0496-5

Cofinality of normal ideals on [ λ] ^< ^κ I

Pierre Matet^*, Cédric Péan, Saharon Shelah

^*Corresponding author for this work

Einstein Institute of Mathematics

Research output: Contribution to journal › Article › peer-review

6 Scopus citations

Abstract

An ideal J on [ λ] ^< ^κ is said to be [ δ] ^< ^θ-normal, where δ is an ordinal less than or equal to λ, and θ a cardinal less than or equal to κ, if given B_e∈ J for e∈ [ δ] ^< ^θ, the set of all a∈ [ λ] ^< ^κ such that a∈ B_e for some e∈ [ a∩ δ] ^< ^| ^a ^∩ ^θ ^| lies in J. We give necessary and sufficient conditions for the existence of such ideals and describe the smallest one, denoted by NSκ,λ[δ]<θ. We compute the cofinality of NSκ,λ[δ]<θ.

Original language	English
Pages (from-to)	799-834
Number of pages	36
Journal	Archive for Mathematical Logic
Volume	55
Issue number	5-6
DOIs	https://doi.org/10.1007/s00153-016-0496-5
State	Published - 1 Aug 2016

Bibliographical note

Publisher Copyright:
© 2016, Springer-Verlag Berlin Heidelberg.

Keywords

Normal ideal
[ λ]

Access to Document

10.1007/s00153-016-0496-5

Cite this

@article{6f18602c7cd64be7aa711bf154a730bf,

title = "Cofinality of normal ideals on [ λ] < κ I",

abstract = "An ideal J on [ λ] < κ is said to be [ δ] < θ-normal, where δ is an ordinal less than or equal to λ, and θ a cardinal less than or equal to κ, if given Be∈ J for e∈ [ δ] < θ, the set of all a∈ [ λ] < κ such that a∈ Be for some e∈ [ a∩ δ] < | a ∩ θ | lies in J. We give necessary and sufficient conditions for the existence of such ideals and describe the smallest one, denoted by NSκ,λ[δ]<θ. We compute the cofinality of NSκ,λ[δ]<θ.",

keywords = "Normal ideal, [ λ]",

author = "Pierre Matet and C{\'e}dric P{\'e}an and Saharon Shelah",

note = "Publisher Copyright: {\textcopyright} 2016, Springer-Verlag Berlin Heidelberg.",

year = "2016",

month = aug,

day = "1",

doi = "10.1007/s00153-016-0496-5",

language = "אנגלית",

volume = "55",

pages = "799--834",

journal = "Archive for Mathematical Logic",

issn = "0933-5846",

publisher = "Springer New York",

number = "5-6",

}

TY - JOUR

T1 - Cofinality of normal ideals on [ λ] < κ I

AU - Matet, Pierre

AU - Péan, Cédric

AU - Shelah, Saharon

PY - 2016/8/1

Y1 - 2016/8/1

N2 - An ideal J on [ λ] < κ is said to be [ δ] < θ-normal, where δ is an ordinal less than or equal to λ, and θ a cardinal less than or equal to κ, if given Be∈ J for e∈ [ δ] < θ, the set of all a∈ [ λ] < κ such that a∈ Be for some e∈ [ a∩ δ] < | a ∩ θ | lies in J. We give necessary and sufficient conditions for the existence of such ideals and describe the smallest one, denoted by NSκ,λ[δ]<θ. We compute the cofinality of NSκ,λ[δ]<θ.

AB - An ideal J on [ λ] < κ is said to be [ δ] < θ-normal, where δ is an ordinal less than or equal to λ, and θ a cardinal less than or equal to κ, if given Be∈ J for e∈ [ δ] < θ, the set of all a∈ [ λ] < κ such that a∈ Be for some e∈ [ a∩ δ] < | a ∩ θ | lies in J. We give necessary and sufficient conditions for the existence of such ideals and describe the smallest one, denoted by NSκ,λ[δ]<θ. We compute the cofinality of NSκ,λ[δ]<θ.

KW - Normal ideal

KW - [ λ]

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

U2 - 10.1007/s00153-016-0496-5

DO - 10.1007/s00153-016-0496-5

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:84976337068

SN - 0933-5846

VL - 55

SP - 799

EP - 834

JO - Archive for Mathematical Logic

JF - Archive for Mathematical Logic

IS - 5-6

ER -