Jing Zhang's user avatar
Jing Zhang's user avatar
Jing Zhang's user avatar
Jing Zhang
  • Member for 11 years, 10 months
  • Last seen more than 2 years ago
  • Singapore
10 votes
0 answers
267 views

Martin's Maximum implies stationary/club Chang's conjecture?

4 votes
1 answer
231 views

Strong partition property + DC + existence of non-principal ultrafilter on $\omega$

9 votes
1 answer
412 views

Countable support iteration of proper forcings and the tree property

8 votes
1 answer
326 views

Iterated forcing and the super tree property at $\omega_2$

7 votes
0 answers
149 views

A non-special Aronszajn tree with a stationary set that is non-stationary with respect to the tree

7 votes
1 answer
294 views

Consistency of Rado's conjecture with not CH

5 votes
1 answer
198 views

Consistency of Strong reflection principle with the existence of a Suslin tree

6 votes
0 answers
238 views

A possible characterization of weakly compact cardinals

7 votes
1 answer
299 views

Very weak square and good points

6 votes
3 answers
235 views

$(\kappa, \kappa, 2)$-saturated ideals?

8 votes
0 answers
281 views

Higher dimensional $\Delta$-system lemma

8 votes
1 answer
333 views

Is the fusion argument on trees of uncountable height consistent?

5 votes
1 answer
209 views

Strongly non-Ramsey order type in polarized partition problems

4 votes
0 answers
188 views

Status of the dense-set version of the Halpern–Läuchli theorem

8 votes
2 answers
448 views

Ultrafilters preserved by $\mathbb{P}$ but not by products?

8 votes
1 answer
198 views

Counter-example that "almost preserving" is not preserved under countable support iteration

5 votes
0 answers
160 views

Preservation of Baumgartner's I-ultrafilters under various forcings

8 votes
0 answers
425 views

Idea behind the proof of consistency of club filter of $\omega_1$ is ultrafilter + ZF + DC

6 votes
2 answers
317 views

A question regarding strong cardinals and measure sequence

5 votes
2 answers
883 views

Consequences of ZF+"all subsets of reals are Lebesgue measurable"

4 votes
0 answers
118 views

Stabilization of recursive approximation in $PA^-+I\Sigma_1^0$

3 votes
3 answers
645 views

Turing Functional and $\Sigma_1^0$-formulas in models of fragments of PA

3 votes
1 answer
116 views

Disobedience of some complete r.e. set to some additive cost function

9 votes
1 answer
261 views

Cohesive set with degree below non-high Martin-Löf random reals

4 votes
1 answer
155 views

About infinite subset of halting probability and 1-random set

5 votes
1 answer
418 views

First order consequence of a combinatorial principle

2 votes
3 answers
388 views

Indices of r.e. sets

3 votes
1 answer
277 views

$\Sigma_1^0-COH$?

9 votes
1 answer
509 views

Cohesive sets with degree below some non-high 1-generic degrees?

12 votes
2 answers
3k views

Borel sets preserved under open maps?