29 citations · 84 across the 12 of their papers we have counts for
1 paper · 1 filter
Tadeusz Litak, Albert Visser
Our paper is the first study of what one might call "reverse mathematics of explicit fixpoints". We study two methods of constructing such fixpoints for formulas whose principal co…