Yue Yang

26 papers C 5Journal 21
YearRankTypeTitle / Venue / Authors
2023 J jnl
Minimal degrees and downwards density in some strong positive reducibilities and quasi-reducibilities.
J. Log. Comput.
Irakli O. Chitaia, Keng Meng Ng, Andrea Sorbi, Yue Yang
2022 C conf
On Trees Without Hyperimmune Branches.
CiE
Keng Meng Ng, Frank Stephan, Yue Yang, Liang Yu
2021 J jnl
A recursion theoretic foundation of computation over real numbers.
J. Log. Comput.
Keng Meng Ng, Nazanin Roshandel Tavana, Yue Yang
2020 J jnl
A recursion theoretic foundation of computation over real numbers.
CoRR
Keng Meng Ng, Nazanin Roshandel Tavana, Yue Yang
2020 J jnl
Incomparability in local structures of s-degrees and Q-degrees.
Arch. Math. Log.
Irakli O. Chitaia, Keng Meng Ng, Andrea Sorbi, Yue Yang
2018 J jnl
Degrees containing members of thin Π10 classes are dense and co-dense.
J. Math. Log.
Rodney G. Downey, Guohua Wu, Yue Yang
2017 J jnl
Optimal depth-first algorithms and equilibria of independent distributions on multi-branching trees.
Inf. Process. Lett.
Weiguang Peng, NingNing Peng, Keng Meng Ng, Kazuyuki Tanaka, Yue Yang
2015 J jnl
The members of thin and minimal classes, their ranks and Turing degrees.
Ann. Pure Appl. Log.
Rodney G. Downey, Guohua Wu, Yue Yang
2014 J jnl
Nonstandard Models in Recursion Theory and Reverse Mathematics.
Bull. Symb. Log.
C. T. Chong, Wei Li, Yue Yang
2013 C conf
Selection by Recursively Enumerable Sets.
TAMC
Wolfgang Merkle, Frank Stephan, Jason Teutsch, Wei Wang, Yue Yang
2010 J jnl
Diamond embeddings into the enumeration degrees.
Math. Struct. Comput. Sci.
Andrea Sorbi, Guohua Wu, Yue Yang
2009 C conf
High Minimal Pairs in the Enumeration Degrees.
TAMC
Andrea Sorbi, Guohua Wu, Yue Yang
2008 J jnl
Computable categoricity and the Ershov hierarchy.
Ann. Pure Appl. Log.
Bakhadyr Khoussainov, Frank Stephan, Yue Yang
2006 J jnl
Bounding computably enumerable degrees in the Ershov hierarchy.
Ann. Pure Appl. Log.
Angsheng Li, Guohua Wu, Yue Yang
2006 C conf
On Differences Among Elementary Theories of Finite Levels of Ershov Hierarchies.
TAMC
Yue Yang, Liang Yu
2006 C conf
On the Quotient Structure of Computably Enumerable Degrees Modulo the Noncuppable Ideal.
TAMC
Angsheng Li, Guohua Wu, Yue Yang
2006 J jnl
On Σ
J. Symb. Log.
Yue Yang, Liang Yu
2006 J jnl
The existence of high nonbounding degrees in the difference hierarchy.
Ann. Pure Appl. Log.
Chi Tat Chong, Angsheng Li, Yue Yang
2005 J jnl
Bounding and nonbounding minimal pairs in the enumeration degrees.
J. Symb. Log.
S. Barry Cooper, Angsheng Li, Andrea Sorbi, Yue Yang
2005 J jnl
On the definable ideal generated by nonbounding c.e. degrees.
J. Symb. Log.
Yue Yang, Liang Yu
2005 J jnl
Properly Sigma
Math. Log. Q.
S. Barry Cooper, Andrew E. M. Lewis, Yue Yang
2005 J jnl
The minimal e-degree problem in fragments of Peano arithmetic.
Ann. Pure Appl. Log.
Marat M. Arslanov, Chi Tat Chong, S. Barry Cooper, Yue Yang
1998 J jnl
Sigma
J. Symb. Log.
Chi Tat Chong, Yue Yang
1997 J jnl
Sigma
Ann. Pure Appl. Log.
Chi Tat Chong, Yue Yang
1995 J jnl
Iterated trees and fragments of arithmetic.
Arch. Math. Log.
Yue Yang
1995 J jnl
The Thickness Lemma from P
J. Symb. Log.
Yue Yang