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

learn more… | top users | synonyms

0
votes
1answer
17 views

If $2^{\aleph_{\beta}}\geq \aleph_{\alpha}$, then $\aleph_{\alpha}^{\aleph_{\beta}}=2^{\aleph_{\beta}}$.

If $2^{\aleph_{\beta}}\geq \aleph_{\alpha}$, then $\aleph_{\alpha}^{\aleph_{\beta}}=2^{\aleph_{\beta}}$. Proof: Note that if $\beta \geq \alpha$, then we have ...
0
votes
1answer
61 views

Is Bell's Notion of “Abstract Set” Flawed?

Consider the following definition of "abstract set" given by John L. Bell (who wrote the book "Set Theory: Boolean-valued Models and Independence Proofs") from his preprint "Abstract and Variable ...
8
votes
0answers
69 views

How much set theory does the category of sets remember?

Question. Let $M$ be a model of enough set theory. Then we can form a category $\mathbf{Set}_M$ whose objects are the elements of $M$ and whose morphisms are the functions in $M$. To what extent is ...
-1
votes
0answers
53 views

Where researches Set Theory? [on hold]

A quick question for anyone who might know: What universites do good research in set theory? I'm thinking about possible places to do a PhD (mostly in the UK, but would consider abroad) but it is hard ...
5
votes
3answers
265 views

Good Sources for Lecture Movies in Set Theory, Logic and Philosophy of Maths

Of course as any other researcher I'm not able to attend any scientific event in my research area. But it is always interesting and useful to watch the lecture movies of these events. I will ...
0
votes
1answer
41 views

Construction of natural numbers in ZF/ZFC without class predicates.

I'm told by some websites that it's possible to formally construct the naturals in ZF without recourse to either predicates involving classes ("all inductive sets", yuck) or some sort of "intuitive ...
5
votes
0answers
37 views

Type-definable Forcing or forcing in a non-first order setting

Roughly speaking, in set forcing the forcing notion is a set from ground model's perspective and in class forcing its a definable subset of the ground model given by solutions of some formula with ...
2
votes
0answers
28 views

Is it true that each large cardinal which is not first order expressible has no extender characterization?

It is well-known that Reinhardt cardinal (i.e. The critical point of a non-trivial self-elementary embedding of the universe in $ZF$) is not first order expressible. Does this imply that Reinhardt ...
3
votes
1answer
192 views

Is there any category theoretic proof for independence of Continuum Hypothesis?

Both of set theory and category theory could be a foundation for mathematics. Many set theoretic arguments could be translated to a category theoretic argument and vice versa. Question: Is there ...
-1
votes
1answer
52 views

ineffable, weakly compact, and ? cardinal

In the online book, page 312, http://projecteuclid.org/download/pdf_1/euclid.pl/1235419485 what cardinal notion do we get, by requireing that X in the bottom of the page, is not only stationary ...
0
votes
0answers
37 views

Does this version of Schröder-Bernstein-Cantor imply choice? [duplicate]

Consider the following statement: $(*)$ For all sets $A$,$B$ and surjections $f\colon A \rightarrow B$, $g\colon B \rightarrow A$ there is a bijection $h\colon A \rightarrow B$ Given choice, this ...
1
vote
1answer
25 views

Generic in Boolean-Valued-Models

Let $M$ be a transitive $\in$-interpretation of a extension $T$ of $ZF$ in $ZF$,and let $B$ such that $$T\vdash B\in M\wedge B\text{ is a complete Boolean algebra}$$ Then, using the fact that any set ...
2
votes
1answer
49 views

Equivalent condition for CH

I would like to know why the following condition $\otimes$ is equivalent with the Continuum Hypotheses. $\otimes$ There exists a sequence $<A_{\alpha} | \alpha < \omega_1>$, such that for ...
1
vote
2answers
29 views

Are the hyperreal numbers densely ordered?

Using the construction mentioned in this post are the hyperreals densely ordered? If not, is there a construction in which they are? This should be a rather straightforward question, but my brain ...
2
votes
0answers
56 views

Kanamori's proof that Vopenka's principle implies the existence of extendibles.

In The Higher Infinite, Kanamori gives a proof that Vopenka's principle implies the existence of (many) extendibles. The relevant theorem is Proposition 24.15 on p.337. Working in a $V_\kappa$ which ...
0
votes
1answer
49 views

What is the formal way to define “class” in ZFC?

Unlike axiomatic systems deal with classes such as NBG, the term "class" is not a word in ZFC. How do I formally treat classes? Here is an example of what I'm exactly talking about. Example ...
1
vote
1answer
93 views

There are any known example of independence proofs about independence result?

(This question is inspired by deleted question, and the questioner who write the deleted question wrote new question.) It is well-known that consistency of "ZF + DC + every set of reals are Lebesgue ...
2
votes
2answers
115 views

