Generalizing Montague's theorem on recursive definitions

DOI10.1215/00294527-2021-0027OpenAlexW3205862800MaRDI QIDQ2075276

Edoardo Rivello

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

zbMATH Keywords

truthdependencewell-foundednessrecursive definition

Mathematics Subject Classification ID

Applications of set theory (03E75) Logic in the philosophy of science (03A10) Other notions of set-theoretic definability (03E47)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• What truth depends on
• Notes on Leitgeb's Ruitenburg
• Outline of a Theory of Truth
• FORMAL REPRESENTATIONS OF DEPENDENCE AND GROUNDEDNESS