Results 211 to 218 of about 31,601 (218)
Some of the next articles are maybe not open access.
Well-Ordering Principles in Proof Theory and Reverse Mathematics
2022Michael Rathjen, Rathjen Michael
exaly
Connected components of graphs and reverse mathematics
Archive for Mathematical Logic, 1992Jeffry L Hirst, Hirst Jeffry L
exaly
Interval Orders and Reverse Mathematics
Notre Dame Journal of Formal Logic, 2007Alberto Marcone
exaly
Reverse Mathematics and Uniformity in Proofs without Excluded Middle
Notre Dame Journal of Formal Logic, 2011Jeffry L Hirst, Carl Mummert
exaly
Reverse mathematics and infinite traceable graphs
Mathematical Logic Quarterly, 2012Peter Cholak +2 more
exaly
Mixed Nash equilibria for continuous games and reverse mathematics
Quaestiones MathematicaeNingning Peng, Weiguang Peng
exaly