PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
sections
Encyclopædia
Papers
Books
Expositions

meta
Requests (236)
Orphanage
Unclass'd (1)
Unproven (540)
Corrections (51)
Classification

talkback
Polls
Forums
Feedback
Bug Reports

downloads
Snapshots
PM Book

information
News
Docs
Wiki
ChangeLog
TODO List
Copyright
About
Encyclopedia by subject

03E35 - Mathematical logic and foundations :: Set theory :: Consistency and independence results

  1. chain condition owned by Henry
  2. composition of forcing notions owned by Henry
  3. composition preserves chain condition owned by Henry
  4. equivalence of forcing notions owned by Henry
  5. forcing owned by ratboy
  6. forcing relation owned by Henry
  7. forcings are equivalent if one is dense in the other owned by Henry
  8. FS iterated forcing preserves chain condition owned by Henry
  9. iterated forcing owned by Henry
  10. iterated forcing and composition owned by Henry
  11. partial order with chain condition does not collapse cardinals owned by mathcam
  12. proof of partial order with chain condition does not collapse cardinals owned by Henry
  13. proof that forcing notions are equivalent to their composition owned by Henry

Show empty categories:
[ up | top ]