Yong Liu
刘勇
Lecturer · Mathematical Logic & Computability Theory
School of Information Engineering · Nanjing Xiaozhuang University
Room 612, South Engineering Building, Nanjing Xiaozhuang University
3601 Hongjing Avenue, Jiangning District, Nanjing 211171, China
I was born in Nanjing. I studied at the High School Affiliated to Nanjing Normal University and Nanjing Normal University before pursuing graduate studies at the National University of Singapore, where I received my master’s and Ph.D. degrees. I subsequently held research positions at the National University of Singapore and Nanyang Technological University. After returning to China, I worked as a researcher in the Department of Mathematics (now the School of Mathematics) at Nanjing University. I am currently a lecturer in the School of Information Engineering at Nanjing Xiaozhuang University.
Research interests
Mathematical logic and computability theory, with a particular focus on computability-theoretic degree structures, the Ershov hierarchy, inductive strength, and priority methods.
“Isolated d.c.e. Degrees and Σ₁ Induction.” Annals of Pure and Applied Logic, 2026, 177(3): 103678.
“Robinson Splitting Theorem and Σ₁ Induction.” Journal of Symbolic Logic, 2026.
“Weak Density and Nondensity among Transfinite Levels of the Ershov Hierarchy.” Notre Dame Journal of Formal Logic, 2020, 61(4): 521–536.
Teaching
Current courses: Combinatorics, Discrete Mathematics, Point-Set Topology, and Advanced Mathematics II. Previously taught: Calculus, Linear Algebra, and Probability and Mathematical Statistics.
Combinatorics
组合数学
Counting methods, recurrence relations, and generating functions.
Discrete Mathematics
离散数学
Propositional logic, an introduction to first-order logic, sets, and relations.
Point-Set Topology
点集拓扑
Metric spaces, topological spaces, continuous maps, connectedness, and compactness.
Advanced Mathematics II
高等数学II
Multivariable calculus and an introduction to ordinary differential equations.