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 independence-results
Search options answers only
not deleted
user 14915
This tag is for questions about proving that some statement is independent from a theory, meaning it is neither provable nor refutable from that theory. Common examples are the continuum hypothesis from the axioms of ZFC, and the axiom of choice from the axioms of ZF.
9
votes
Is every p-point ultrafilter Ramsey?
Another small and slightly trivial addendum:
If there are no p-points, then every p-point is a Ramsey ultrafilter. (Duh!)
As Andreas Blass remarked above, this situation is consistent, which is easier …
- 14k
19
votes
Accepted
Formal proof of Con(ZFC) => Con(ZFC + not CH) in ZFC
The reflection principle is a theorem scheme; each of its instances is provable in ZFC.
The following proof works entirely in ZFC:
Assume Con(ZFC) together with not-Con(ZFC+non-CH) and aim for a c …
- 14k