Skip to main content
Tour
About Us
Meta
current community
Stack Exchange
chat
Meta Stack Exchange
your communities
Sign up
or
log in
to customize your list.
more stack exchange communities
company blog
Log in
Stack Exchange
All Sites
Top 400 Users
Digests
喻 良
China
https://sites.google.com/view/yuliang
A mathematical logician.
top
accounts
reputation
activity
subscriptions
Top Questions
20
votes
About $\omega_1^{CK}$
set-theory
lo.logic
computability-theory
asked Nov 9, 2017 at 8:12
mathoverflow.net
14
votes
Decomposing $\mathbf{\Pi}^1_1$ sets into closed sets
descriptive-set-theory
set-theory
lo.logic
asked May 11, 2012 at 3:26
mathoverflow.net
12
votes
A question concerning model theory of groups
gr.group-theory
lo.logic
model-theory
profinite-groups
asked Mar 25, 2016 at 22:54
mathoverflow.net
11
votes
Concerning Silver's result
lo.logic
set-theory
computability-theory
descriptive-set-theory
asked Aug 18, 2013 at 7:53
mathoverflow.net
10
votes
Minimal cover v.s random reals
set-theory
computability-theory
constructibility
asked Mar 3, 2017 at 13:01
mathoverflow.net
10
votes
Extending an infinite simple group
gr.group-theory
lo.logic
model-theory
asked Oct 30, 2015 at 8:58
mathoverflow.net
10
votes
Concerning Luzin-(N)-property
pr.probability
set-theory
real-analysis
measure-theory
descriptive-set-theory
asked Jun 8, 2019 at 2:18
mathoverflow.net
8
votes
The Hausdorff dimension of the set of reals of inner models
set-theory
descriptive-set-theory
hausdorff-dimension
asked Jan 18 at 23:42
mathoverflow.net
8
votes
$\Delta^1_2$-well ordering vs $\Delta^1_3$
descriptive-set-theory
large-cardinals
asked Dec 15, 2012 at 16:46
mathoverflow.net
7
votes
Demuth's theorem in set theory
reference-request
set-theory
computability-theory
asked May 26, 2014 at 9:19
mathoverflow.net
1
2
next
Top Answers
37
Can one cover the plane with less than continuum of lines?
mathoverflow.net
17
When will the real numbers be Borel?
mathoverflow.net
12
Non null Turing antichain
mathoverflow.net
11
Partitioning $\mathbb{R}$ into $\aleph_1$ Borel sets
mathoverflow.net
10
Is it known how the Sigma Algebra generated by Jordan measurable sets compares to universally measurable sets and analytic sets?
mathoverflow.net
9
Borel Sets in Sacks Generic Extension
mathoverflow.net
9
Is there a perfect set of ground model reals in the Cohen extension?
mathoverflow.net
8
Gödel's Second Incompleteness Theorem and Arithmetically Non-Definable Theories
math.stackexchange.com
8
Martin's cone theorem and recursion theory
mathoverflow.net
8
A "suitably generic" set of Cohen reals without forcing?
mathoverflow.net
8
Sets computable from enough hints
mathoverflow.net
7
Set of perfect subsets of a Borel set
mathoverflow.net
6
A G-delta-sigma that is not F-sigma?
mathoverflow.net
6
Martin-Löf randomness relative to a $\Delta^0_2$-representation of a real
mathoverflow.net
6
Borel cross section
mathoverflow.net
5
A compactness property for Borel sets
mathoverflow.net
5
Vitali Sets vs Bernstein Sets...
mathoverflow.net
5
Analytic uniformization
mathoverflow.net
5
Connection between countable ordinals and Turing degrees
mathoverflow.net
5
Is checking whether a compact $\Pi^0_1$-class is nonempty $\Sigma^1_1$-hard?
mathoverflow.net
5
Double Posner-Robinson Join (or a cupping analog of minimal pair)
mathoverflow.net
5
Steinhaus theorem and Hausdorff dimension
mathoverflow.net
mathoverflow.net
math.stackexchange.com