The following pages link to Wei Li (Q334989):
Displaying 11 items.
- Fragments of Kripke-Platek set theory and the metamathematics of \(\alpha \)-recursion theory (Q334991) (← links)
- (Q466116) (redirect page) (← links)
- \(\Delta_{2}\) degrees without \(\Sigma_{1}\) induction (Q466117) (← links)
- Learnability and positive equivalence relations (Q2232273) (← links)
- NONSTANDARD MODELS IN RECURSION THEORY AND REVERSE MATHEMATICS (Q2925331) (← links)
- Deciding parity games in quasipolynomial time (Q4977976) (← links)
- The strength of Ramsey’s theorem for pairs over trees: I. Weak König’s Lemma (Q5004544) (← links)
- Deciding Parity Games in Quasi-polynomial Time (Q5073521) (← links)
- Random Subgroups of Rationals (Q5092384) (← links)
- Friedberg Numbering in Fragments of Peano Arithmetic and <i>α</i>-Recursion Theory (Q5407044) (← links)
- Learnability and positive equivalence relations (Q6186308) (← links)
