Some Theories with Positive Induction of Ordinal Strength φω 0
Gerhard Jäger and Thomas StrahmVolume:
61
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2307/2275787
Date:
September, 1996
File:
PDF, 548 KB
english, 1996