Results 281 to 289 of about 3,387,563 (289)
Some of the next articles are maybe not open access.
Connected components of graphs and reverse mathematics
Archive for Mathematical Logic, 1992Hirst Jeffry L, Jeffry L Hirst
exaly
Reverse Mathematics and Uniformity in Proofs without Excluded Middle
Notre Dame Journal of Formal Logic, 2011Jeffry Hirst, Carl Mummert
exaly
Reverse mathematics, well-quasi-orders, and Noetherian spaces
Archive for Mathematical Logic, 2016Paul Shafer +2 more
exaly
Reverse Mathematics and Ramsey Properties of Partial Orderings
Notre Dame Journal of Formal Logic, 2016Jared Corduan
exaly
On Arithmetical Numberings in Reverse Mathematics
Nikolay Bazhenov 0001 +2 moreopenaire +1 more source