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

3
votes
1answer
100 views

Minimality condition in a certain class of hypergraphs

A hypergraph is a pair $H=(V,E)$ such that $V$ is a (possibly infinite) set and $E\subseteq \mathcal{P}(V)$. $C\subseteq E$ is said to be a cover if $\bigcup C = V$ and $C$is minimal if $C'\subseteq ...
14
votes
2answers
476 views

Preservation of properness

Suppose $\mathbb P$ is a countably closed forcing, and $\mathbb Q$ is a c.c.c. forcing that adds reals. Is $\mathbb P$ still proper in $V^{\mathbb Q}$?
3
votes
1answer
272 views

Some questions on (non)-measurable sets without AC

In his answer to a Math Stack Exchange question of Katlus, Asaf Karagila wrote the following: "It is a theorem that from $ZF+DC+$"$\aleph_1$$\le$$|$$\mathbb R$$|$" we can prove that there is an ...
11
votes
1answer
232 views

counterexample regarding quotient algebras in forcing

Suppose $A$ and $B$ are complete subalgebras of a complete boolean algebra $C$. Let $G \subseteq A$ be generic. In the extension $V[G]$, we can define the quotient algebras $B/G$ and $C/G$ in the ...
8
votes
1answer
264 views

What is known about global well ordering of classes in Gödel-Bernays?

I would like to have something like a linear order on classes, such that every instantiated predicate of classes has a minimal instance in that order. For my purposes, it is fine to assume V=L for ...
6
votes
1answer
127 views

Strongly minimal covers

Let $H=(V,E)$ be a hypergraph, that is $V$ is a set and $E\subseteq \mathcal{P}(V)$. We say that $C\subseteq E$ is a cover of $H$ if $\bigcup C = V$. A cover $M\subseteq E$ is said to be strongly ...
25
votes
5answers
1k views

Forcing as a replacement of induction and diagonal arguments

Let me give some examples motivating the question. The use of forcing instead of induction: For this consider Cantor's theorem: Theorem 1. Any two countable dense linear orders $I, J$ without end ...
6
votes
0answers
241 views

A new cardinality living in every forcing extension?

This question is motivated by the papers http://arxiv.org/abs/1405.7456 and http://arxiv.org/abs/1410.1224. Say that a set $X$ is "generically presentable" over $V\models ZF$ if there is some ...
2
votes
1answer
231 views

Is there a name for this cardinal?

Let $X$ be a set and $\omega$ be a family of its subsets. Consider the family $\mathcal{F}$ of subsets of $X$, such that any $A\in\mathcal{F}$ has a non-empty intersection with each element of ...
3
votes
0answers
52 views

Optimal tiling for a collection of partitions

I'm interested in a possible generalization of Tiling relation on the set of partitions (the question has only been partially answered). Let $x$ be an infinite set and let $\text{Part}(x)$ be the ...
4
votes
1answer
101 views

Tiling relation on the set of partitions

Let $x\neq \emptyset$ be a set and let $\text{Part}(x)$ be the collection of all partitions of $x$. We need the following notation. Let $P \in \text{Part}(x)$ and $t\subseteq x$. We set $$P_{[t]} = ...
2
votes
1answer
113 views

Closed sets in ordinal spaces

I'm studying the ordinal space $[0,\kappa[$ where $\kappa\neq \omega$ is a cardinal of countable cofinality and I want to know why there are in $[0,\kappa[$ two disjoint closed sets of cardinality ...
2
votes
1answer
257 views

Axiomatic ZFC Set Theory [closed]

Can the Axiom Schema of Comprehension be omitted from ZFC since it is implied by the Axiom Schema of Replacement?
1
vote
1answer
162 views

A question regarding sets of Vitali's type in models of $ZF+GCH$ where $L$$\neq$$V$

Consider sets of Vitali's type in models of $ZF+GCH$ where $L$ $\neq$$V$. Are there sets of Vitali's type in both $L$ and $V-L$? If so, is there any way one can distinguish the constructible sets of ...
6
votes
2answers
628 views

A question on rank-to-rank embeddings

Consider a non-trivial elementary embedding $j:V_\lambda\to V_\lambda$ and, for each $A\subset V_\lambda$, set $j(A)=\bigcup_{\delta<\lambda}j(A\cap V_\delta)$. In Implications between strong ...
3
votes
3answers
328 views

The Set-Theoretic Multiverse and Joint Embeddings

I am curious whether or not the following axiom is independent of Hamkins's axioms for the Set-Theoretic Multiverse. Hamkins's axioms can be found here on pages 1-2 and here on pages 24-26. Consider ...
4
votes
5answers
866 views

A generalized diagonal?

