The Friedman-Sheard programme in intuitionistic logic

DOI10.2178/jsl/1344862162zbMath1248.03081OpenAlexW2001780720WikidataQ59902371 ScholiaQ59902371MaRDI QIDQ2915893

Michael Rathjen, Graham E. Leigh

Publication date: 19 September 2012

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.jsl/1344862162

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Intuitionistic mathematics (03F55) Relative consistency and interpretations (03F25)

Related Items (1)

A proof-theoretic account of classical principles of truth

Cites Work

• Unnamed Item
• How truthlike can a predicate be? A negative result
• An axiomatic approach to self-referential truth
• Constructivism in mathematics. An introduction. Volume I
• A system of complete and consistent truth
• An ordinal analysis for theories of self-referential truth
• A theory of formal truth arithmetically equivalent to ID₁
• Toward useful type-free theories. I
• Reflecting on incompleteness

This page was built for publication: The Friedman-Sheard programme in intuitionistic logic