User Jonathan Schilhan

6 votes

Accepted

Can we have a well ordering on the universe of sets that has set membership as a sub-relation of it?

answered Apr 17, 2020 at 13:49

6 votes

Accepted

Are there linear orders with more cuts than elements of any size?

answered Jul 23 at 10:17

5 votes

Accepted

Why is $\{\alpha: \alpha \mathrm{\ ordinal \ and \ \alpha \ equipotent \ with \ X}\}$ a set?

answered Apr 15, 2020 at 15:11

5 votes

Accepted

How can OD be not transitive

answered May 10, 2021 at 14:27

5 votes

Accepted

Do we need _strict_ monotonicity for the fixed point lemma for normal functions?

answered Apr 1, 2018 at 10:08

4 votes

Accepted

The transitive collapse of an ultraproduct of $V$ is an inner model

answered Jan 24, 2019 at 12:03

4 votes

Accepted

If $M[G]\cap M[H]=M$, must $G\times H$ be generic?

answered Apr 17, 2018 at 15:19

4 votes

Accepted

Must an infinite sum of zeros be zero?

answered May 14, 2021 at 18:07

4 votes

Accepted

Finding a winning strategy for a game in ZF + “$\omega_1$ is regular”.

answered Nov 15, 2021 at 16:00

4 votes

Accepted

Invariant cardinal over $\aleph_1$.

answered May 3, 2019 at 23:05

4 votes

Accepted

Order preserving injection $f$ from set of rationals $Q$ into $R$ with discrete image.

answered May 6, 2019 at 18:38

4 votes

Accepted

what is the explicit definition of $K_\lambda$-filters?

answered Aug 17, 2019 at 23:37

4 votes

Two set-theoretical assumptions

answered Sep 7 at 16:47

3 votes

Accepted

Is this subset of a closed set Borel measurable?

answered May 11 at 18:13

3 votes

Borel Determinacy Theorem in multidimensional case

answered May 2, 2022 at 12:25

3 votes

Accepted

Destroying the Mahloness of $\kappa$ with a forcing of size $\kappa$ that is $\alpha$-distributive for all $\alpha<\kappa$

answered Mar 20, 2022 at 9:55

3 votes

Accepted

If a poset is $\sigma$-centered, so what can we say about $P\times P$

answered May 29, 2019 at 18:33

3 votes

Accepted

ccc forcing that adds no real which dominates all ground model reals is $\mathfrak{b}$-nondominating

answered Aug 28, 2020 at 17:34

3 votes

Finding, for each $\alpha < \omega_1$, an ordinal $\beta > \alpha$ such that $L_{\beta + 1} \models \beta \text{ is countable}$

answered Sep 7, 2020 at 11:28

3 votes

If $V=L$ and $\alpha<\aleph_1$, find a countable $\beta >\alpha$ s.t. when $x\in L_{\beta+1}$, $x\in L_{\beta}$

answered Apr 17, 2018 at 15:35

3 votes

Accepted

Combinations of Lebesgue measurability, the property of Baire and the perfect set property

answered Mar 21, 2019 at 13:59

3 votes

Accepted

Is $M=\bigcap_G M[G]$?

answered Apr 11, 2018 at 22:26

2 votes

Accepted

Given the following condition, show that $|\operatorname{trcl}$(y)$| < \kappa$

answered Apr 23, 2018 at 11:24

2 votes

Accepted

Linear diophantic equation

answered Aug 29, 2015 at 19:13

2 votes

Accepted

Kunen's proof of $\mathfrak{b}\le \mathfrak{a}$

answered Feb 1, 2017 at 10:33

2 votes

Accepted

Counting finite partial functions between infinite sets

answered Apr 12, 2017 at 20:04

2 votes

Choosing $P$-names.

answered Oct 13, 2017 at 14:21

2 votes

Accepted

The failure of product lemma for Sacks forcing

answered Nov 8, 2020 at 20:08

2 votes

Accepted

What is the least upper bound for the size of an increasing chain in $(\omega^\omega,<^*)$?

answered Jul 18, 2020 at 9:49

2 votes

Accepted

Positive Lebesgue measure Poset - $\sigma$-linked

answered May 29, 2019 at 18:11

Stack Exchange Network

51 Answers

Can we have a well ordering on the universe of sets that has set membership as a sub-relation of it?

Are there linear orders with more cuts than elements of any size?

Why is $\{\alpha: \alpha \mathrm{\ ordinal \ and \ \alpha \ equipotent \ with \ X}\}$ a set?

How can OD be not transitive

Do we need _strict_ monotonicity for the fixed point lemma for normal functions?

The transitive collapse of an ultraproduct of $V$ is an inner model

If $M[G]\cap M[H]=M$, must $G\times H$ be generic?

Must an infinite sum of zeros be zero?

Finding a winning strategy for a game in ZF + “$\omega_1$ is regular”.

Invariant cardinal over $\aleph_1$.

Order preserving injection $f$ from set of rationals $Q$ into $R$ with discrete image.

what is the explicit definition of $K_\lambda$-filters?

Two set-theoretical assumptions

Is this subset of a closed set Borel measurable?

Borel Determinacy Theorem in multidimensional case

Destroying the Mahloness of $\kappa$ with a forcing of size $\kappa$ that is $\alpha$-distributive for all $\alpha<\kappa$

If a poset is $\sigma$-centered, so what can we say about $P\times P$

ccc forcing that adds no real which dominates all ground model reals is $\mathfrak{b}$-nondominating

Finding, for each $\alpha < \omega_1$, an ordinal $\beta > \alpha$ such that $L_{\beta + 1} \models \beta \text{ is countable}$

If $V=L$ and $\alpha<\aleph_1$, find a countable $\beta >\alpha$ s.t. when $x\in L_{\beta+1}$, $x\in L_{\beta}$

Combinations of Lebesgue measurability, the property of Baire and the perfect set property

Is $M=\bigcap_G M[G]$?

Given the following condition, show that $|\operatorname{trcl}$(y)$| < \kappa$

Linear diophantic equation

Kunen's proof of $\mathfrak{b}\le \mathfrak{a}$

Counting finite partial functions between infinite sets

Choosing $P$-names.

The failure of product lemma for Sacks forcing

What is the least upper bound for the size of an increasing chain in $(\omega^\omega,<^*)$?

Positive Lebesgue measure Poset - $\sigma$-linked