Freund Anton

Publications in Math-Net.Ru

1. The logical strength of minimal bad arrays
   
   Proc. Amer. Math. Soc., 152 (2024),  4993–5005
2. Short proofs for slow consistency
   
   Notre Dame J. Formal Logic, 61:1 (2020),  31–49