Robuta

https://rmzoo.math.uconn.edu/ Welcome | Reverse Mathematics Zoo | Department of Mathematics | University of Connecticut About The Reverse Mathematics Zoo is a program to help organize relations among various mathematical principles, particularly those that fail to be equivale ... reverse mathematics department of welcome zoo university https://arxiv.org/abs/1109.3378 [1109.3378] Reverse mathematics and properties of finite character Abstract page for arXiv paper 1109.3378: Reverse mathematics and properties of finite character reverse mathematics 1109 3378 properties finite https://arxiv.org/abs/1209.4944 [1209.4944] Reverse Mathematics and Algebraic Field Extensions Abstract page for arXiv paper 1209.4944: Reverse Mathematics and Algebraic Field Extensions reverse mathematics algebraic field 1209 4944 extensions