@freund

What is effective transfinite recursion in reverse mathematics?

. Mathematical Logic Quarterly, 66 (4): 479-483 (2020)
DOI: 10.1002/malq.202000042

Links and resources

Tags

community

  • @freund
  • @dblp
@freund's tags highlighted