Arithmetic transfinite induction and recursive well-orderings
Harvey M Friedman, Andrej S̆čedrovVolume:
56
Year:
1985
Language:
english
Pages:
12
Journal:
Advances in Mathematics
DOI:
10.1016/0001-8708(85)90036-2
File:
PDF, 591 KB
english, 1985