3
votes
3answers
720 views

Algebraic structures of greater cardinality than the continuum?

Are there interesting algebraic structures whose cardinality is greater than the continuum? Obviously, you could just build a product group of $\beth_2$ many groups of whole numbers to get to such a ...
8
votes
2answers
502 views

Statements forced by one condition of a poset, but not the whole thing

In order to get the relative consistency of some statement, it suffices to find a notion of forcing, and a condition $p$ in that forcing, such that $p$ forces the desired statement. It seems to be ...
5
votes
2answers
6k views

Simple bijection between reals and sets of natural numbers

Using the Cantor–Bernstein–Schröder theorem, it is easy to prove that there exists a bijection between the set of reals and the power set of the natural numbers. However, it turns out to be difficult ...
19
votes
3answers
2k views

Clearing misconceptions: Defining “is a model of ZFC” in ZFC

There is often a lot of confusion surrounding the differences between relativizing individual formulas to models and the expression of "is a model of" through coding the satisfaction relation with ...
4
votes
3answers
1k views

Nonessential use of large cardinals

In Awfully sophisticated proof for simple facts, we are asked for examples of complex proofs of simple results. To quote from the questioner's post, we are asked for proofs that are akin to "nuking ...
9
votes
7answers
3k views

Can we have A={A} ?

Does there exist a set $A$ such that $A=\{A\}$ ? Edit(Peter LL): Such sets are called Quine atoms. Naive set theory By Paul Richard Halmos On page three, the same question is asked. Using the ...
116
votes
26answers
13k views

What are some reasonable-sounding statements that are independent of ZFC?

Every now and then, somebody will tell me about a question. When I start thinking about it, they say, "actually, it's undecidable in ZFC." For example, suppose A is an abelian group such that every ...