Generalizing Montague's theorem on recursive definitions
From MaRDI portal
Publication:2075276
DOI10.1215/00294527-2021-0027OpenAlexW3205862800MaRDI QIDQ2075276
Publication date: 14 February 2022
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/2318/1812513
Applications of set theory (03E75) Logic in the philosophy of science (03A10) Other notions of set-theoretic definability (03E47)
Cites Work