A simple question. Let $ f:X\to Y $ be a function and let $ E_f:=\{(x, y): f (x)=f (y)\}\subset X\times X $. What is the name of the set $ E(f) $? It would be nice to have some reference also. It ...
1
vote
2answers
294 views

What is the consistency strength of a standard model of ZF versus a transitive model?

A standard model of ZF need not be transitive, of course, and Joel David Hamkins' answer to Large cardinal axioms and Grothendieck universes gives Tarski sets as an interesting example. I should ...
1
vote
2answers
229 views

Is there a pairing function from countable ordinals to $\mathbb N$? [closed]

It is well-known that there is a computable pairing function $<\ >:\mathbb N^2\to \mathbb N$. Let $X$ be some reasonable class of countable ordinals ($\omega_1^{CK}$, $\epsilon_0$, ...
5
votes
0answers
261 views

Cardinal characteristics without choice

(I'm taking my definition of a cardinal characteristic from Blass' excellent article http://www.math.lsa.umich.edu/~ablass/need.pdf, which cites Vojtas/Fremlin/Miller; theirs is more general, but I'm ...
2
votes
2answers
224 views

Is certain topology-related set a distributive lattice?

In my research the following problem appeared (and if it is true, this solves positively several my conjectures): Let $U$ be a fixed set (usually $U$ is infinite). Let $n$ be a fixed index set ($n$ ...
11
votes
2answers
690 views

Where is the Erdős–Rado theorem stated in Erdős and Rado's Bull AMS paper?

This may be inappropriate for MO, but here goes: if I have understood the statement of the Erdős–Rado theorem correctly, then it contains as a special case the following result: if $\mu$ is ...
5
votes
2answers
247 views

Is it consistent that $\frak{d} < 2^{\aleph_0}$?

Let $\omega^\omega$ denote the set of all functions $f:\omega\to\omega$. We write $f <^* g$ if there is $N\in\omega$ such that $f(n) < g(n)$ for all $n>N$. A set $D\subseteq \omega^\omega$ is ...
12
votes
4answers
1k views

Sierpinski's construction of a non-measurable set

In the early 20th century there was a lot of fuss over the axiom of choice implying that there are Lebesgue non-measurable sets of reals. In his book about The Axiom of Choice, Gregory Moore points to ...
2
votes
3answers
827 views

Where do Set Theory and Number Theory meet together?

As all know, by absoluteness theorems in Set Theory, most of theorems in number theory are $ZFC$-provable if and only if they are consistent with $ZFC$, it's because of absoluteness of essence of ...
12
votes
3answers
702 views

Complete resolutions of GCH

Let's say that a "complete resolution of GCH" is a definable class function $F: \operatorname{Ord}\longrightarrow \operatorname{ Ord}$ such that $2^{\aleph_\alpha} = \aleph_{F(\alpha)}$ for all ...
9
votes
0answers
167 views

Preserving Jonsson cardinals

I am (still) interested in trying to characterize and describe forcings that preserve Jonsson cardinals. A cardinal $\kappa$ is a Jonsson cardinal if there is no Jonsson algebra on $\kappa$, i.e. ...
4
votes
1answer
183 views

Is there a “natural” bijection between models of $ZFC$ and $ZF\neg C$?

I'm quite confident that there is the same number of models of $ZFC$ and of $ZF\neg C$, which means that there would exist a bijection between the former and the latter, by definition. However, I was ...
3
votes
1answer
119 views

Classify set theories whose transitive models sharing the same sets of ordinals are equal

This question is a follow-up from my recent question, Classifying set theories whose standard models sharing the same ordinals are equal Let's say that a (recursively axiomatizable) set theory $T$ ...
3
votes
1answer
177 views

A question on models of set theory and Lebesgue measure

In a question and an answer at MO, Joel David Hamkins showed that (if ZFC is consistent) there are models of ZFC in which $V\neq HOD$ and every $\Sigma_2$-definable set has a definable member. Let ...
12
votes
2answers
292 views

Classifying set theories whose standard models sharing the same ordinals are equal

Let's say that a (recursively axiomatizable) set theory $T$ extending ZF is "ordinal-categorical" if, whenever $M$ and $N$ are standard models of $T$ sharing the same ordinals, one has $M = N$. For ...
11
votes
1answer
561 views

Is forcing computable?

By results similar to Tennenbaum's theorem we know that there exist no computable models of $ZF$. But suppose we are given, as a sort of oracle, access to some model of $ZF$ (e.g. we can make oracle ...
30
votes
1answer
792 views

Producing finite objects by forcing!

It is a trivial fact that forcing can not produce finite sets of ground model objects. However there are situations, where we can use forcing to prove the existence of finite objects with some ...
0
votes
1answer
212 views

A question regarding $ZFC^{-}$

Given $ZFC^{-}$, that is, ZFC-Powerset+Collection+Separation, is there a set of alternative axioms $X$ (other than the trivial one, namely, {Powerset}) that, when added to $ZFC^{-}$, allow one to ...
9
votes
1answer
231 views

Strongest large cardinal axiom compatible with $V = L$?

What is the strongest known natural large cardinal axiom compatible with $V = L$ (strongest in the sense that it implies all known "small" large cardinal axioms, where a large cardinal axiom is said ...
0
votes
1answer
125 views

Lowering from filters to ultrafilters for an infinitary relation

Let $U$ be a set. Let $N$ be a (possibly infinite) index set. Let $f$ be an $N$-ary relation on $U$ (that is $f$ is a set of functions $N\rightarrow U$). I denote $\mathcal{L}\in \upuparrows f ...
12
votes
1answer
689 views

Lots of combinatorial interpretations of Catalan numbers

During a lecture I gave on Catalan numbers, I pointed out that that it is possible to give a continuum number of combinatorial interpretations of these numbers. See the solution to (f$^5$) on page 54 ...
-2
votes
1answer
168 views

Expressing a value related to an infinitary relation through ultrafilters

Let $U$ be a set. I denote $\mathfrak{A}$ the lattice of filters on $U$ ordered reverse to set theoretic inclusion of filters. I denote $\bigvee$ and $\bigwedge$ correspondingly the supremum and ...
6
votes
1answer
133 views

Consistency of the collection axiom scheme compared to replacement

Set theory ZFC- is ZFC without power set, but with replacement. It does not imply the collection axiom scheme, as discussed in http://jdh.hamkins.org/what-is-the-theory-zfc-without-power-set/ Does ...
2
votes
0answers
69 views

A question on recursion and transfinite recursion in extensions of KP

Is the $\Sigma_{n}$-recursion supported by $\Sigma_{n}KP=KP+\Sigma_{n}$-separation + $\Sigma_{n}$-collection equivalent with $\Sigma_{n}$ transfinite recursion? If not, how do these notions differ?
2
votes
1answer
111 views

Interweaving two indexed families of filters

Conjecture Let $U$ be an (infinite) set. Let $f$ be an $N$-ary (where $N$ is an arbitrary index set) relation on $U$ (that is a set of functions $N \rightarrow U$). Let $\mathcal{L}_0$, ...
2
votes
0answers
81 views

An analogue of CH for proper classes

Working in NBG set theory, with AC but without Global Choice, we ask for two proper classes A and B such that A strictly injects in B and B strictly injects in P(A); so Question: In NBG set theory, is ...
7
votes
1answer
239 views

Are there known ways to posit definable global choice in ZF without positing V=L?

I need a global choice function defined by a formula in (a fragment of) ZF. There is no harm in assuming V=L for my purposes. But I wonder if there are any familiar alternative ways to get this? ...
10
votes
2answers
339 views

Semiproper but not proper

Assume V=L. Is there a semi-proper notion of forcing that is not proper? Namba forcing isn't semi-proper in L, and Prikry forcing isn't even available there.
9
votes
0answers
173 views

countable OD sets in the Solovay model

It is known that the following is true in the Solovay model (SM) for ZFC: any countable OD (ordinal-definable) set $X$ of reals necessarily consists of OD elements. What about countable OD sets of ...
10
votes
3answers
216 views

First-order definable bijection between $P(On)$ (or $No$) and $V$? (Is this equivalent to $V = HOD$?)

It is known that locally one can ``code'' any set in the von Neumann universe $V$ by a set of ordinals. But can one do this globally? In other words, is there a first-order definable bijection ...
3
votes
1answer
143 views

CCC Forcing and $\omega_1$ conditions

I have a question about the proof of the Lemma 7.2 in the paper I. Juhász, P. Koszmider and L. Soukup, A first countable, initially $\omega_{1}$-compact but non-compact space, Topology and its ...
11
votes
1answer
372 views

What are the current views on consistency of Reinhardt cardinals without AC?

It's well known that Reinhardt cardinals are inconsistent, provided that we have access to axiom of choice, but, as far as I know, we are clueless about this when we don't assume choice. For me, the ...
5
votes
2answers
429 views

When do we have a bijection between a proper class A and its power set class P(A)?

We work in the set theory NBG with the axiom of (local choice but without global (class) choice. For every class A P(A) is the class of all sets x included in the class A. We know that P(A) is a set ...
3
votes
1answer
136 views

Formal systems needed to formalize relative independence results

We know that Con(ZF) implies Con(ZFC+GCH), Con(ZF+neg(AC)) and Con(ZFC+neg(CH)). But what are some weak theories in which these relative independence results are provable? In particular, are they ...