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 ...

learn more… | top users | synonyms

0
votes
0answers
3 views

(1) let ans = empty (2) for i from 1 to n do: $ans = A \cap ( ans \cup B_i )$ How to prove that $A \cap (\cup B_i) = ans$?

I have a problem on set theory. My problem is: (1) let ans = empty (2) for i from 1 to n do: $ans = A \cap ( ans \cup B_i )$ How to prove that $A \cap (\cup B_i) = ans$ ?
0
votes
0answers
10 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 ...
2
votes
1answer
58 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 ...
0
votes
1answer
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 ...
33
votes
5answers
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.
0
votes
1answer
50 views

Uncountable family of maximal antichains whose union is countable

Given a ccc preorder $\mathbb{P}$ and a family $\mathcal{A}=\{A_\alpha:\alpha<\omega_1\}$ of pairwise distinct maximal antichains of $\mathbb{P}$, is it possible that $|\bigcup\mathcal{A}|\leq \...
9
votes
1answer
232 views

What is the cardinal of non measureable set?

we know that $|P( \Bbb{R} )|=|L (\Bbb{R} )|$ ( $L (\Bbb{R} ) $ is the set of all Lebesgue measureable set ) note that $L (\Bbb{R} ) \subsetneq P( \Bbb{R} ) $. What is the cardinal of non ...
1
vote
0answers
33 views

Partial order on the set of ordinal functions

Let $\kappa$ be a regular ordinal. Say that for $f,g: \kappa \rightarrow \kappa$, $f \leq g$ iff $f(\alpha) \leq g(\alpha)$ for sufficiently large $\alpha$. Now define $(X_{\kappa},\preceq)$ as the ...
0
votes
0answers
51 views

How to prove that the universal sets “V ” can be well-ordered

I have a idea for prove the principle in my topic.Due to my limited knowledge.I will use a simple example to show my thought briefly: First of all,Suppose a set Vα∈V("α" is an abitrary ordinal number)...
3
votes
0answers
37 views

Consistency strength of a proposition about models of ZFC

I made a proposition about models of ZFC, which says that every countable model of ZFC is really countable in larger countable model: For every countable transitive model $M$ of ZFC there is a ...
1
vote
0answers
70 views

Brief overview of the foundations of math?

I am very interested in finding out about the foundations of math. When I feel foolish enough to try, I visit Wikipedia and end up in a truly endless rabbit hole. There are dozens of terms that I don'...
1
vote
1answer
174 views

Enderton's Elements of Set Theory Scott's Trick Exercise (page 207 problem 31)

31. Define kard $A$ to be the collection of all sets $B$ such that (i) $A$ is equinumerous to $B$, and (ii) nothing of rank less than rank $B$ is equinumerous to $B$. (a) Show that kard $A$ is a ...
5
votes
2answers
94 views

Meta proof-searching

Suppose you have a particular theory (ex: $ZFC$) in which you want to prove a statement $\phi$. One can attempt to find a proof of $\phi$ that can be verified, but another tactic can be to find a ...
0
votes
2answers
32 views

When is the union of a set of ordinals a limit ordinal?

Let $Y$ be a set of ordinals such that $\bigcup Y \not\in Y$. Then $\bigcup Y$ is a limit ordinal. Does this hold? It's taken from Drake's Set Theory, An Introduction to Large Cardinals, page 114, I ...
-1
votes
1answer
59 views

How to prove axiom of limitation of size with axiom of replacement and global axiom of choice [closed]

