Search Results
| Search type | Search syntax |
|---|---|
| Tags | [tag] |
| Exact | "words here" |
| Author |
user:1234 user:me (yours) |
| Score |
score:3 (3+) score:0 (none) |
| Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
| Views | views:250 |
| Code | code:"if (foo != bar)" |
| Sections |
title:apples body:"apples oranges" |
| URL | url:"*.example.com" |
| Saves | in:saves |
| Status |
closed:yes duplicate:no migrated:no wiki:no |
| Types |
is:question is:answer |
| Exclude |
-[tag] -apples |
| For more details on advanced search visit our help page | |
Results tagged with forcing
Search options not deleted
user 67115
Forcing is a method first used to prove the continuum hypothesis is independent of the classical axioms of set theory
4
votes
Proving results about complete Boolean algebras in ZFC using Boolean valued models
You can, for example, show that many standard complete boolean algebras like Cohen algebra cannot be isomorphic to a quotient $\mathcal{P}(X) / I$ for any sigma ideal $I$ over $X$. These results are d …
- 41