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
12 votes
2 answers
3k views

Borel sets preserved under open maps?

10 votes
0 answers
269 views

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

9 votes
1 answer
412 views

Countable support iteration of proper forcings and the tree property

9 votes
1 answer
509 views

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

9 votes
1 answer
261 views

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

8 votes
0 answers
425 views

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

8 votes
1 answer
199 views

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

8 votes
2 answers
448 views

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

8 votes
1 answer
328 views

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

8 votes
1 answer
333 views

Is the fusion argument on trees of uncountable height consistent?

8 votes
0 answers
282 views

Higher dimensional $\Delta$-system lemma

7 votes
1 answer
300 views

Very weak square and good points

7 votes
1 answer
295 views

Consistency of Rado's conjecture with not CH

7 votes
0 answers
149 views

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

6 votes
0 answers
238 views

A possible characterization of weakly compact cardinals

6 votes
3 answers
235 views

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

6 votes
2 answers
317 views

A question regarding strong cardinals and measure sequence

5 votes
1 answer
209 views

Strongly non-Ramsey order type in polarized partition problems

5 votes
1 answer
199 views

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

5 votes
0 answers
160 views

Preservation of Baumgartner's I-ultrafilters under various forcings

5 votes
2 answers
889 views

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

5 votes
1 answer
418 views

First order consequence of a combinatorial principle

4 votes
1 answer
155 views

About infinite subset of halting probability and 1-random set

4 votes
0 answers
118 views

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

4 votes
0 answers
188 views

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

4 votes
1 answer
231 views

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

3 votes
1 answer
116 views

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

3 votes
3 answers
647 views

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

3 votes
1 answer
389 views

Proof of the existence of hyperimmune-free degrees

3 votes
1 answer
277 views

$\Sigma_1^0-COH$?