Questions tagged [set-theory]

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, Boolean-valued models, embeddings, orders, relations, transfinite recursion, set theory as a foundation of mathematics, the philosophy of set theory.

Filter by
Sorted by
Tagged with
1 vote
0 answers
80 views

Weak extender models for supercompactness without choice

Assume ZFC and a supercompact cardinal $κ$. Is it consistent that there is a weak extender model $N⊨\text{ZF}$ for supercompactness of $κ$ such that the axiom of choice and well-ordering of $P_κ(λ)^N$...
Dmytro Taranovsky's user avatar
0 votes
0 answers
36 views

Diagrammatic representation of sets as irregular plane figures

I am trying to find the earliest use of plane diagrams of various shapes for representing sets. For example, this is snapshot is from the book called Some Modern Mathematics for Physicists and Other ...
AChem's user avatar
  • 803
4 votes
1 answer
117 views

What is the extent of a $\Sigma$-product of a (uncountable) power of a (countable) discrete space?

Recall that a $\Sigma$-product of a family of spaces $\{X_s:s\in S\}$ with a base point $a=(a_s)\in \prod_{s\in S} X_s$ is the subspace $$\Sigma(a)=\{x\in \prod_{s\in S} X_s: |\{s\in S:a_s\neq x_s\}|\...
J. Casas's user avatar
  • 196
0 votes
0 answers
60 views

Set-theoretic trees with ordering between siblings

In set-theoretic trees, we have the binary relation $<_T$ (which defines the "ancestor-descendant" ordering). This relation is partial, as children are incomparable in that ordering. ...
mathoverflow-guest's user avatar
2 votes
1 answer
113 views

Refinement-minimal intersecting covers

Motivation. Yesterday I was sitting idly in the train, contemplating the train network. I noticed that a lot of lines (not all) intersected, and some pairs of lines intersected in quite a few stations....
Dominic van der Zypen's user avatar
2 votes
1 answer
91 views

A problem with a $\Pi_1$ formula of the Lévy hierarchy

Let $M\equiv N$ means that $(M,\in_M)$ and $(N,\in_N)$ satisfy the same sentences of the language of set theory, with $\in_M$ and $\in_N$ being the standard membership relation restricted to $M\times ...
Ândson josé's user avatar
12 votes
2 answers
887 views

Why is inner model theory evidence for consistency of large cardinals?

I want to understand the viewpoint that existence of canonical inner model for a large cardinal notion is strong evidence for its consistency. For example, below is Trevor Wilson's answer to What &...
n901's user avatar
  • 535
2 votes
1 answer
178 views

Can there be a minimal remote cardinal?

Working in $\sf Z- Reg.$ we can have sets bigger than every well-founded set, let's label such sets as "remote". Now, suppose we'll add the axiom of existence of transitive closures, and the ...
Zuhair Al-Johar's user avatar
4 votes
1 answer
91 views

Chromatic numbers realised by almost disjoint subsets of $\omega$

If $H=(V,E)$ is a hypergraph then the chromatic number $\chi(H)$ is defined to be the least cardinal $\kappa \leq |V|$ such that there is a map $c:V\to \kappa$ such that for all $e\in E$ with $|e| \...
Dominic van der Zypen's user avatar
4 votes
1 answer
396 views

Can we have an axiom that refers to itself and the prior axioms of the theory it is an axiom of?

I know that this question is little bit imprecise, I'll try to present it in the best I can. Can one have an axiom which is self referential with respect to itself and the theory in which it belongs? ...
Zuhair Al-Johar's user avatar
1 vote
0 answers
46 views

Is stratified Z - Infinity + there is a set as big as its powerset, consistent if NF is consistent?

The question of consistency of $\sf NF$ can be seen to be equivalent to the question of whether the theory "Stratified $\sf Z$ - Regularity - Infinity + There exists a set as big as its powerset&...
Zuhair Al-Johar's user avatar
2 votes
1 answer
156 views

Cardinality of maximal diverse families

Let $\kappa\geq \aleph_0$ be a cardinal. We say a collection ${\cal E} \subseteq {\cal P}(\kappa)$ is diverse if $|(A \setminus B) \cup (B \setminus A)| = \kappa$ whenever $A\neq B\in {\cal E}$. A ...
Dominic van der Zypen's user avatar
-1 votes
0 answers
87 views

Can existence of uncountable sets be proved in a ZFC variant with mild definability restriction?

Starting with ZF[C], if we restrict Separation and Replacement to parameter free versions from Parameter free definable sets, re-write Infinity asserting existence of $\omega$. Add to it axioms of ...
Zuhair Al-Johar's user avatar
4 votes
0 answers
121 views

Consistency of definability beyond P(Ord) in ZF

Is it consistent with ZF that the satisfaction relation of $L(P(Ord))$ is $Δ^V_2$ definable? More generally, is it consistent with ZF that there is a $Δ^V_2$ formula (taking $α$ as a parameter) that ...
Dmytro Taranovsky's user avatar
6 votes
0 answers
78 views

Is the derived category of sheaves localised at pointwise homotopy equivalences locally small?

In order to define the cup and cross products in sheaf cohomology, Iversen makes computations in an intermediate derived category. If $K(X;k)$ is the triangulated category of cochain complexes of ...
FShrike's user avatar
  • 771
6 votes
1 answer
167 views

Strengthening of a classical set mapping theorem of Lázár

We are writing a paper in which we need to use the following theorem to prove that a certain poset satisfies c.c.c. As far as I remember I learned this theorem from András Hajnal. Theorem 1: If $\...
Lajos Soukup's user avatar
  • 1,477
5 votes
1 answer
263 views

Would strengthening Foundation and Choice in NBG, make it equi-consistent with MK?

This is a follow up to an earlier question about strengthening of foundation in relation to proving the consistency of ZFC. It was shown that it would achieve that, but it may fail short of MK. Here, ...
Zuhair Al-Johar's user avatar
5 votes
1 answer
200 views

Long chains of Dedekind finite sets

This is a variation on this question with amorphous cardinals replaced with dedekind finite sets. Dedekind finite sets are sets that have no countable subset, and it is well known that this is a ...
Ynir Paz's user avatar
  • 285
2 votes
1 answer
307 views

Transversal of $\mathbb{N}\times\mathbb{N}$

Motivation. I am trying to make an interesting infinite version out of this fascinating problem from the Russian mathematical olympiad: There are $c$ flavours of cookies, we are given $n$ cookies of ...
Dominic van der Zypen's user avatar
6 votes
2 answers
469 views

Is strengthening Foundation in NBG sufficient to make it prove Con(ZFC)?

Can $\sf NBG$ class theory prove the foundation scheme: Foundation schema: if $\Phi(X)$ is a formula in which "$X$" occurs free and only free, and in which "$Y$" doesn't occur, ...
Zuhair Al-Johar's user avatar
-2 votes
0 answers
114 views

What happens if we restrict inputs in Separation and Replacement axioms to definable sets?

If we replace the axiom of Foundation by Foundation schema: if $\varphi(x)$ is a formula in which "$x$" occurs free and only free, and in which "$y$" doesn't occur, whose free ...
Zuhair Al-Johar's user avatar
13 votes
1 answer
532 views

Long chains of amorphous cardinalities

An amorphous set is an infinite set that cannot be partitioned into 2 infinite subsets. An amorphous cardinality is the cardinality of an amorphous set. Working in $\sf ZF$, it is consistent that ...
Ynir Paz's user avatar
  • 285
9 votes
1 answer
280 views

Do precipitous ideals "always" come from collapsing?

It's well-known that if $\kappa$ is a measurable cardinal, then there is a poset $\mathbb{P}$ that forces $\kappa$ to carry a precipitous ideal. Suppose that $\omega_1$ carries a preciptous ideal $I$. ...
Toby Meadows's user avatar
  • 1,143
2 votes
0 answers
87 views

Uniformization and functions on Turing degrees

Assuming Martin's Conjecture on functions between Turing degrees, is AD + DC consistent with existence of an $f:\mathcal{D}_t → \mathcal{D}_t$ of rank $Θ$ ? $\mathcal{D}_t$ is the set of Turing ...
Dmytro Taranovsky's user avatar
3 votes
2 answers
600 views

Can uncountable sets be proved to exist in this variant of ZFC with definability restrictions?

If we restrict all parameters in the set building axioms of $\sf ZFC$ to definable sets, would the celebrated Cantor's theorem still apply? Can existence of uncountable sets be proven at all? The set ...
Zuhair Al-Johar's user avatar
11 votes
1 answer
392 views

Building the real from Dedekind finite sets

It is well known that the real numbers can be countable union of countable sets by starting with GCH and taking a finite support permutations while collapsing all of $\aleph_n$ for natural $n$. The ...
Holo's user avatar
  • 1,645
10 votes
1 answer
468 views

Does proper forcing preserve properness under PFA?

I'm interested in forcing classes $\Gamma$ which preserve membership in themselves, i.e. for all posets $\mathbb{P}, \mathbb{Q}\in \Gamma$, we have $\Vdash_{\mathbb{P}}\check{\mathbb{Q}}\in\Gamma$. ...
Ben Goodman's user avatar
6 votes
1 answer
376 views

Second-order ordinal definability

As is familiar, a set $S$ is ordinal definable ($S \in \mathsf{OD}$) just in case there exists a formula $\varphi(x, \vec{z})$ of the first-order language of set theory with parameters $\vec{z} = z_1, ...
Beau Madison Mount's user avatar
9 votes
1 answer
336 views

Consistency strength of strongly compact cardinal

Where can I find a proof that strongly compact cardinal has higher consistency strength than Woodin cardinal, or even just strong? Recall that a strongly compact cardinal itself may not be strong, ...
Lxm's user avatar
  • 323
1 vote
0 answers
147 views

What is the strength of adding this de-schematizing inference rule to Ackermann's set theory?

Language: first order logic with equality, membership, and a constant symbol $W$. Axioms: Extensionality: $\forall z \, (z \in x \leftrightarrow z \in y) \to x=y$ Comprehension: $\exists x \forall y \,...
Zuhair Al-Johar's user avatar
-5 votes
0 answers
86 views

Can ur-elements be used as/to construct infinitesimals?

Background material: Truss[95], "The structure of amorphous sets." Harrison-Trainor and Kulshreshtha[22], "The Logic of Cardinality Comparison Without the Axiom of Choice." ...
Kristian Berry's user avatar
2 votes
1 answer
323 views

Convergence of distance

Consider these sets $$ A\equiv \bigcap_{\delta>0} \liminf_{n\rightarrow \infty} \{x \in X: d(p_n, [\ell(x), u(x)])\leq \delta\} $$ $$ C_n(L_n)\equiv \{x \in X: d(p_n, [\ell(x), u(x)])=0\} $$ where: ...
Star's user avatar
  • 76
1 vote
0 answers
109 views

Is this modified H. Friedman theory bi-interpretable with ZFC + ORD is Mahlo?

The following theory is a modification of Harvey Friedman $\sf K(W)$ theory. Language: first order logic with equality, membership, and a constant symbol $W$. Axioms: Extensionality: $\forall z \, (z ...
Zuhair Al-Johar's user avatar
6 votes
0 answers
113 views

From HODs to corresponding models of AD

If $M$ is HOD of a model $N$ of $\text{AD}^+ + V=L(P(ℝ))$, what kind of forcing construction in $M$ gives back such an $N$? HODs for $\text{AD}^+ + V=L(P(ℝ))$ are conjectured (and under anti-large ...
Dmytro Taranovsky's user avatar
-4 votes
0 answers
181 views

CH vs Not CH, What is the Consequence?

EDIT: Altered (3) to say that $\beth_1$ can't be $\aleph_{\omega}$ or $\aleph_0$ but removed statement that it must be less than $\aleph_{\omega}$. Let us assume ZFC. We now consider 2 transfinite ...
E8 Heterotic's user avatar
6 votes
1 answer
161 views

An iteration of proper forcing without proper iterands

Famously, a countable support iteration with proper iterands is again proper. This is mostly stated as follows: Suppose $(\mathbb{P}_{\alpha},\dot{\mathbb{Q}}_{\alpha})_{\alpha<\lambda}$ is a ...
Hannes Jakob's user avatar
  • 1,612
5 votes
0 answers
190 views

Friedman's proof of covering lemma for $L$

There is a two-page proof of the covering lemma for $L$ using $\Sigma_n$ substructures (Theorem 3.10) in Sy Friedman's Fine Structure and Class Forcing, compared to the proof that spans about twenty ...
Lxm's user avatar
  • 323
6 votes
1 answer
139 views

Is there a Bernstein subset $X$ of $\mathbb{R}$ such that no continuous map $f : X → [0,1]$ is surjective?

Is there a Bernstein subset $X$ of $\mathbb{R}$ such that no continuous map $f : X → [0,1]$ is surjective ?
Alexander Osipov's user avatar
2 votes
2 answers
197 views

Name for a certain type of cardinal

I'm not a set-theorist, but I hope this question is appropriate. This is just a question about names: Fix a cardinal $\lambda$. I'd like to know if there is a name for regular cardinals $\kappa$ such ...
Maxime Ramzi's user avatar
  • 13.7k
12 votes
1 answer
704 views

Can proper classes have different sizes?

I'm presently working in a non-ZF set theory, where there are proper classes. (Think MK or VNBG.) And I'm interested in how to think about the possibility (or impossibility) of proper classes with ...
Anonymous grad student's user avatar
1 vote
0 answers
163 views

How does the cardinality of a set and its powerset compare in the hereditarily rank-concordant constructible world?

Working in the constructible universe "$L$", if we define two kinds of ranks for any constructible set $x$, one being the ordinal index of the first $L_\alpha$ where $x$ appears as a subset ...
Zuhair Al-Johar's user avatar
5 votes
1 answer
209 views

Is the partition tiling relation transitive?

The following is motivated by an (as of yet) unanswered question on optimal colorings of graphs. I am convinced that the question below has a positive answer in $\newcommand{\ZF}{{\sf (ZF)}}\ZF$, but ...
Dominic van der Zypen's user avatar
4 votes
1 answer
197 views

Simplified method of building an Aronszajn tree

There is a very interesting method to build an Aronszajn tree in Judith Roitman's "Introduction to Modern Set Theory", on pages 100-102. In short, we build a tree $T$ in which the nodes are ...
Mike Battaglia's user avatar
8 votes
1 answer
187 views

A reference for forcing projections

The idea of a projection $\pi\colon\mathbb{Q}\to\mathbb{P}$ of forcing notions is something like a combinatorial stand-in for the fact that forcing with $\mathbb{Q}$ produces a generic for $\mathbb{P}$...
Miha Habič's user avatar
  • 2,289
3 votes
1 answer
171 views

Is there a metric separable space with the following properties...?

Let $\omega_1<\mathfrak{q}_0$ where $\mathfrak{q}_0:=\min\{|Y|:Y\subseteq \mathbb{R}$, $Y$ is not a $Q$-space$\}$. Is there a metric separable space $X$ with the following properties: $|X|\geq\...
Alexander Osipov's user avatar
6 votes
0 answers
219 views

Do maximal compact logics exist?

By "logic" I mean regular logic in the sense of abstract model theory (see e.g. the last section of Ebbinghaus/Flum/Thomas' book). My question is simple: Is there a logic $\mathcal{L}$ ...
Noah Schweber's user avatar
5 votes
1 answer
243 views

How far does the intuition "non-stationary = null sets (of certain measure)" go?; what position do non-stationary ideals take in measure theory?

When I was taught undergraduate set theory I was told that the idea for club sets is that they are "of full measure" and the non-stationary sets are "of null measure". (There were ...
sobach'e_pole's user avatar
2 votes
0 answers
72 views

(MK) universal class = von Neumann universe?

I am studying MK set theory. By the axiom schema of class comprehension, which roughly states that Given a monadic predicate $\phi$ of MK, then there is a class $C = \{x: \phi(x)\}$, the universal ...
Wenchuan Zhao's user avatar
11 votes
1 answer
207 views

Is ground model $\Sigma_n$ truth $\Sigma_n$-definable in every forcing extension?

It is well-known (and quite useful) that for any formula $\phi$, forcing poset $\mathbb{P}$, $p\in\mathbb{P}$, and $\mathbb{P}$-name $\dot{a}$, $p\Vdash_{\mathbb{P}}\phi(\dot{a})$ is definable as a ...
Ben Goodman's user avatar
7 votes
2 answers
620 views

Ideals generated by Turing independent sets

Recall that $X \subseteq 2^{\omega}$ is Turing independent if no $y \in X$ is computable from the Turing join of any finite subset of $X \setminus \{y\}$. Question 1. Can we construct a Turing ...
Fiona's user avatar
  • 71

1
2 3 4 5
106