User Yair Hayut

6 votes

Accepted

Collapsing every cardinal outside the Prikry sequence

answered Oct 19, 2023 at 17:25

7 votes

Accepted

Proof (or reference) about the cc-ness of termspace forcing

answered Feb 28, 2023 at 14:23

4 votes

Countably closed end-extensions of elementary submodels

answered Nov 4, 2021 at 11:01

10 votes

Accepted

Getting a model of $\mathsf{ZFC}$ that fails to nicely cover an inner model

answered Nov 24, 2020 at 14:30

6 votes

Accepted

Set-theoretic geology III: inside the core

answered Sep 23, 2020 at 10:35

1 vote

$\lt_{ip}$ is a well-defined well-ordering of iterable set premice

answered Feb 6, 2020 at 12:55

3 votes

Clutters with no maximum-size matchings

answered Nov 13, 2019 at 16:39

3 votes

Accepted

Extending Rowbottom's Theorem to Multiple Measures Simultaneously?

answered Nov 11, 2019 at 15:50

7 votes

What is the large cardinal strength of the assertion that every $\kappa$-complete filter on $\kappa$ extends to a $\kappa$-complete ultrafilter?

answered Sep 23, 2019 at 14:37

3 votes

Iterated forcing with distributive forcing notions

answered Nov 12, 2018 at 10:57

4 votes

Accepted

If $j:V\prec M$ has critical point $κ$ and for any $X\in M$ with $|X|=μ$, $|X|^M=μ$, what properties does $κ$ have?

answered Oct 4, 2018 at 11:08

3 votes

Accepted

A variant of Radin forcing

answered Oct 2, 2018 at 8:14

5 votes

Accepted

A weakening of cardinal compactness - is it equivalent?

answered Sep 5, 2018 at 17:52

10 votes

Does this consequence of measurability in terms of games of length $\omega+1$ imply measurability?

answered Aug 16, 2018 at 13:37

13 votes

Does $\diamondsuit(\kappa)$ provably hold at Woodins or inaccessible Jónssons $\kappa$?

answered Feb 14, 2018 at 9:13

4 votes

Do these ordinals exist?

answered Sep 19, 2017 at 17:32

10 votes

Accepted

Is every transitive ZF-model of inaccessible height a truncation of an inner model?

answered Jun 23, 2017 at 13:40

4 votes

Accepted

Questions about Mitchell forcing and tree property

answered Feb 13, 2017 at 13:51

10 votes

Accepted

Cofinality of $j(\kappa)$ for a measurability embedding $j:V\to M$ with critical point $\kappa$

answered Oct 22, 2016 at 17:04

5 votes

Accepted

Preserving distributivity with finite support products

answered Oct 6, 2016 at 15:53

8 votes

Accepted

Non-homogeneous forcing and HOD

answered Oct 6, 2016 at 14:24

1 vote

A relation between some ideals

answered Aug 15, 2016 at 4:44

3 votes

When does the generalized Cantor space embed in a $\kappa$-compact space

answered Apr 14, 2016 at 19:57

6 votes

Accepted

Two questions about higher Souslin trees

answered Apr 9, 2016 at 19:01

11 votes

Changing cofinalities above supercompact cardinals

answered Mar 17, 2016 at 18:29

7 votes

Ordinal-indexed transitive antichain of sets with urelements

answered Oct 20, 2015 at 10:28

29 votes

Accepted

Can $L$ be thin?

answered Oct 7, 2015 at 5:29

7 votes

The role of the rigid relation principle ($RR$) in the Kunen inconsistency

answered Apr 7, 2015 at 19:27

6 votes

Accepted

Forcing to "minimally" add new reals.

answered Jan 30, 2015 at 11:29

10 votes

Accepted

singularize the least inaccessible?

answered Jan 28, 2015 at 14:20

Stack Exchange Network

46 Answers

Collapsing every cardinal outside the Prikry sequence

Proof (or reference) about the cc-ness of termspace forcing

Countably closed end-extensions of elementary submodels

Getting a model of $\mathsf{ZFC}$ that fails to nicely cover an inner model

Set-theoretic geology III: inside the core

$\lt_{ip}$ is a well-defined well-ordering of iterable set premice

Clutters with no maximum-size matchings

Extending Rowbottom's Theorem to Multiple Measures Simultaneously?

What is the large cardinal strength of the assertion that every $\kappa$-complete filter on $\kappa$ extends to a $\kappa$-complete ultrafilter?

Iterated forcing with distributive forcing notions

If $j:V\prec M$ has critical point $κ$ and for any $X\in M$ with $|X|=μ$, $|X|^M=μ$, what properties does $κ$ have?

A variant of Radin forcing

A weakening of cardinal compactness - is it equivalent?

Does this consequence of measurability in terms of games of length $\omega+1$ imply measurability?

Does $\diamondsuit(\kappa)$ provably hold at Woodins or inaccessible Jónssons $\kappa$?

Do these ordinals exist?

Is every transitive ZF-model of inaccessible height a truncation of an inner model?

Questions about Mitchell forcing and tree property

Cofinality of $j(\kappa)$ for a measurability embedding $j:V\to M$ with critical point $\kappa$

Preserving distributivity with finite support products

Non-homogeneous forcing and HOD

A relation between some ideals

When does the generalized Cantor space embed in a $\kappa$-compact space

Two questions about higher Souslin trees

Changing cofinalities above supercompact cardinals

Ordinal-indexed transitive antichain of sets with urelements

Can $L$ be thin?

The role of the rigid relation principle ($RR$) in the Kunen inconsistency

Forcing to "minimally" add new reals.

singularize the least inaccessible?