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 |
forcing, large cardinals, descriptive set theory, infinite combinatorics, cardinal characteristics, forcing axioms, ultrapowers, measures, reflection, pcf theory, models of set theory, axioms of set theory, independence, axiom of choice, continuum hypothesis, determinacy, Borel equivalence relations, Boolean-valued models, embeddings, orders, relations, transfinite recursion, set theory as a foundation of mathematics, the philosophy of set theory.
5
votes
Circular, or missing, definition in set theory?
If by "the domain of $x \in A$" you mean the objects you can put in $x$ and $A$ then the answer is everything.
This is due to the fact that in set theories such as ZFC and NBG all objects are set/clas …
0
votes
Large categories vs. $\mathrm{U}$-categories: why is the loss of category-theoretic informat...
I think there can be no easy answer to your question or to be exact I'm afraid that there are many different reasons for using universes instead of sticking with just one foundational set theory.
I w …