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

learn more… | top users | synonyms

8
votes
2answers
772 views

Is platonism regarding arithmetic consistent with the multiverse view in set theory?

A "truth" platonist for arithmetic believes, given a statement in the language of arithmetic, that the problem whether the statement is true has a definite answer. Prof. Hamkins has argued for a ...
5
votes
1answer
274 views

Statements that Could be Forced by Ultrapowers

Ultrapower of a structure is a very flexible mathematical creature in comparison with the ground structure and its ordinary products. Depending on the nature of ground structure and the good ...
2
votes
2answers
305 views

Non-Formal Applications: Higman and Kruskal

After looking through many papers, I noticed that most of the discussions and proofs for Higman's Lemma and Kruskal's Tree Theorem only have formal applications in set theory, logic, and type theory. ...
14
votes
1answer
252 views

Is the Martin's axiom number $\mathfrak m$ regular

The Martin's axiom number $\mathfrak m$ is the least cardinal $\kappa$ for which $\text{MA}_\kappa(\text{ccc})$ is false, i.e. the least cardinal such that there exists a ccc poset $P$ and a family $\...
3
votes
2answers
297 views

Is there an uncountable Borel almost disjoint family?

Here we are considering subsets $\mathcal{F}$ of $2^\omega$, which are in correspondence with families of subsets of $\omega$ (sets of "reals"). Such a family is Borel if it is a Borel subset of $2^\...
12
votes
0answers
200 views

Is there a locally compact, $\omega_1$-compact, not $\sigma$-countably compact space of size $\aleph_1$?

There are old ZFC examples due to Eric van Douwen that satisfy all the properties in the title, except that they are of cardinality $2^{\aleph_0}$, so the answer to the title question is YES if the ...
6
votes
0answers
193 views

The Hales-Jewett Theorem for an infinite alphabet

Recall the Hales-Jewett Theorem: HJT: Given a finite alphabet $A$ and some $r \in \mathbb{N}$, there is some $H \in \mathbb{N}$ such that whenever $A^H$, the set of all length-$H$ words from $A$, ...
6
votes
1answer
217 views

Does “$|{\cal P}_2(X)| = |X|$ for $X$ infinite” imply ${\sf (AC)}$?

This comes from a comment made by user bof in this thread. Let $X$ be a set, define ${\cal P}_2(X) = \big\{\{a, b\}: a\neq b\in X\big\}$. Consider the statement ${\sf (S)}$ If $X$ is an ...
5
votes
3answers
713 views

What does the axiom of replacement mean and why should I believe it?

Here Professor Blass describes the following cumulative hierarchy of sets: Begin with some non-set entities called atoms ("some" could be "none" if you want a world consisting exclusively of sets),...
8
votes
1answer
549 views

Edge chromatic number of hypergraphs

