# Tagged Questions

This tag is for set theory topics typically studied at the advanced undergraduate or graduate level. These include cofinality, axioms of ZFC, axiom of choice, forcing, set-theoretic independence, large cardinals, models of set theory, ultrafilters, ultrapowers, constructible universe, inner model ...

29 views

26 views

### Could “ω is an ordinal” be proved without axiom of induction?

Let ω (or all natural numbers) be the set defined by the axiom of infinity in ZF system, ordinal be "transitive and well ordered by ∈", and a set is transitive if all its elements are also its subset. ...
44 views

### Club class of inaccessibles

I am currently looking at what Drake calls the Axiom Schema F, "Every normal function defined for all ordinals has a regular fixed point". In ZFC+(Axiom F), does it hold that there is a club class of ...
62 views

### Is a vector space isomorphic to the kernel $\oplus$ image of a map out of it?

Let $f:V\to W$ be a linear map of finite-dimensional vector spaces. By simply counting dimensions and using rank-nullity, it is clear that $V\cong \mathrm{im}\,f\oplus\mathrm{ker}\,f$. I want to know ...
82 views

### Can we take definability and existence as primitive notions of a theory?

One of my friend tries to develop an alternative viewpoint of Set Theory. For this he has taken the terms binary relation, set, existence and definability as primitive notions of his Set Theory. After ...
2k views

### Advantage of accepting the axiom of choice

What is the advantage of accepting the axiom of choice over other axioms (for e.g. axiom of determinacy)? It seems that there is no clear reason to prefer over other axioms.. Thanks for help.
52 views

192 views

### In NFU, is there a bijection between the set of all sets and the set of all one-element sets?

In the set theory NFU (described by M. Randall Holmes in "Elementary Set Theory with a Universal Set"), it is possible to define the set of all sets, and the set of all one-element sets. An object is ...
65 views

### Reference: Mahlo cardinals remain Mahlo in L

The following is stated on Wikipedia for Mahlo cardinals. Unfortunately, it's not sourced. Where can I find details? I wasn't able to google any articles dealing with Mahlo cardinals in $L$. Since ...
186 views

### How does Ulam's argument about large cardinals work?

I am looking for either a reference, a proof, or a suitable proof sketch that can explain Ulam's original argument about measure theory and measurable cardinals. Here is the result I am looking for: ...
210 views

116 views

### Does PA prove that Con(PA) implies Con(ZF-I) and Con(NFU)?

I read from many sources that PA and ZF-I (a suitable axiomatization of ZF minus Infinity plus its negation) are bi-interpretable, but is PA enough to prove that they are equiconsistent? Specifically ...
421 views

### What would be the consequences if ZFC proved its own inconsistency, nonconstructively? [closed]

Let's say a nonconstructive proof was given in ZFC that ZFC was inconsistent. Note that this doesn't automatically make ZFC inconsistent. Given a consistent theory $X$, $X + \neg \text{Con}(X)$ is ...
In definition $3.11$, the author defined the following rank: If the sets $A$ and $B$ can be separated by a transfinite difference of closed sets, then let $\alpha_1(A,B)$ denote the length of ...
### How is the set of all even numbers definable from $\omega$?
This Set Theory textbook (page 89) defines definable sets as follows: Definition 6.8. Given a set $a$ and a formula $\Phi$ we define the formula $\Phi^a$ to be the formula derived from $\Phi$ by ...