Different models of ZF disagree on equality of explicit recursively enumerable sets

Assuming that ZF is consistent, are there two recursively enumerable sets defined by explicit enumerators that are the same in one model of ZF+Con(ZF) but different in another model of ZF+Con(ZF)? If ...
0
votes
1answer
34 views

Normal tree with $\aleph_1$ nodes and no branch of cardinality $\aleph_1$

I am trying to understand how a normal tree with $\aleph_1$ node can fail to have a branch of cardinality $\aleph_1$. Consider the tree of height $\omega_1$ whose nodes are $\mathbb{Q}$-valued ...
4
votes
1answer
77 views

Second reading on set theory?Any recommendations?

I have in past six-ish months studied through the Herbert Endertons Elements of set theory book. Up to the point the book is great,I loved most parts of it and learned almost everything up to the ...
9
votes
2answers
298 views
+50

Words in the Category of Sets

I was wondering about free objects in different categories and the "words" in those categories. I think I have a generally good grasp on the idea, but I started to think about stranger free objects ...
4
votes
1answer
120 views

Consistency strength of 0-1 valued Borel measures

The following is an overly fancy way of asking a question suggested in Borel Measures: Atoms vs. Point Masses Let $\phi$ be a property that topological spaces can have (such as "compact", "$T_1$", ...
2
votes
2answers
58 views

Cardinality of the set of all numbers that modern math can define?

I have recently learned that the algebraic numbers are countably infinite, and that very few transcendental numbers are known. Are enough transcendentals known to make up an uncountable set, or is ...
1
vote
1answer
34 views

Prove that $\omega_{\alpha+1}$ is regular

Here, under the section 'Regular and Singular Cardinal', there is this sentence 'Assuming the Axiom of Choice, $\omega_{\alpha+1}$ is regular for each $\alpha$' . May I know how to prove this? Also, ...
0
votes
1answer
28 views

Haudorff Formula Set Theory

For every $\alpha$ and every $\beta$, $$\aleph_{\alpha+1}^{\aleph_{\beta}}=\aleph_{\alpha}^{\aleph_{\beta}} \cdot \aleph_{\alpha+1}$$ Proof: If $\beta \geq \alpha+1$, then ...
3
votes
0answers
69 views

Intuition for the choice of background (set) theory

Problem From the formalist point of view, any mathematical statement should ultimately be an assertion about the derivability of a certain formula in a certain formal system, call it the background ...
2
votes
1answer
38 views

Todorcevic's proof on existence of Aronszajn Trees

I'm currently using Kanamori's book, The Higher Infinite, and am trying to understand the proof of Theorem 7.10 on page 79. However, I am unable to follow the construction of the $\beta^{\alpha}_i$. ...
2
votes
1answer
62 views

Graph of all sets

Working with set theory of ZFC, would it be possible to construct a graph (as in graph theory) with the class of all sets as its nodes? With "is it possible" I mean, would it lead to a contradiction ...
4
votes
2answers
132 views

What is the opposite category of $Set$?

In $Set$ the initial object is the empty set, and it has an unique morphism to each other object, namely $f=\emptyset$. However I find it difficult to think about the category ${Set}^{op}$, is there ...
0
votes
1answer
62 views

Infinite Cardinal Addition Without the Axiom of Choice

In the book 'Introduction to Set Theory' by Hrbacek and Jech, cardinal addition is defined as $$\sum_{i \in I}{\kappa_i}=\left|\bigcup_{i \in I}{A_i} \right|$$ where $|A_i|=k_i$ for all $i \in I$ ...
3
votes
3answers
60 views

$|A\times B|= \text{max}(|A|,|B|)$ for infinite sets

I am fairly sure, given examples $\Bbb{R}\times \Bbb{R},\Bbb{R}\times \Bbb{Q},\Bbb{Q}\times \Bbb{Q} $, that this is correct, but do not know how to prove it. In my cited examples the proof has ...
1
vote
2answers
163 views

Friends and Enemies of Infinities [closed]

Infinity is a dividing line in the community of mathematicians. There is a long standing contest between those who believe in rich theory of infinite mathematics and large infinite numbers and those ...
3
votes
1answer
70 views

Aronszajn Trees and König's Lemma

I'm looking at König's Lemma and Aronszajn Trees. I've seen the following link: König's Infinity Lemma and Aronszajn Trees Long story short, I'm still left with two questions and I was ...
-1
votes
1answer
55 views

ZFC, NBG and Naive set theory

I want to discuss about 2 systems: ZFC and NBG, and Naive set theory. I know that we can prove some class is a set in NBG. Can we prove some class is a set in ZFC? (I know that every thing is a set ...
1
vote
0answers
22 views

Transitive proof

I am trying to prove: Let $Trans(Z)\wedge x\subseteq Z$. Then $Z \cup \{x\}$ is transitive. Or prove: $$ Trans(Z)\wedge x\subseteq Z \rightarrow Trans(Z\cup \{x\}) $$ My attempt used the identity: ...
0
votes
0answers
65 views

Is the notion of “small cardinal” well definable?

When we talk about large cardinals, at least for many of them, we usually isolate a particular property expressing their "relative largeness with respect to cardinals below them". For example being ...
1
vote
1answer
70 views

Problem about infinitary combinatorics

I faced following problem: Prove that there is an s.d. family $\mathscr{A}\subset\mathcal{P}(\omega)$ of size $\omega_1$ which has a subfamily $\mathscr{B}\subseteq\mathscr{A}$ s.t. ...
1
vote
1answer
94 views

Platonist research on the cardinality of the reals

Apologies to any formalist! Here's the basic thought: $\mathbb{R}$ is a well-defined concept with unambiguous meaning in reality. Everyone can imagine an infinite series of digits (signifying the ...
0
votes
0answers
43 views

Cardinal Arithmetic Example Wikipedia

Hello I am studying cardinal arithmetic, and found out that I found that $\mathfrak{c}^{\aleph_0} = (2^{\aleph_0})^{\aleph_0} = 2^{\aleph_0 \aleph_0} = 2^{\aleph_0} = \mathfrak{c} $. However I found ...
1
vote
1answer
62 views

If $X$ is a subset of $\omega_{\alpha}$ such that $|X| < \aleph_{\alpha}$, then $|\omega_{\alpha} - X| = \aleph_{\alpha}$

If $\alpha=0$, then $\omega_0=\mathbb{N}$ and $\aleph_0=$ countable. So $|\omega_{\alpha} - X| = \aleph_{\alpha}$ becomes $|\mathbb{N}-X|=|\mathbb{N}|$ which is true (the function $f:\mathbb{N} ...
5
votes
3answers
114 views

Showing a set of indexes where restriction is bijection is a club

I'm trying to show some general statement: I have a regular cardinal $ \kappa $ and an increasing continuous family of sets $ \langle X_\alpha \mid \alpha < \kappa \rangle $ with $ ...
0
votes
1answer
69 views

Godel Universes [closed]

Can somebody give me a nice and clear definition of what these are at different levels and different ordinals. I have read the wikipedia page and talked with peers, but am still confused about the ...
3
votes
1answer
83 views

ZF Set Theory and Law of the Excluded Middle

I know that the law of the excluded middle is implied in ZFC set theory, since it is implied by the axiom of choice. Taking away the axiom of choice, does ZF set theory (with axioms as stated in the ...
1
vote
1answer
31 views

A filter $G$ on $P$ is generic iff whenever $W$ is a partition of $P$, $G \cap W \not = \emptyset$

I'm finally struggling a little bit with the notion of forcing, so I decided to do some of the exercises in Jech's book (2nd Edition) in order to sharpen a little bit my intuitions about the whole ...
0
votes
2answers
57 views

Show that $\aleph_{\alpha} +\aleph_{\alpha} = \aleph_{\alpha}$ and $n \cdot \aleph_{\alpha} = \aleph_{\alpha}$

a) Give a direct proof of $\aleph_{\alpha} +\aleph_{\alpha} = \aleph_{\alpha}$ by expressing $\omega_{\alpha}$ as a disjoint union of two sets of cardinality $\aleph_{\alpha}$. b) Give a direct proof ...
2
votes
1answer
48 views

Introducing a new element to make a new model of set theory

Say we have a model of set theory $V$ and a partially ordered structure $\mathbb{P}$, and I want to talk about a $V$-generic filter $G$. A $V$-generic filter is a filter such that for every $D\in V$ ...
5
votes
1answer
36 views

What's a good introductory text to ZF set theory? [duplicate]

I've done the usual undergraduate coursework and am interested in learning about ZF set theory. What are some texts that would be accessible to me, and what are the most popular texts in this ...
0
votes
0answers
18 views

Logarithms of Cardinals [duplicate]

Given any infinite cardinal $\lambda\neq\omega$, is it the case that there's a cardinal $\kappa$ such that $2^{\kappa}=\lambda$? Does this depend on whether the Continuum Hypothesis is true? Clearly, ...
1
vote
0answers
34 views

Proving Replacement in $ZF^-$ without Replacement but with Collection

I was told in lecture, that in $ZF^-$ the replacement axiom scheme follows from adding the collection axiom scheme (without proof). So I tried proving it, but since I'm new to set theory, I need ...
6
votes
2answers
102 views

Does $\sf GCH$ imply that every uncountable cardinal is of the form $2^\kappa$?

I think that this is a popular fallacy that GCH implies that every uncountable cardinal is of the form $2^\kappa$ for some $\kappa$. I think it does imply that for successor cardinals only. It cannot ...