forcing, large cardinals, descriptive set theory, infinite combinatorics, cardinal characteristics, forcing axioms, ultrapowers, measures, reflection, pcf theory, models of set theory, axioms of set theory, independence, axiom of choice, continuum hypothesis, determinacy, Borel equivalence ...

learn more… | top users | synonyms

5
votes
0answers
83 views

Does $\mathsf{fReR}_0$ prove the existence of the cartesian product of two sets

$\mathsf{fReR}_0$ is the set-theoretical system whose axioms consist of: (1) Axiom of extensionality: $\forall z\in x\ (z\in y)\wedge\forall z\in y\ (z\in x)\rightarrow x=y$ (2) Axiom of empty set: ...
1
vote
1answer
164 views

Can (how) one distinguish germs of continuous functions by a countable set of params?

Continuous functions can be distinguished by their values at say rational points of [0 1]. Germs of analytic functions can be distinguished by derivatives at a point. So in both cases we see ...
3
votes
2answers
170 views

A question on Gandy-Jensen system and the rudimentary functions

Let $\mathrm{R}_0,\cdots,\mathrm{R}_8$ be the following functions: $\mathrm{R}_0(x,y)=\{x,y\}$ $\mathrm{R}_1(x,y)=x-y$ $\mathrm{R}_2(x)=\bigcup x$ $\mathrm{R}_3(x,y)=x\times y$ ...
7
votes
1answer
225 views

On $V$-decisive and weakly homogeneous forcings

