Matches in Harvard for { <http://id.lib.harvard.edu/aleph/001035362/catalog> ?p ?o. }
Showing items 1 to 25 of
25
with 100 items per page.
- catalog contributor b1155657.
- catalog created "1982.".
- catalog date "1982".
- catalog date "1982.".
- catalog dateCopyrighted "1982.".
- catalog description "?-properness and (E,?)-properness revisited -- Preservation of ?- properness + the ??- property -- What forcing can we iterate without addding reals -- Specializing an Aronszajn tree without adding reals -- Iteration of orcing notions -- A general preservation theorem -- Three known properties -- The PP(P-point) property -- There may be no P-point -- There may exist a unique Ramsey ultrafilter -- On the ?2-chain condition -- The axioms -- Applications of axiom II -- Application of axiom I -- A counterexample connected to preservation -- Mixed iteration -- Chain conditions revisited -- The axioms revisited -- More on forcing not adding ?-sequences and on the diagonal argument -- Free limits -- Preservation by free limit -- Aronszajn trees: various ways to specialize -- Independence results -- Iterated forcing with RCS (revised countable support) -- Proper forcing revisited -- Pseudo-completeness -- Specific forcings -- Chain conditions and Avraham's problem -- ".
- catalog description "Bibliography: p. 492-496.".
- catalog description "Introducing forcing -- The consistency of CH (the continuum hypothesis) -- On the consistency of the failure of CH -- More on the cardinality and cohen reals -- Equivalence of forcings notions, and canonical names -- Random reals, collapsing cardinals and diamonds -- The composition of two forcing notions -- Iterated forcing -- Martin Axiom and few applications -- The uniformization property -- Maximal almost disjoint families of subset of ? -- Introducing properness -- More on properness -- Preservation of properness under countable support iteration -- Martin Axiom revisited -- On Aronszajn trees -- Maybe there is no ?2-Aronszajn tree -- Closed unbounded subsets of ?1 can run away from many sets -- On oracle chain conditions -- The omitting type theorem -- Iterations of -c.c. forcings -- Reduction of the main theorem to the main lemma -- Proof of main lemma 4.6 -- Iteration of forcing notions which does not add reals -- Generalizations of properness -- ".
- catalog description "Reflection properties of S 02: Refining Avraham's problem and precipitous ideals -- Strong preservation and semi-properness -- Friedman's problem -- The theorems -- The condition -- The preservation properties guaranteed by the S-condition -- Forcing notions satisfying the S-condition -- Finite composition -- Preservation of the I-condition by iteration -- Further independence results -- 0 Introduction -- When is Namba forcing semi-proper, Chang Conjecture and games -- Games and properness -- Amalgamating the S-condition with properness -- The strong covering lemma: Definition and implications -- Proof of strong covering lemmas -- A counterexample -- When adding a real cannot destroy CH -- Bound on for ?? singular -- Concluding remarks and questions -- Unif-strong negation of the weak diamond -- On the power of Ext and Whitehead problem -- Weak diamond for ?2 assuming CH.".
- catalog extent "xxix, 496 p. ;".
- catalog identifier "3540115935".
- catalog isPartOf "Lecture notes in mathematics (Springer-Verlag) ; 940.".
- catalog isPartOf "Lecture notes in mathematics ; 940".
- catalog issued "1982".
- catalog issued "1982.".
- catalog language "eng".
- catalog publisher "Berlin ; New York, N.Y. : Springer-Verlag,".
- catalog subject "Forcing (Model theory)".
- catalog subject "Logic, Symbolic and mathematical.".
- catalog subject "Mathematics.".
- catalog tableOfContents "?-properness and (E,?)-properness revisited -- Preservation of ?- properness + the ??- property -- What forcing can we iterate without addding reals -- Specializing an Aronszajn tree without adding reals -- Iteration of orcing notions -- A general preservation theorem -- Three known properties -- The PP(P-point) property -- There may be no P-point -- There may exist a unique Ramsey ultrafilter -- On the ?2-chain condition -- The axioms -- Applications of axiom II -- Application of axiom I -- A counterexample connected to preservation -- Mixed iteration -- Chain conditions revisited -- The axioms revisited -- More on forcing not adding ?-sequences and on the diagonal argument -- Free limits -- Preservation by free limit -- Aronszajn trees: various ways to specialize -- Independence results -- Iterated forcing with RCS (revised countable support) -- Proper forcing revisited -- Pseudo-completeness -- Specific forcings -- Chain conditions and Avraham's problem -- ".
- catalog tableOfContents "Introducing forcing -- The consistency of CH (the continuum hypothesis) -- On the consistency of the failure of CH -- More on the cardinality and cohen reals -- Equivalence of forcings notions, and canonical names -- Random reals, collapsing cardinals and diamonds -- The composition of two forcing notions -- Iterated forcing -- Martin Axiom and few applications -- The uniformization property -- Maximal almost disjoint families of subset of ? -- Introducing properness -- More on properness -- Preservation of properness under countable support iteration -- Martin Axiom revisited -- On Aronszajn trees -- Maybe there is no ?2-Aronszajn tree -- Closed unbounded subsets of ?1 can run away from many sets -- On oracle chain conditions -- The omitting type theorem -- Iterations of -c.c. forcings -- Reduction of the main theorem to the main lemma -- Proof of main lemma 4.6 -- Iteration of forcing notions which does not add reals -- Generalizations of properness -- ".
- catalog tableOfContents "Reflection properties of S 02: Refining Avraham's problem and precipitous ideals -- Strong preservation and semi-properness -- Friedman's problem -- The theorems -- The condition -- The preservation properties guaranteed by the S-condition -- Forcing notions satisfying the S-condition -- Finite composition -- Preservation of the I-condition by iteration -- Further independence results -- 0 Introduction -- When is Namba forcing semi-proper, Chang Conjecture and games -- Games and properness -- Amalgamating the S-condition with properness -- The strong covering lemma: Definition and implications -- Proof of strong covering lemmas -- A counterexample -- When adding a real cannot destroy CH -- Bound on for ?? singular -- Concluding remarks and questions -- Unif-strong negation of the weak diamond -- On the power of Ext and Whitehead problem -- Weak diamond for ?2 assuming CH.".
- catalog title "Proper forcing / Saharon Shelah.".
- catalog type "text".