×
Author ID: li.wei.2 Recent zbMATH articles by "Li, Wei"
Published as: Li, Wei
Homepage: http://ww1.math.nus.edu.sg/staff.aspx?s=matliw
External Links: dblp

Publications by Year

Citations contained in zbMATH Open

8 Publications have been cited 84 times in 82 Documents Cited by Year
Deciding parity games in quasipolynomial time. Zbl 1369.68234
Calude, Cristian S.; Jain, Sanjay; Khoussainov, Bakhadyr; Li, Wei; Stephan, Frank
67
2017
Nonstandard models in recursion theory and reverse mathematics. Zbl 1341.03098
Chong, C. T.; Li, Wei; Yang, Yue
4
2014
Fragments of Kripke-Platek set theory and the metamathematics of \(\alpha \)-recursion theory. Zbl 1358.03065
Friedman, Sy-David; Li, Wei; Wong, Tin Lok
3
2016
On the strength of Ramsey’s theorem for trees. Zbl 1444.03012
Chong, C. T.; Li, Wei; Wang, Wei; Yang, Yue
3
2020
Deciding parity games in quasi-polynomial time. Zbl 07516621
Calude, Cristian S.; Jain, Sanjay; Khoussainov, Bakhadyr; Li, Wei; Stephan, Frank
2
2022
The strength of Ramsey’s theorem for pairs over trees. I: Weak König’s lemma. Zbl 1486.03021
Chong, Chi Tat; Li, Wei; Liu, Lu; Yang, Yue
2
2021
On the computability of perfect subsets of sets with positive measure. Zbl 1484.03077
Chong, C. T.; Li, Wei; Wang, Wei; Yang, Yue
2
2019
Friedberg numbering in fragments of Peano arithmetic and \(\alpha\)-recursion theory. Zbl 1349.03084
Li, Wei
1
2013
Deciding parity games in quasi-polynomial time. Zbl 07516621
Calude, Cristian S.; Jain, Sanjay; Khoussainov, Bakhadyr; Li, Wei; Stephan, Frank
2
2022
The strength of Ramsey’s theorem for pairs over trees. I: Weak König’s lemma. Zbl 1486.03021
Chong, Chi Tat; Li, Wei; Liu, Lu; Yang, Yue
2
2021
On the strength of Ramsey’s theorem for trees. Zbl 1444.03012
Chong, C. T.; Li, Wei; Wang, Wei; Yang, Yue
3
2020
On the computability of perfect subsets of sets with positive measure. Zbl 1484.03077
Chong, C. T.; Li, Wei; Wang, Wei; Yang, Yue
2
2019
Deciding parity games in quasipolynomial time. Zbl 1369.68234
Calude, Cristian S.; Jain, Sanjay; Khoussainov, Bakhadyr; Li, Wei; Stephan, Frank
67
2017
Fragments of Kripke-Platek set theory and the metamathematics of \(\alpha \)-recursion theory. Zbl 1358.03065
Friedman, Sy-David; Li, Wei; Wong, Tin Lok
3
2016
Nonstandard models in recursion theory and reverse mathematics. Zbl 1341.03098
Chong, C. T.; Li, Wei; Yang, Yue
4
2014
Friedberg numbering in fragments of Peano arithmetic and \(\alpha\)-recursion theory. Zbl 1349.03084
Li, Wei
1
2013
all top 5

Cited by 139 Authors

10 Zimmermann, Martín G.
5 Chong, Chi Tat
5 Lehtinen, Karoliina
5 Li, Wei
5 Weinert, Alexander
4 Benerecetti, Massimo
4 Boker, Udi
4 Dell’Erba, Daniele
4 Mogavero, Fabio
4 Neider, Daniel
3 Hausmann, Daniel
3 McKenzie, Zachiri
3 Ohlmann, Pierre
3 Wang, Wei
2 Boros, Endre
2 Chatterjee, Krishnendu
2 Dzhafarov, Damir D.
2 Elbassioni, Khaled M.
2 Enayat, Ali
2 Exibard, Léo
2 Fijalkow, Nathanaël
2 Filiot, Emmanuel
2 Gawrychowski, Paweł
2 Gurvich, Vladimir A.
2 Gutierrez, Julian
2 Jain, Sanjay
2 Jurdziński, Marcin
2 Khalimov, Ayrat
2 Kuperberg, Denis
2 Makino, Kazuhisa
2 Najib, Muhammad
2 Parys, Paweł
2 Patey, Ludovic
2 Perelli, Giuseppe
2 Piterman, Nir
2 Randour, Mickael
2 Raskin, Jean-François
2 Schewe, Sven
2 Schröder, Lutz
2 Stephan, Frank
2 van Dijk, Tom
2 Willemse, Tim A. C.
2 Wooldridge, Michael J.
2 Yang, Yue
1 Alexander, Kozachinskiy
1 Auger, David
1 Avni, Guy
1 Bagnol, Marc
1 Baldan, Paolo
1 Bélanger, David R.
1 Bertrand, Nathalie
1 Bhaskar, Ashwin
1 Brihaye, Thomas
1 Bruyère, Véronique
1 Bruynooghe, Maurice
1 Calude, Cristian S.
1 Carlucci, Lorenzo
1 Cholak, Peter A.
1 Colcombet, Thomas
1 Coucheney, Pierre
1 d’Auriac, Paul-Elliot Anglès
1 Daviaud, Laure
1 Delgrange, Florent
1 Denecker, Marc
1 Dewaskar, Miheer
1 Di Stasio, Antonio
1 Diekert, Volker
1 Dorais, François Gilbert
1 Dorfman, Dani
1 Engeler, Erwin
1 Fearnley, John
1 Fouz, Mahmoud
1 Gao, Ziyuan
1 Gazda, Maciej W.
1 Genest, Blaise
1 Gimbert, Hugo
1 Gouveia, Maria João
1 Greenberg, Noam
1 Hague, Matthew
1 Hautem, Quentin
1 Hella, Lauri T.
1 Henzinger, Thomas A.
1 Hirst, Jeffry Lynn
1 Ibsen-Jensen, Rasmus
1 Kaplan, Haim
1 Khoussainov, Bakhadyr M.
1 König, Barbara
1 Křetínský, Jan
1 Kufleitner, Manfred
1 Kupferman, Orna
1 Kuusisto, Antti
1 Lapauw, Ruben
1 Leroux, Stéphane
1 Li, Zeyong
1 Lijzenga, Oebele
1 Liu, Lu
1 Loho, Georg
1 Main, James C. A.
1 Majumdar, Anirban
1 Manthey, Bodo
...and 39 more Authors

Citations by Year