This is question Selection problem in a collection of non-empty sets with a simplification in criterion 3. Is there a set $X\neq\emptyset$ and a collection ${\cal F}\subseteq {\cal P}(X)\setminus\{\...
-2
votes
2answers
219 views

Selection problem in a collection of non-empty sets

Is there a set $X\neq\emptyset$ and a collection ${\cal F}\subseteq {\cal P}(X)\setminus\{\emptyset\}$ of non-empty subsets of $X$ with the following properties? $a\in {\cal F} \implies |a|\geq 2$, $...
6
votes
1answer
276 views

Are there first order theories of interest to an algebraist or at least a model theorist of large cardinal consistency strength?

I am wondering if there are some first order theories of algebraic structures or structures of interest to model theorists of large cardinal consistency strength or at least unexpectedly high ...
5
votes
1answer
287 views

How much choice does a linear or well-order on cardinals imply?

It is well-known that if the natural (partial) order on the class of cardinal numbers is a linear order, then it is in fact a well-order and the axiom of choice holds. I was, however, interested in ...
12
votes
1answer
837 views

Reverse-engineer forcing: am I reinventing the wheel?

In the course of a project I’m working on, I’ve started playing around with a sort of “reverse-engineering” forcing. It seems interesting, but I have a sinking feeling I’m reinventing the wheel; does ...
3
votes
1answer
151 views

Invariants of category in Polish spaces

Consider the invariants appearing in the Cichoń's diagram: $add(\mathcal I)$, $cov(\mathcal I)$, $non(\mathcal I)$, $cof(\mathcal I)$, where $\mathcal I$ is either the ideal of null sets for the ...
7
votes
0answers
174 views

Can you define a probability measure on the set of countable transitive models of ZFC?

It is well known that the set of hereditarily countable sets $H(\omega_1)$ —or, if you prefer, $H_{\omega_1}$— has cardinality $2^{\aleph_0}$, and I understand that every countable ...
12
votes
0answers
286 views

Is the universality of the surreal number line a weak global choice principle?

I'd like to consider the principle asserting that the surreal number line is universal for all class linear orders, or in other words, that every linear order (including proper-class-sized) linear ...
7
votes
1answer
194 views

Can Sacks forcing add a Cohen generic real over $L$?

Motivated by this question Forcing the negation of CH without adding Cohen reals over L and Todd Eisworth's comment, the question is the following: 1) Suppose $V$ has no Cohen generic reals over $L$. ...
28
votes
2answers
1k views

Should axiomatic set theory be translated into graph theory?

Recently I saw the abstract of a paper by Nash-Williams: ``Should axiomatic set theory be translated into graph theory?''. The abstract, taken from Mathscinet says the following: The author ...
8
votes
0answers
135 views

Are there always large discrete families of normal measures?

Let $\kappa$ be a measurable cardinal. We give the Stone space of all ultrafilters on $\kappa$ the usual topology, where each $x\subseteq\kappa$ determines a basic open $[x]=\{U;x\in U\}$. The ...
-2
votes
1answer
263 views

A set theory and a model without the empty set [closed]

Im just asking out of curiosity. Is there a set theory $\mathcal T$ and a model $\langle M,E\rangle \vDash \mathcal T$ such that no set in M is empty: $$\left(\forall m\in M \right)\left(\exists n\in ...
6
votes
1answer
306 views

Forcing the negation of CH without adding Cohen reals over L

Suppose CH + "there are no Cohen reals over L". Can we force the negation of CH without adding any Cohen real over L?
2
votes
2answers
525 views

Can we compute every definable number with knowledge of the halting problem?

Suppose we knew the answer to the halting problem, and the halting problem for this new system with the old halting problem solved. And so on. Would this allow us to compute every definable number?
4
votes
0answers
147 views

Two questions about the behavior of the continuum function

The first question asks about the global behavior of the power function in the case of finite gaps. Question 1. Fix a natural number $m>1.$ For each limit ordinal $\alpha,$ including $0$, let $\...
12
votes
0answers
503 views

Arguments against Freiling's argument against Continuum Hypothesis

Freiling's axiom of symmetry ($\sf AS$) is known as a justification for falsity of Continuum Hypothesis. Freiling in his 1986 paper, Axioms of symmetry: throwing darts at the real number line, ...
10
votes
1answer
422 views

What sort of large cardinal can continuum be?

I have stumbled across a related question asking which large cardinal properties can hold for $\aleph_1$. This question is probably also related, asking in what ways $\aleph_0$ is a "large" cardinal. ...
4
votes
1answer
314 views

Is tree property inconsistent with Berkeley cardinals in the absence of Axiom of Choice?

On one hand due to Kunen's inconsistency theorem it is known that within $\sf ZF$, large cardinal axioms beyond Reinhardt cardinal are inconsistent with $\sf AC$. Also some recent results of Bagaria, ...
5
votes
1answer
333 views

Ill-founded models of set theory with well-founded ordinals

Let $(\mathcal{M},E)$ be an internally non-well-founded model of set theory i.e of $ZFC^{\neg f}=ZFC\setminus \mathrm{foundation}+\neg \mathrm{foundation}$, then $\mathcal{M}$ includes an infinite ...
5
votes
0answers
131 views

Failure of GCH at a strongly compact cardinal

Does Con(ZFC+ there exists a strongly compact cardinal) imply Con(ZFC+ there exists a strongly compact cardinal $\kappa+ 2^\kappa > \kappa^+$)?
24
votes
1answer
765 views

Do the analogies between metamathematics of set theory and arithmetic have some deeper meaning?

By "formal analogies" between the metamathematics of $\mathsf{ZFC}$/set theory and $\mathsf{PA}$(=Peano Arithmetic)/first order arithmetic, I mean facts such as the following: We are considering a ...
4
votes
2answers
367 views

Maximal chains and antichains of statements weaker than AC

First, I would like to say that I asked this question (a more general one actually) on math.stackexchange.com. Consider the set $\varPhi$ of statements in the language of ZF that are weaker than AC (...
7
votes
1answer
374 views

Can an ultrapower be undone by forcing?

I am not 100% certain this question is appropriate for MO; I may just be missing something obvious. Also, I vaguely recall a similar question being asked here a while ago, but I can't find it; if it ...
12
votes
1answer
264 views

When can Power Sets be Limit Cardinals?

My original question (posted in http://math.stackexchange.com/questions/1584430/can-all-power-sets-be-limit-cardinals) was: Is it possible to create a model of ZFC, so that the cardinality of each ...
2
votes
1answer
129 views

Cardinalities of maximal towers in ${\cal P}(\omega)$

For $A,B\subseteq \omega$ we write $A \subseteq^* B$ if $A\setminus B$ is finite. We call ${\cal T}\subseteq {\cal P}(\omega)$ a tower if it is linearly quasiordered with respect to $\subseteq^*$. ...
3
votes
0answers
78 views

Do the classical Laver tables induce periodic systems of jump Laver tables?

Let $A_{n}=(\{1,...,2^{n}\},*_{n})$ where $*_{n}$ is the binary operation on $A_{n}$ such that $x*_{n}(y*_{n}z)=(x*_{n}y)*_{n}(x*_{n}z)$ for $x,y,z\in\{1,...,2^{n}\}$, $x*1=x+1$ for $x<2^{n}$ and $...
6
votes
1answer
271 views

How many closed measure zero sets are needed to cover the real line, really?

This is a refinement of an earlier question. This question assumes familiarity with combinatorial cardinal characteristics of the continuum. For the reader's convenience, I reproduce below the ...
8
votes
1answer
388 views

How many closed measure zero sets are needed to cover the real line?

This question assumes familiarity with combinatorial cardinal characteristics of the continuum. Let $\mathcal{E}$ be the $\sigma$-ideal generated by closed measure zero subsets of the real line. It ...
8
votes
0answers
169 views

A question about strongly compact cardinals

Is the following equiconsistent with the existence of a strongly compact cardinals: For every $\lambda > \kappa$ there exists a $\lambda$-strongly compact embedding $j: V \to M$ with the ...
14
votes
2answers
1k views

How strong is Cantor-Bernstein-Schröder?

There are several questions here on MO about the Cantor-Bernstein-Schröder ((C)BS) theorem, but I could not find answers to what arose to me recently. Although I don't think I need to recall it here, ...
10
votes
1answer
369 views

“Largish” cardinals

In what follows, $\mathsf{ZCKP}$ refers to the subset of $\mathsf{ZFC}$ consisting of the axioms of Zermelo set theory with choice and foundation ($\mathsf{ZC}$) plus those of Kripke-Platek set theory ...
13
votes
0answers
257 views

Non meager union of lines

Suppose every subset of real line of size $\aleph_1$ is meager. Can we conclude that any union of $\aleph_1$ lines in plane is also meager? If we replace meager by null, this was negatively answered ...
6
votes
0answers
223 views

Axiom of choice and a set in the plane that intersects every line in two points

In this question Subset of the plane that intersects every line exactly twice someone ask for a reference of a paper where they proof the result : ''There exist a subset of the plane that intersects ...
8
votes
2answers
306 views

“Clubiness” of projective sets of ordinals

I'm sure this is just my google-fu failing me, but: what are sufficient, non-overkill large cardinal axioms which guarantee "Every (boldface) $\Pi^1_n$ set of (real codes for) countable ordinals ...
0
votes
0answers
392 views

On the Theory of Infinite Step Processes of Sequential Decision Making

On the border of Set Theory and Game Theory there is a broad class of Infinite Step Processes of Sequential Decision Making that can be characterized by the main following property: a Future ...
6
votes
0answers
191 views

Adding minimal subsets to $\aleph_\omega$

Given a cardinal $\kappa,$ recall that $X \subset \kappa$ is called fresh (over $V$), if $X \notin V,$ but $X \cap \alpha \in V$ for all $\alpha < \kappa.$ Question. Is it consistent that there ...
6
votes
1answer
311 views

Finding non convex functions satisfying a weak form of convexity, without the axiom of choice

If a real-valued function $f$ over reals satisfies $$ (1) \; \; \; f({x+y\over2})\le {f(x)+f(y)\over2}, $$and it is continuous, then it is not hard to see that $f$ is indeed convex. On the other hand,...
8
votes
1answer
183 views

Boolean-Valued Models: Why is $\| x=y \| \cdot \| \phi(x) \| \leq \| \phi(y) \|$?

Let $B$ be a complete Boolean algebra. Jech defines a Boolean-valued model $\mathfrak{A}$ of the language of set theory to consist of a Boolean universe $A$ and functions of two variables with values ...
4
votes
1answer
148 views

An interpretation for filters of subspaces in Banach spaces

Let $X$ be a separable infinite-dimensional (real or complex) Banach space. Call a collection $\mathcal{F}$ of closed subspaces of $X$ a filter if it is nonempty, does not contain $\{0\}$, is closed ...
3
votes
0answers
310 views

How close to being well-orderable does this make my powerset?

Let's work in a set theory without assuming AC (for instance, but not necessarily, ZF). Fix a set $k$ satisfying $k\times k \simeq k$, and consider its powerset $X = 2^k$. I have a technical condition ...
3
votes
1answer
229 views

When can you canonically extend an ultrafilter after forcing?

Suppose that $V$ is a model of $\sf ZFC$, and fix some regular $\kappa$, say $\omega_1$ for practical purposes. Let $\cal U$ be an ultrafilter on $\omega_1$ in $V$ which is non-principal and even ...