Results 241 to 250 of about 33,228 (257)

Access Suspended

Notre Dame Journal of Formal Logic, 2018
Sam Sanders
exaly  

Reverse Mathematics and Recursive Graph Theory

Mathematical Logic Quarterly, 1998
Jeffry L. Hirst, William Gasarch
exaly  

Access Suspended

Notre Dame Journal of Formal Logic, 2020
Sam Sanders
exaly  

Well-Ordering Principles in Proof Theory and Reverse Mathematics

2022
Michael Rathjen
exaly  

Connected components of graphs and reverse mathematics

Archive for Mathematical Logic, 1992
Jeffry L. Hirst
exaly  

Reverse mathematics and infinite traceable graphs

Mathematical Logic Quarterly, 2012
David Galvin, Reed Solomon
exaly  

Mixed Nash equilibria for continuous games and reverse mathematics

Quaestiones Mathematicae
Weiguang Peng, Takeshi Yamazaki, Ningning Peng   +2 more
exaly  

Reverse Mathematics of Separation Theorems in Lattice Theory

2022
exaly  

Reverse Mathematics

2008
openaire   +1 more source

Computable Reductions and Reverse Mathematics

2016
openaire   +1 more source