# Axiomatic set theory book recommendation

I was playing around with a theorem in combinatorics about finite sets and was trying to find a meaningful generalization of it to non-finite sets. At one point without thinking I wrote that:

$$\text{ The power-set of }X=\mathcal{P}(X)=\bigcup_{n=0}^{\infty}\{S\subseteq X:|S|=n\}$$

Then about five seconds later I realized it was false, because my set $X$ might contain a subset whose cardinality is not a natural number. So I tried to salvage this partially, using my essentially zero knowledge on ordinal numbers and more advanced set theory, basically I wrote something akin to: $$\mathcal{P}(X)=\bigcup_{\substack{\gamma\leq |X|\\\gamma\text{ a cardinal number}}}\{S\subseteq X:|S|=\gamma\}$$

However I'm not even sure if this makes sense. To make it formal I would have to reform that lower index to something like "the set of cardinals", but I don't even know if that's a set?? I'm starting to feel really stupid, I mean throughout most of my time studying I've never really made use of any sets with cardinality say greater then $|\mathbb{R}|$ maybe $|\mathcal{P}(\mathbb{R})|$ when working with function spaces, though even then I never really made use of it.

Also I've tried to play around with stuff like this before, where I see something cool and want to make a generalization for non-finite sets and sometimes I can manage by manipulating things weirdly and finding bijections to establish equinumerosity. But I imagine if I had some more tools up my sleeve like a familiarity with cardinal arithmetic etc. I could probably do this much faster and likely find results I couldn't have got before because I lacked the ability to manipulate sets with arbitrary cardinality in a nice way.

So in short can someone recommend me some reading on "advanced set theory" (no idea what to call it, just want to make sure its not a book on naive set theory etc. which I'm fine with).

• Why can’t you just say that the power set is the set of all subsets and be done with it? Jan 7, 2018 at 3:50
• Say I have a set $X$ equipped with an equivalence relation $\sim$ and I want to find all the permutations $\sigma\in \text{Sym}(X)$ such that $x\sim y\iff \sigma(x)\sim \sigma(y)$. Now these permutations form a group under composition which can be explicitly written out as a wreath product BUT the expression involves pairing up all the sets $S\in X/\sim$ by their cardinality. Jan 7, 2018 at 3:53
• @user3865391 en.wikipedia.org/wiki/Axiom_of_power_set Jan 7, 2018 at 4:02
• @DavidReed The powerset was just an example. On occasion I find it useful to partition out sets by their cardinality, like in my previous example involving $\sim$ preserving automorphisms. More generally when working with say infinite permutation groups if one finds a block system en.wikipedia.org/wiki/Block_(permutation_group_theory) and wants to separate out the blocks. Breaking up all the blocks into subsets by cardinality seems like a good first step to prune out what is being interchanged/swapped by the group action. Or at least thats what I might do, I don't know I'm no expert. Jan 7, 2018 at 4:06
• @user3865391 Ok. I was also thinking you could hit some of the links from that page to ZFC and axiomatic set theory to get a taste of it. Really the entire subject requires tiresome development which is why I limited my response to references. To answer your other question, the class of all cardinal numbers is not a set. (i.e. the set doesn't exist Jan 7, 2018 at 4:10

Axiomatic Set Theory is the term you are looking for. Technically speaking you should really make sure you have a strong background in first-order logic first, as ZFC(Zermelo-Frankel Set Theory with Choice-the "standard" set theory construction) is formulated in FOL. However, you could probably get away without it if you are familiar with the basics of quantifiers and logical symbols and are just looking to take the conceptual approach. If that's the case a good one would be Axiomatic Set Theory by Suppes. A good intro to FOL book is "Computability and Logic" by Boolos. Alternatively, if you search "Axiomatic Set Theory" on amazon a bunch of books will come up that you can read user reviews of.

There are many detailed recommendations of books on (non naive) set theory -- entry level books in §4.3, and the whole of §7 on rather more advanced books -- in the Teach Yourself Logic Study Guide. There should be enough description of the level/coverage of the various books for you to find what you need.

• That's a nice (though somewhat intimidating) guide you've written there! Jan 8, 2018 at 16:28

Even though I do not know of a book to recommend, I feel compelled to answer, because I think that despite of the current title of the question you do not want an introduction to axiomatic set theory, but a primer in sets and cardinalities for the working mathematician.

You are right that the class of all cardinal numbers is not a set, however all cardinals below a given one certainly form a set, so there is no problem here.

Just try to read a bit about cardinal arithmetic somewhere, and go from there.

• Note that the title was not given to this question by the OP. Jan 7, 2018 at 10:15

Your second idea is workable, and we do have to avoid the problem you noticed, namely that there is no set of all cardinals. Note that there is a $$1$$-parameter sentence $$C$$ over ZFC such that $$C(x)$$ says "$$x$$ is a cardinal", which I think you know. Now we have the following:

Let $$F = \{ T : T \in P(P(X)) \land T=\{ S : S \in P(X) \land |S|=k \} \land C(k) \land k \le |X| \}$$.

Then $$F = \{ \{ S : S \in P(X) \land |S|=k \} : C(k) \land k \le |X| \}$$.

Thus $$\bigcup F = P(X)$$.

Some people recommend Kunen's "Set Theory", which would definitely be a rigorous textbook on ZFC set theory, though I have not read it myself. If you are interested in a concise motivation and explanation of ordinals and cardinals in ZFC set theory, you can also read this post.

I recommend Set Theory by Kenneth Kunen: