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 big-list
Search options not deleted
user 57583
Questions designed to generate a "big list" of certain results, examples, conjectures, etc. via many individual answers, each contributing one or a few instances. Such a question should typically be in Community Wiki mode (CW); after asking, please, flag for moderators attention requesting the question to be made CW.
5
votes
Has philosophy ever clarified mathematics?
Perhaps it has been cited elsewhere in this context, but Hilary Putnam's 1980 short essay "Models and reality" brings together mathematics and philosophy in its discussion of $V = L$ and the Loewenhei …
7
votes
Examples of ZFC theorems proved via forcing
The Gitik-Shelah theorem is also perhaps an example, first proved with forcing by its discoverers, and then without by Anastasis Kamburelis and David Fremlin independently:
Moti Gitik, Saharon Shela …
19
votes
Proofs of the uncountability of the reals
There is a surjection from $\mathbb{R}$ onto $\omega_{1}$, but none from $\omega$.
(Edit: I see, buried amongst the many comments, that bof suggested this proof for $P(\omega)$ instead of $\mathbb{R …
- 2,111