Jan Krajícek. A Possible Modal Formulation of Comprehension Scheme. Math. Log. Q., 33(5):461-480, 1987. [doi]
@article{Krajicek87-0,
title = {A Possible Modal Formulation of Comprehension Scheme},
author = {Jan Krajícek},
year = {1987},
doi = {10.1002/malq.19870330511},
url = {http://dx.doi.org/10.1002/malq.19870330511},
researchr = {https://researchr.org/publication/Krajicek87-0},
cites = {0},
citedby = {0},
journal = {Math. Log. Q.},
volume = {33},
number = {5},
pages = {461-480},
}