complete partial orders do not add small subsets
Suppose is a -complete partial order in . Then for any generic subset , contains no bounded subsets of which are not in .
Title | complete partial orders do not add small subsets |
---|---|
Canonical name | CompletePartialOrdersDoNotAddSmallSubsets |
Date of creation | 2013-03-22 12:53:32 |
Last modified on | 2013-03-22 12:53:32 |
Owner | Henry (455) |
Last modified by | Henry (455) |
Numerical id | 4 |
Author | Henry (455) |
Entry type | Theorem |
Classification | msc 03E40 |