Gerhard Jäger. A Boundedness Theorem In mathrmID1 (W). Journal of Symbolic Logic, 51(4):942-947, 1986.
@article{Jager86, title = {A Boundedness Theorem In mathrmID1 (W)}, author = {Gerhard Jäger}, year = {1986}, researchr = {https://researchr.org/publication/Jager86}, cites = {0}, citedby = {0}, journal = {Journal of Symbolic Logic}, volume = {51}, number = {4}, pages = {942-947}, }