A fixed point theory over stratified truth

DOI10.1002/malq.201900064zbMath1521.03207OpenAlexW3119340605MaRDI QIDQ6047658

Andrea Cantini

Publication date: 12 September 2023

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2158/1183998

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Nonclassical and second-order set theories (03E70)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Classes and truths in set theory
• The determinacy strength of \(\Pi_2^1\)-comprehension
• Comparing inductive and circular definitions: Parameters, complexity and games
• An intensional fixed point theory over first order arithmetic
• Unifying the philosophy of truth
• Reconsidering Ordered Pairs
• On the consistency of an impredicative subsystem of Quine's NF
• Paradox without Self-Reference
• The equivalence of NF-style set theories with “tangled” type theories; the construction of ω-models of predicative NF (and more)
• μ-definable sets of integers
• The Axiom of Choice in Quine's New Foundations for Mathematical Logic
• On ordered pairs
• Rudiments of \(\mu\)-calculus

This page was built for publication: A fixed point theory over stratified truth