A fixed point theory over stratified truth. Issue 4 (15th January 2021)

• Record Type: Journal Article
• Authors: Cantini, Andrea
• Is Part Of: Mathematical logic quarterly. Volume 66:Issue 4(2020)
• Page Start: 380
• Page End: 394
• Publication Date: 2021-01-15
• Subjects: Mathematics -- Periodicals; Logic, Symbolic and mathematical -- Periodicals; 511.3
• DOI: 10.1002/malq.201900064
• Languages: English
• ISSNs: 0942-5616

Abstract

Abstract: We present a theory of stratified truth ST μ with a μ‐operator, where terms representing fixed points of stratified monotone operations are available. We prove that ST μ is relatively intepretable into Quine's NF (or subsystems thereof). The motivation is to investigate a strong theory of truth, which is consistent by means of stratification, i.e., by adopting an implicit type theoretic discipline, and yet is compatible with self‐reference (to a certain extent). The present version of ST μ is an enhancement of the theory presented in [2].