Jensen, Anton. “Some Results Concerning a General Set Theoretical Approach to Logic”. Mathematica Scandinavica 16 (December 1, 1965): 5–24. Accessed July 25, 2026. https://journals.msp.org/mscand/article/view/2579.