Suppose that $\Bbb P$ is a forcing in $V$, we say that $\Bbb P$ is $V$-decisive if whenever $\varphi(x_1,\ldots,x_n)$ is a statement in the language of forcing, and $u_1,\ldots,u_n\in V$ then $1_{\Bbb ...
6
votes
0answers
180 views

Canonical functions in set theory and their applications

Given regular cardinal $\kappa>\omega,$ we can define the canonical functions $f_\alpha: \kappa\to \kappa,$ for $\alpha<\kappa^+.$ Some of their properties are presented in Chapter 22 of the ...
4
votes
1answer
557 views

About the hypothesis of Zorn's lemma

The proofs I know of Zorn's lemma give the following refinement: Let $(X,<)$ be a partially ordered set such that every well-ordered subset of $X$ has an upperbound. Then $X$ has a maximal ...
10
votes
3answers
367 views

The continuum hypothesis for packing shapes without overlapping

Consider the finite cross $C$ (=union of line segments $\overline{(0, -1)(0, 1)}$ and $\overline{(-1, 0)(1, 0)}$) and the unit half-circle $H$. It is easy to see that we may pack continuum-many ...
6
votes
1answer
170 views

Can the Cohen forcing collapse cardinals?

Let $\kappa$ be a regular cardinal, and let $\mathbb{P} = Add(\kappa,1)$ be the standard forcing notion for adding a new subset of $\kappa$ using partial function from $\kappa$ to $2$ with domain of ...
2
votes
2answers
94 views

proof that “small” sets in an extension by iterated forcing already appear in an earlier stage

In Kunen's book (introduction to independence proofs, ) the following lemma is proved (chapter 8, lemma 5.14): Assume that in M, $\alpha$ is a limit ordinal, $( ( \mathbb{P}_\xi : \xi \leq \alpha) , ...
12
votes
4answers
1k views

Is it possible to formulate the axiom of choice as the existence of a survival strategy?

Consider the following situation: There is an infinite set $G$ of giraffes. A lion comes and announces a set $C$ of all possible colours and an infinite cardinal $\kappa$. The hungry lion ...
6
votes
1answer
204 views

non(Meager) in Random times Random extension

Suppose the least size of a non meager set of reals is $\kappa$. Is it still $\kappa$ after forcing with Random $\times$ Random?
3
votes
0answers
131 views

Recursively Pointed Sacks Forcing and Preserving $\omega_1$

Let $\mathbb{P}$ denote recursively pointed Sacks forcing. This is forcing with recursively pointed perfect trees ordered by inclusion. A tree $T \subseteq {}^{<\omega}2$ is recursively pointed if ...
12
votes
1answer
226 views

Discrete subsets in the topology of pointwise convergence vs. metrisability

While reading Arkhangel'skii's Topological function spaces, I encountered an unexpected application of Martin's Axiom. This is Theorem II.5.20: Assume $\mathsf{MA}+\neg \mathsf{CH}$. Let $X$ be a ...
3
votes
1answer
192 views

How to change the successor of a singular with a Woodin?

I'm looking for references on how to change the successor of a singular cardinal from "more or less" minimal assumptions. If possible, then without adding bounded subsets to the singular either. In ...
3
votes
1answer
176 views

Consequences of ZFC+“$|x|\lt|y| \rightarrow |2^x|\lt|2^y|$”

This question stems from http://mathoverflow.net/a/6594/22332 and really is summarized in the title: Has there been any research on the power of $|x|\lt|y| \rightarrow |2^x|\lt|2^y|$? It seems like it ...
5
votes
1answer
172 views

Consistency of Weak Diamond with a Weak Version of Martin's Axiom

If $S \subset \omega_1$ is stationary, then the weak diamond principle $\Phi(S)$ states that for any $F: 2^{<\omega_1} \to 2$, there is a $g: \omega_1 \to 2$ such that for all $f: \omega_1 \to 2$, ...
4
votes
1answer
172 views

Another question on Borel sets and projections

Let $A$ be a (bounded) Borel set in $R^n$. Then we know that its projection $A_1$ on $R^{n-1}$ does not have to be Borel. But does $A_1$ have the following property? Let $\mu$ be a given ...
4
votes
1answer
286 views

Forcing is intuitionistic

The main idea of why it´s necessary a generic filter $G$ to extend a countable transitive $\epsilon$-interpretation (not necessarily a model) $M$ is given by the condition (for which $G$ being a ...
7
votes
1answer
174 views

Erdős cardinals and $0^\sharp$

It is well-known that if the Erdős cardinal $\kappa(\omega_1)$ exists, then $0^\sharp$ exists, but what if $\kappa(\lambda)$ exists for a limit ordinal $\omega_1^L\leq \lambda<\omega_1$? Does this ...
0
votes
1answer
144 views

A Question Regarding the Powerset Size Axiom

Consider the the Powerset Size Axiom, that is, the following: (PSA) ($\forall$x,y) |x|$\lt$|y|$\Rightarrow$$2^{|x|}$$\lt$$2^{|y|}$. Does there exist a class $\mathscr M$ of models of ZFC such that ...
0
votes
0answers
29 views

Unfinite partition of $\mathbb N$ [migrated]

I am looking for an explicit partition of $\mathbb N$ with the following condition: $$\mathbb N=\bigsqcup_{i\in\mathbb N}A_i$$ where all the $A_i$'s are infinite. What I mean by explicit is a formula ...
4
votes
1answer
194 views

Iterated ultrapowers of L

If there exists a measurable cardinal, we can generate a sequence of iterated ultrapowers $\{Ult_U^\alpha(V)\}_{\alpha\in ON}$. If $0^\sharp$ exists, i.e. if there exists an elementary embedding ...
0
votes
0answers
3 views

Proving set equality [migrated]

I'm trying to prove two sets are equal, and I am wondering if my method of proof is ok. I know the "standard" way to show two sets are equal is to show that each is a subset of the other. Doing this ...
3
votes
1answer
144 views

Does existence of $\omega_1$ subset of reals imply $\omega_1$ choice for subsets of reals?

Suppose there exists a subset of $\Bbb R$ which has cardinality $\omega_1$. Is it then necessarilly true that for every collection of $\omega_1$ subsets of $\Bbb R$ there exists a choice function? I ...
3
votes
1answer
161 views

Is Every New Real in the Silver Extension a Silver Generic Real?

Let $\mathbb{V}$ denote Prikry-Silver forcing. That is, $\mathbb{V}$ is forcing with partial functions $\omega \rightarrow 2$ with coinfinite domain or forcing with uniform trees. Let $\dot x$ ...
6
votes
1answer
309 views

Explicit examples of undetermined games

Suppose we have a game between two players in which they take alternating turns. The game can have finite length, length $\omega$ or any transfinite number of steps (however, I'm not concerning games ...
10
votes
1answer
212 views

On the definition of the $\alpha$-iterable cardinals

I am reading the paper Ramsey-like cardinals II by Victoria Gitman and Philip Welch (Journal of Symbolic Logic, vol. 76, no. 2. pp. 541-560, 2011) and maybe I am missing something. According to the ...
9
votes
4answers
460 views

Boolean Valued Models of PA

O.K, a massively naive question. I've never really studied any non-standard models of PA before. I was just wondering if there's ever been any attempt to use the kind of Boolean valued model theory ...
9
votes
0answers
174 views

Is $\mathbb{Z}^{\omega}$ ever the union of a chain of proper subgroups each isomorphic to $\mathbb{Z}^{\omega}$?

Recall that the covering number $cov(B)$ is the least cardinal $\kappa$ such that $\kappa$ meagre sets cover the real line. Andreas Blass and John Irwin http://www.math.lsa.umich.edu/~ablass/bb.pdf ...
8
votes
2answers
891 views

The impact of large cardinals in mathematics [closed]

What are the main applications of large cardinals in ordinary mathematics, and what is the philosophy behind using them. In particular: Question 1. What is the philosophy behind accepting large ...
8
votes
2answers
285 views

cardinality of perfect sets in generalized Baire space

I've been unable to find an answer to the following question in the literature on generalized descriptive set theory. Consider Baire space $\kappa^{\kappa}$ where $\kappa$ is inaccessible. The basic ...
3
votes
1answer
156 views

Preservation Results for Iterations of Non-Proper Forcing

Suppose $\mathbb{P}$ is a forcing with the following properties: Let $G \subseteq \mathbb{P}$ be filter generic over $V$, then there exists $A \in V[G]$ such that $V[G]$ thinks $A$ is countable and $A ...
7
votes
5answers
752 views

What is the best way to construct an Aronszajn Tree?

What is the best definition of Aronszajn tree? And, what is the best proof that it exists? So I write the question to learn more about Aronszajn trees, any further detail is my intention to ...
5
votes
2answers
331 views

If every nonseparable metric space contains a sequence of subsets with no convergent subsequence, does the Continuum Hypothesis hold?

If every nonseparable metric space contains a sequence of subsets with no convergent subsequence, does the Continuum Hypothesis hold? The answer is negative, and in the interests of self-contained ...
6
votes
1answer
190 views

On a weak tree property for inaccessible cardinals

Suppose that $\kappa$ is inaccessible and consider a tree of height $\kappa$ whose levels have size strictly below some cardinal $\gamma < \kappa$. Does this type of tree always have a ...
9
votes
1answer
481 views

Is $\mathbb{R}$ a $\mathbb{C}$-module without AC?

Assuming ZFC. We can make $(\mathbb{R},+)$ into a nontrivial(scaler multiplication is not identicaly zero) $\mathbb{C}$-module. Now my questions are? 0.Is it consistent with $ZF$ that $\mathbb{R}$ is ...
4
votes
1answer
182 views

A Question Regarding Weak Diamond

In Assaf Rinot's survey article "Jenson's diamond principle and its relatives", he proves the following fact: Fact 2.5:For every stationary set S, $\Phi_{S}$...entails that no ladder system ...
6
votes
1answer
246 views

higher-order reflection

In the first-order context, "reflection" of a formula $\varphi(x)$ below $\kappa$ refers to the the following situation: There are many ordinals $\alpha<\kappa$ such that for all $a \in ...
5
votes
1answer
357 views

Can $V\neq\text{HOD}$ if every $\Sigma_2$-definable set has an ordinal-definable element?

This question arises from an issue arising in user38200's recent question concerning models of set theory in which every definable set has a definable element. In my answer to that question, with ...
7
votes
3answers
550 views

Is it consistent with ZFC (or ZF) that every definable family of sets has at least one definable member?

I consider definability to mean one of either cases: Definability without parameters (in the language of set theory), or Definability from ordinals and a real (in the same language). So my ...
4
votes
1answer
194 views

Constructing a function from preimages

This question was inspired by Can we build a continuous function from "fibers"/preimages defined over a topological base? Let $X,Y$ be sets and $L\subseteq \mathcal{P}(Y)$. Suppose $L$ has ...
4
votes
0answers
162 views

A question about $\dot{S^Q}$-semiproperness and revised countable support iterated forcing of length a limit ordinal

For a forcing notion $Q$, let $\dot{S^Q}$ be the $Q$-name for the class of ordinals $\{\kappa : \kappa = \omega_1^{V}$ $or$ $\kappa$ $is$ $a$ $regular$ $uncountable$ $cardinal \}$ in $V^Q$. We say ...
6
votes
1answer
341 views

Different approaches to forcing

There are many different approaches to the forcing method, and I am looking for all known such approaches. So my question is: Question 1. Which different approaches to set theoretic forcing are ...
3
votes
2answers
169 views

Operators on $\ell_\infty(\Gamma)$ and almost disjoint families of subsets

It is well known that given an operator $T:\ell_\infty\to\ell_\infty$ such that $Tx=0$ for each $x\in c_0$ there exists an infinite subset $M$ of the positive integers so that $Tx=0$ for each $x\in ...
6
votes
0answers
223 views

Silver's unpublished work on reverse Easton iteration

Silver was the first person who used the method of reverse Easton iterations in connection with large cardinals, and used it to force the failure of $GCH$ at some measurable cardinal. At most papers ...
6
votes
1answer
332 views

A “good scale” that is not really a scale

I don't know much about singular cardinal combinatorics, so I apologize in advance if I write something that is wrong or looks funny. First let me recall some basic definitions. Let $\lambda$ be a ...
27
votes
3answers
768 views

Is the fixed point property for posets preserved by products?

Recall that a partially ordered set (poset) $P$ has the fixed point property (FPP) if any order preserving function $f:P\longrightarrow P$ has a fixed point. Theorem. Suppose $P$ and $Q$ are posets ...
6
votes
1answer
89 views

$RUCar^{V}$-semiproperness implies properness

This is a claim in Shelah's Proper and Improper Forcing, more specifically Claim 2.3(1) of Chapter X (p. 484). The proof of the claim is "Easy" but I cannot quite figure it out. There must be some ...
16
votes
1answer
462 views

Three old questions on the Sacks forcing

I came across the two following Qs in 1970. Find reals $a,b$ such that $a$ is Sacks over $L[b]$ and vice versa $b$ is Sacks over $L[a]$. Note that a Sacks $\times$ Sacks generic pair definitely does ...
10
votes
1answer
340 views

Erdős cardinals and ineffable cardinals

In Cantor's Attic it is stated that an $\omega$-Erdős cardinal is a stationary limit of ineffable cardinals, and Jech book is given as a reference, but I cannot find this result in that book. I have ...