Article,

Derivatives of normal functions in reverse mathematics

, and .
Annals of Pure and Applied Logic, 172 (2): article no. 102890, 49 pp (2021)
DOI: 10.1016/j.apal.2020.102890

Meta data

Tags

Users

  • @freund
  • @dblp

Comments and Reviews