Generalizing Montague's theorem on recursive definitions

DOI10.1215/00294527-2021-0027MaRDI QIDQ2075276zbMATH OpenOpenAlexFDO

Authors 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

dependencerecursive definitiontruthwell-foundedness

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2037780
• scientific article; zbMATH DE number 1752463
• Fundamentals of generalized recursion theory
• Rethinking revision
• scientific article; zbMATH DE number 4193663

Cites work

• Formal representations of dependence and groundedness
• scientific article; zbMATH DE number 3627183 (Why is no real title available?)
• scientific article; zbMATH DE number 1028815 (Why is no real title available?)
• scientific article; zbMATH DE number 795569 (Why is no real title available?)
• Notes on Leitgeb's Ruitenburg
• Outline of a Theory of Truth
• What truth depends on

Cited in

(1)

• scientific article; zbMATH DE number 5062001 (Why is no real title available?)

This page was built for publication: Generalizing Montague's theorem on recursive definitions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2075276)