Con(u>i)

Saharon Shelah

doi:10.1007/BF01277485

Con(u>i)

Saharon Shelah^*

^*Corresponding author for this work

Einstein Institute of Mathematics

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

23 Scopus citations

Abstract

We prove here the consistency of u>i where: u=Min{|X|:X{subset double equals}P(ω) generates a non-principle ultrafilter}, i=Min{|A|:A is a maximal independent family of subsets of ω} In this we continue Goldstern and Shelah [G1Sh388] where Con(r>u) was proved using a similar but different forcing. We were motivated by Vaughan [V] (which consists of a survey and a list of open problems). For more information on the subject see [V] and [G1Sh388].

Original language	English
Pages (from-to)	433-443
Number of pages	11
Journal	Archive for Mathematical Logic
Volume	31
Issue number	6
DOIs	https://doi.org/10.1007/BF01277485
State	Published - Nov 1992

Access to Document

10.1007/BF01277485

Cite this

@article{42c6f95e6030408e9d4f40eddaddc612,

title = "Con(u>i)",

abstract = "We prove here the consistency of u>i where: u=Min{|X|:X{subset double equals}P(ω) generates a non-principle ultrafilter}, i=Min{|A|:A is a maximal independent family of subsets of ω} In this we continue Goldstern and Shelah [G1Sh388] where Con(r>u) was proved using a similar but different forcing. We were motivated by Vaughan [V] (which consists of a survey and a list of open problems). For more information on the subject see [V] and [G1Sh388].",

author = "Saharon Shelah",

year = "1992",

month = nov,

doi = "10.1007/BF01277485",

language = "אנגלית",

volume = "31",

pages = "433--443",

journal = "Archive for Mathematical Logic",

issn = "0933-5846",

publisher = "Springer New York",

number = "6",

}

TY - JOUR

T1 - Con(u>i)

AU - Shelah, Saharon

PY - 1992/11

Y1 - 1992/11

N2 - We prove here the consistency of u>i where: u=Min{|X|:X{subset double equals}P(ω) generates a non-principle ultrafilter}, i=Min{|A|:A is a maximal independent family of subsets of ω} In this we continue Goldstern and Shelah [G1Sh388] where Con(r>u) was proved using a similar but different forcing. We were motivated by Vaughan [V] (which consists of a survey and a list of open problems). For more information on the subject see [V] and [G1Sh388].

AB - We prove here the consistency of u>i where: u=Min{|X|:X{subset double equals}P(ω) generates a non-principle ultrafilter}, i=Min{|A|:A is a maximal independent family of subsets of ω} In this we continue Goldstern and Shelah [G1Sh388] where Con(r>u) was proved using a similar but different forcing. We were motivated by Vaughan [V] (which consists of a survey and a list of open problems). For more information on the subject see [V] and [G1Sh388].

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

U2 - 10.1007/BF01277485

DO - 10.1007/BF01277485

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

AN - SCOPUS:0037803222

SN - 0933-5846

VL - 31

SP - 433

EP - 443

JO - Archive for Mathematical Logic

JF - Archive for Mathematical Logic

IS - 6

ER -

Con(u>i)

Abstract

Access to Document

Other files and links

Fingerprint

Cite this