Simple Search

Query:

Enter a query and click »Search«...

Format:

Display: entries per page entries

Zbl 0940.03059
Rosłanowski, Andrzej; Shelah, Saharon
Norms on possibilities. I: Forcing with trees and creatures. (English)
[J] Mem. Am. Math. Soc. 671, 167 p. (1999). ISSN 0065-9266

This monograph presents a very general framework for building forcing notions that add reals. When building such a forcing notion one has to balance restrictions (properties of the real) and freedom (manageable properties of the poset) in order to get something interesting. All forcing notions in the present memoir consist of conditions that look like $(w,\Cal S)$, where $w$ is a finite initial segment of the new real and $\Cal S$~limits the possible extensions of~$w$; so $(w,\Cal S)$~is stronger than~$(v,\Cal T)$ if $w$~is an extension of~$v$ allowed by~$\Cal T$ and $\Cal S$~is some sort of combination\slash narrowing of the limitations given by~$\Cal T$. An extreme case is Cohen forcing where always $\Cal S=\emptyset$ (complete freedom); Sacks forcing is on the opposite side: $w$~is the root of the perfect tree~$\Cal S$, which gives a very thin set of possible extensions indeed. \par The authors present two general ways of imposing restrictions. In the first $\Cal S$~is a sequence~$\langle s_i\rangle_i$ of relations between finite sequences, where $w\in\text{dom } s_0$; the simplest possible extension in this case would look like $(w',\Cal S')$, where $(w,w')\in s_0$ and $\Cal S'=\langle s_i\rangle_{i\ge 1}$. A good example of such a forcing notion is in {\it S. Shelah's} paper ``On cardinal invariants of the continuum'' [Axiomatic set theory, Proc. AMS-IMS-SIAM Jt. Summer Res. Conf., Boulder/Colo. 1983, Contemp. Math. 31, 183-207 (1984; Zbl 0583.03035)], where delicate composition methods enable one to push up the splitting number~$\frak s$, while keeping the unbounding number~$\frak b$ low. The second way involves trees; all well-known tree forcings suchas Laver, Miller and Sacks forcing fall into this category. \par This is not a paper that one peruses `to get the main idea'; one needs to soak up the contents of the first two chapters to be able to read and appreciate the rest of the work. It helps to have read and studied some special cases such as the aforementioned paper [Shelah, loc. cit.], {\it A. Blass} and {\it S. Shelah's} [``There may be simple $P_{\alpha_1}$- and $P_{\alpha_2}$-points and the Rudin-Keisler ordering may be downward directed'' [Ann. Pure Appl. Log. 33, 213-243 (1987; Zbl 0634.03047)] and {\it S. Shelah's} ``Vive la différence. I: Nonisomorphism of ultrapowers of countable models'' [Set theory of the continuum, Pap. Math. Sci. Res. Inst. Workshop, Berkely/CA (USA) 1989, Math. Sci. Res. Inst. Publ. 26, 357-405 + Erratum (1992; Zbl 0789.03035)]. The rewards are considerable though; one learns to use a versatile tool for constructing forcing notions and, along the way, encounters new ones such as one that is $\omega^\omega$-bounding, preserves outer measure and non-meager sets but does not have the Sacks property. There is a lot to be found in this paper, the reader is invited to go exploring.
[K.P.Hart (Delft)]

MSC 2000:: *03E40 Other aspects of forcing (set theory)
03E05 Combinatorial set theory (logic)
03E17 Cardinal characteristics of the continuum
03E35 Consistency and independence results (set theory)

Keywords: forcing; proper forcing notions; norms on possibilities; cardinal characteristics of the continuum

Citations: Zbl 0583.03035; Zbl 0634.03047; Zbl 0789.03035

Cited in: Zbl 1249.05379 Zbl 1130.03035 Zbl 1125.03036 Zbl 1078.03040 Zbl 1037.03043 Zbl 1030.03037 Zbl 0992.03058

Comment on this Item PDF MathML XML ASCII DVI PS BibTeX Online Ordering Journal

	Scientific prize winners of the ICM 2010
	Overhang
	Lie groups, physics and geometry. An introduction for physicists, engineers and chemists.

Simple Search

Zentralblatt MATH Berlin [Germany]