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 |