• DOI:10.1090/S0002-9939-1995-1233972-4
• Corpus ID: 7031921

On tree ideals

@inproceedings{Goldstern1993OnTI,
  title={On tree ideals},
  author={Martin Goldstern and Miroslav Repick{\'y} and Saharon Shelah and Otmar Spinas},
  year={1993}
}

• M. Goldstern, Miroslav Repický, +1 author O. Spinas
• Published 15 November 1993
• Mathematics

Let 10 and m0 be the ideals associated with Laver and Miller forcing, respectively. We show that add(l0) < cov(10) and add(mO) < cov(mO) are consistent. We also show that both Laver and Miller forcing collapse the continuum to a cardinal < [ . INTRODUCTION AND NOTATION In this paper we investigate the ideals connected with the classical tree forcings introduced by Laver [La] and Miller [Mi]. Laver forcing L is the set of all trees p on <'co such that p has a stem and whenever s E p extends stem(p) then Succp(s) :={n: sn E p} is infinite. Miller forcing M is the set of all trees p on <'co such that p has a stem and for every s E p there is t E p extending s such that Succp(t) is infinite. We denote the set of all these splitting nodes in p by Split(p). For any t E Split(p), Splitp(t) is the set of all minimal (with respect to extension) members of Split(p) which properly extend t. For both L and M the order is inclusion. The Laver ideal 10 is the set of all X C Oco with the property that for every p E L there is q E L extending p such that X n [q] = 0. Here [q] denotes the set of all branches of q. The Miller ideal m0 is defined analogously, using conditions in M instead of L. By a fusion argument one easily shows that 10 and mo are a-ideals. The additivity (add) of any ideal is defined as the minimal cardinality of a family of sets belonging to the ideal whose union does not. The covering number (cov) is defined as the least cardinality of a family of sets from the ideal whose union is the whole set on which the ideal is definedco in our case. Clearly co, < add(10) < cov(10) < c and co, < add(mO) < cov(mO) < c hold. Received by the editors January 22, 1993 and, in revised form, August 9, 1993. 1991 Mathematics Subject Classification. Primary 03E35, 03E50, 54A25. The first and third authors were supported by DFG grant Ko 490/7-1, and by the Edmund Landau Center for research in Mathematical Analysis, supported by the Minerva Foundation (Germany). Publication 487. The second author was supported by the Basic Research Foundation of the Israel Academy of Sciences and by grant GA SAV 365 of the Slovak Academy of Sciences. The fourth author was supported by the Basic Research Foundation of the Israel Academy of Sciences and the Schweizer Nationalfonds. ? 1995 American Mathematical Society 0002-9939/95 $1.00 + $.25 per page