In the book<>written by Charles C.Pinter it said that in order to prove "the axiom of replacement together with strengthened version of axiom of choise imply axiom of limitation of size"(X is a ...
4
votes
1answer
93 views

Implications of existence of two inaccessible cardinals?

Many years ago in an oral exam I was asked, what could be concluded from the existence of an inaccessible cardinal in ZFC? I knew that would provide a model for ZFC and imply the consistency of ZFC. ...
2
votes
1answer
31 views

Counting the number of names for elements of a certain name.

I'm self studying the proof of consistency of MA on Jech's Set Theory (Theorem 16.13, p. 272). There is a step which I can't understand. To simplify the notation, I will try to "extract" the relevant ...
2
votes
1answer
54 views

Translation of the Axiom schema of Separation into purely category-theoretic terms.

It is well-known the the category $\mathcal Set$ is a topos. In this topos, how would one translate the Axiom schema of Separation into purely category-theoretic terms? I ask this question because ...
1
vote
3answers
224 views

Can one have a theory that includes its own consistency as an axiom?

Consider the theory with the following axioms: The axioms of ZFC The "axiom of consistency": "This theory, including this axiom and all of the theory's other axioms, is consistent." Phrased ...
9
votes
1answer
455 views

How did Cohen invent forcing?

A couple of popular maths book, I forget which stated that Cohen invented Forcing. Now, generally I've noticed that there is a history which allows one in hindsight to show that how certain ...
1
vote
1answer
135 views

Did Cantor both prove and disprove the Continuum hypothesis?

I have been listening to the podcasts of A Brief History of Mathematics on BBC Radio 4. In the episode on Georg Cantor the narrator, Prof. Marcus du Sautoy, says that one day Cantor proved that there ...
0
votes
3answers
51 views

Injective function between $\kappa^{\omega}$ and $[\kappa]^{\leqslant \omega}$

Is there an injective function $\varphi :\kappa^{\omega} \rightarrow [\kappa]^{\leqslant \omega}=\{ A\subset \kappa :|A|\leqslant \omega\}$ such that $\varphi (\alpha) \backslash \varphi (\beta)$ and $...
5
votes
1answer
190 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 ...
2
votes
2answers
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 ...
3
votes
3answers
185 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: ...
3
votes
1answer
210 views

Is it possible to prove $|V_\kappa|=\kappa$ for strongly inaccessible $\kappa$ without AC?

First, let me note that my definition of "strongly inaccessible" is that a nonzero ordinal $\kappa$ is strongly inaccessible if ${\rm cf}(\kappa)=\kappa$ and $\forall\alpha<\kappa, {\cal P}(\alpha)\...
3
votes
1answer
102 views

Filter, which does not have the Baire property

I do not understand the following proof of the following theorem. It is part of Theorem 4.1.2 (Talagrand theorem) in the book Tomek Bartoszyński and Haim Judah: Set theory. On the structure of the ...
7
votes
2answers
377 views

Relationships between AC, Ultrafilter Lemma/BPIT, Non-measurable sets

How is it possible to reconcile the following... In 1970, Solovay constructed Solovay's model, which shows that it is consistent with standard set theory, excluding uncountable choice, that all ...
11
votes
2answers
284 views

Can a basis for $\mathbb{R}$ be Borel?

Work in ZF (so no choice). Then it is consistent that there is no (Hamel) basis for $\mathbb{R}$ as a $\mathbb{Q}$-vector space. My question is about models where $\mathbb{R}$ does have a basis, but ...
4
votes
1answer
100 views

Question about accessibility of category of free abelian groups.

I've read, that the accessibility of the category of all free abelian groups is independent on basic set theory (say ZFC). What is the reason for that? And how can I interpret this result? Does it ...
11
votes
1answer
166 views

$\sf ZF$ — Sets that can be proven to exist

There are only countably many formal proofs in $\sf ZF$. Thus, there are only countably many sets that can be proven to exist in $\sf ZF$. This collection of sets seems to satisfy $\sf ZF$'s axioms; ...
1
vote
1answer
26 views

Measure of an antichain of the Random forcing

I'm dealing with the random forcing $\mathbb{P}=\mathbb{M}\mathbb{B}(X,\mu)$ defined in Kunen's 2013 book. Recall that the conditions of that forcing are the equivalence classes of positive measureble ...
2
votes
0answers
40 views

How do you call the operation $\Lambda(X) = \{\alpha\in X| |X\cap\alpha|=\alpha\}$ on the ordinals?

I found this operation $\Lambda(X) = \{\alpha\in X| |X\cap\alpha|=\alpha\}$ with $X\subset On$ in the book "The higher infinite" of Akahiro Kanamori and can't really imagine what it does. So could ...
0
votes
1answer
27 views

Property ccc of the random real forcing

I'm dealing with the random forcing $\mathbb{P}=\mathbb{M}\mathbb{B}(X,\mu)$ defined in Kunen's 2013 book. Recall that the conditions of that forcing are the equivalence classes of mesurable sets ...
3
votes
1answer
64 views

ZF and the Existence of Finitely additive measure on $\mathcal{P}(\mathbb{R})$

My understanding is that Solovay (1970)'s relative consistency shows that if ZFC+I has a model then ZF+DC has a model in which every subset of the reals is Lebesgue measurable (and hence $\sigma$-...
2
votes
2answers
76 views

Why are the Separation axioms 'too weak to develop set theory with its usual operations and constructions'?

I was reading Jech's Set theory; there after introducing Russell's Paradox, he asserted: The safe way to eliminate paradoxes of this type is to abandon the Schema of Comprehension and keep its ...
2
votes
2answers
365 views

About the existence of the diagonal set of Cantor

The classic proof of the Cantor set start with the assumption that the set $$B=\{x\in A:x\notin f(x)\}$$ exists, where $f: A\to\mathcal P(A)$ is a bijective function. I understand the proof but I ...
1
vote
2answers
51 views

Cardinality of the base of a ring of sets

Concretely, my question is: What is the size of the minimal base of a ring of sets? In my understanding the base is the set of elements that can be used to "deduce the rest". E.g., if I have a ring ...
14
votes
2answers
2k views

Axiom of Regularity

I am having difficulty understanding Axiom of Regularity : Every non-empty set $\rm A$ contains an element $\rm B$ which is disjoint from $\rm A.$ So from my understanding if I have a set like: ...
8
votes
2answers
933 views

What are the consequences if Axiom of Infinity is negated?

What mathematics can be built with standard ZFC with Axiom of Infinity replaced with its negation? Can the analysis be built? Is there special name for "ZFC without Infinity" set theory? I also ...
1
vote
1answer
61 views

Prikry Hypothesis implies Kurepa Hypothesis

I want to show that $\textbf{HP}_\kappa$ implies $\textbf{HK}_\kappa$, Prikry hypothesis and Kurepa hypothesis in $\kappa$, respectively. Where \begin{equation} \textbf{HK}_\kappa: \text{ There's a ...
1
vote
1answer
60 views

Jech 3rd Edition Section 12 page 162 Models of Set Theory

Jech page 162 states : Let Form denote the set of all formulas of the language {$\in$}. As with any actual (metamathematical) natural number we can associate the corresponding element of N (i.e. the ...
4
votes
1answer
78 views

Appealing axioms incompatible with large cardinal axioms

I'm interested to know what are some 'appealing' axioms that are inconsistent with ZFC plus some large cardinal axiom. I saw the question On the contradictory nature of large cardinals & choice-...
3
votes
1answer
50 views

If a theory $A$ can prove $B$ consistent relative to $A$, and $A$ is consistent, does $B$ have to be consistent?

Let's say we have two sets of axioms $A$ and $B$ such that $\mathsf{ZF} \subseteq A \subseteq B$, and from $A$ we can prove that if $A$ is consistent, then $B$ is consistent as well (that is, $A \...
4
votes
1answer
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 ...
2
votes
2answers
418 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 ...
3
votes
1answer
42 views

Definition of length of a sequence

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 ...
2
votes
1answer
109 views

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 ...
11
votes
0answers
116 views

Category-theoretic properties of cardinals

Let $\kappa$ be a cardinal, let $\mathbf{H}_\kappa$ be the set of hereditarily $\kappa$-small sets, and let $\mathbf{Set}_{< \kappa}$ be the full subcategory of $\mathbf{Set}$ corresponding to $\...
2
votes
4answers
418 views

A Vector Space is a Set - Axiom or Derivation?

I understand that structures with the properties of the real and complex numbers can be defined and derived from the axioms of ZFC set theory. But can a structure with the properties of a (possibly ...