scientific article; zbMATH DE number 7307078

MaRDI QIDQ5149138zbMATH OpenFDO

Authors Daichi Hayashi

Publication date 6 February 2021

zbMATH Keywords

axiomatic theories of truthfaithful interpretationproof-theoretic strength

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40)

Recommendations

• Relative Truth Definability of Axiomatic Truth Theories
• scientific article; zbMATH DE number 5263144
• On definability of types and relative stability
• A note on typed truth and consistency assertions
• scientific article; zbMATH DE number 5235521
• On bounded type-definable equivalence relations
• Axiomatic theories of partial ground. II: Partial ground and hierarchies of typed truth
• On the Strength of Proof-Irrelevant Type Theories
• On the strength of proof-irrelevant type theories
• Truth definitions in finite models

Cited in

(1)

• Faith \& falsity

This page was built for publication:

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