Walsh James

Publications in Math-Net.Ru

1. Reducing $\omega$-model reflection to iterated syntactic reflection
   
   J. Math. Log., 23:2 (2023),  2250001–38
2. Reflection ranks and ordinal analysis
   
   J. Symb. Log., 86:4 (2021),  1350–1384