Charles F. Kielkopf. The intensionality of the predicate '_ is recursive'. Notre Dame Journal of Formal Logic, 19(1):165-173, 1978. [doi]
@article{Kielkopf78, title = {The intensionality of the predicate '_ is recursive'}, author = {Charles F. Kielkopf}, year = {1978}, doi = {10.1305/ndjfl/1093888222}, url = {http://dx.doi.org/10.1305/ndjfl/1093888222}, researchr = {https://researchr.org/publication/Kielkopf78}, cites = {0}, citedby = {0}, journal = {Notre Dame Journal of Formal Logic}, volume = {19}, number = {1}, pages = {165-173}, }