User Trevor Wilson - MathOverflow

21 votes

0 answers

454 views

Does the pointclass of universally Baire sets always have the uniformization property?

asked Nov 1, 2017 at 0:31

17 votes

2 answers

1k views

Can measures be added by forcing?

asked Oct 28, 2012 at 1:50

13 votes

1 answer

542 views

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

asked Aug 15, 2018 at 0:12

12 votes

2 answers

869 views

Sets that are not $\infty$-Borel

asked Apr 17, 2014 at 2:06

11 votes

0 answers

353 views

The Chang model after collapsing an inaccessible limit of Woodins

asked Jun 10, 2015 at 2:13

11 votes

1 answer

743 views

Does every nonempty definable finite set have a definable member?

asked Sep 18, 2012 at 6:31

10 votes

1 answer

744 views

Homogeneous Namba-like forcing

asked Jan 31, 2013 at 21:11

10 votes

0 answers

375 views

Absoluteness of "$\kappa$-homogeneously Suslin" for sets of reals

asked Aug 21, 2013 at 22:11

10 votes

1 answer

514 views

Are there trees for $(\Sigma^2_1)^{\text{uB}}$?

asked Nov 19, 2013 at 19:05

10 votes

1 answer

808 views

Two-cardinal diamond principles and saturation of the nonstationary ideal

asked Oct 3, 2011 at 20:16

9 votes

1 answer

690 views

Can $\omega_1$ be supercompact?

asked Aug 3, 2012 at 20:27

9 votes

1 answer

373 views

Obtaining a lightface pointclass from a boldface one

asked Feb 26, 2014 at 21:54

9 votes

2 answers

619 views

Relation between $\neg \square(\kappa)$ and the tree property at $\kappa$.

asked Nov 18, 2012 at 0:28

9 votes

2 answers

567 views

Does forcing with recursively pointed perfect trees add a Turing degree that is minimal over $V$?

asked Jul 7, 2014 at 3:02

9 votes

2 answers

845 views

Slim Kurepa tree at a singular strong limit cardinal of uncountable cofinality

asked Aug 23, 2014 at 16:09

9 votes

1 answer

491 views

Injection from $\aleph_2$ into the power set of $\mathbb{R}$

asked Jan 27, 2018 at 3:53

9 votes

0 answers

335 views

ZF + "every Suslin set of reals is ${\bf \Sigma}^1_2$"

asked Jun 17, 2018 at 0:32

8 votes

1 answer

473 views

Universal $(\Sigma^2_1)^{\text{Hom}_{\mathord{<}\lambda}}$ set

asked Aug 19, 2013 at 3:50

7 votes

0 answers

256 views

Countable choice in $L(\mathbb{R}^*_G)$

asked Oct 23, 2014 at 23:40

7 votes

0 answers

403 views

Sets of reals amenable to each L[x]

asked Jul 18, 2012 at 0:55

7 votes

2 answers

645 views

Weakly homogeneous trees under AD

asked Jul 22, 2012 at 3:42

6 votes

1 answer

602 views

sigma-algebra generated by OD sets

asked Jul 26, 2012 at 17:44

6 votes

2 answers

491 views

Measures that are not OD

asked Jul 16, 2012 at 17:55

6 votes

0 answers

335 views

Infinity-Borel sets in ZFC

asked Sep 5, 2012 at 3:03

6 votes

2 answers

635 views

Stationary many subsets of $\kappa^+$ whose order type is a cardinal and whose intersection with $\kappa$ is an inaccessible cardinal

asked Mar 21, 2013 at 0:04

6 votes

0 answers

351 views

Reference for "if the set $A$ is Suslin, then every $\Sigma^1_1(A)$ set is Suslin"

asked Apr 23, 2015 at 3:49

6 votes

0 answers

563 views

Inaccessible cardinals and the perfect set property for coanalytic sets

asked Jul 11, 2017 at 18:23

6 votes

1 answer

632 views

A "good scale" that is not really a scale

asked Sep 1, 2014 at 17:17

5 votes

2 answers

821 views

A weak (?) form of Shelah cardinals

asked Aug 15, 2019 at 16:20

5 votes

0 answers

436 views

Proof of "AD + every set of reals is Suslin" implies AD$_\mathbb{R}$

asked Oct 17, 2012 at 16:31

Stack Exchange Network

33 Questions

Does the pointclass of universally Baire sets always have the uniformization property?

Can measures be added by forcing?

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

Sets that are not $\infty$-Borel

The Chang model after collapsing an inaccessible limit of Woodins

Does every nonempty definable finite set have a definable member?

Homogeneous Namba-like forcing

Absoluteness of "$\kappa$-homogeneously Suslin" for sets of reals

Are there trees for $(\Sigma^2_1)^{\text{uB}}$?

Two-cardinal diamond principles and saturation of the nonstationary ideal

Can $\omega_1$ be supercompact?

Obtaining a lightface pointclass from a boldface one

Relation between $\neg \square(\kappa)$ and the tree property at $\kappa$.

Does forcing with recursively pointed perfect trees add a Turing degree that is minimal over $V$?

Slim Kurepa tree at a singular strong limit cardinal of uncountable cofinality

Injection from $\aleph_2$ into the power set of $\mathbb{R}$

ZF + "every Suslin set of reals is ${\bf \Sigma}^1_2$"

Universal $(\Sigma^2_1)^{\text{Hom}_{\mathord{<}\lambda}}$ set

Countable choice in $L(\mathbb{R}^*_G)$

Sets of reals amenable to each L[x]

Weakly homogeneous trees under AD

sigma-algebra generated by OD sets

Measures that are not OD

Infinity-Borel sets in ZFC

Stationary many subsets of $\kappa^+$ whose order type is a cardinal and whose intersection with $\kappa$ is an inaccessible cardinal

Reference for "if the set $A$ is Suslin, then every $\Sigma^1_1(A)$ set is Suslin"

Inaccessible cardinals and the perfect set property for coanalytic sets

A "good scale" that is not really a scale

A weak (?) form of Shelah cardinals

Proof of "AD + every set of reals is Suslin" implies AD$_\mathbb{R}$