Daichi Hayashi

collaborators

2 papers

math.LO2024

Axiomatic theories of supervaluational truth: completing the picture

Pablo Dopico, Daichi Hayashi

Supervaluational fixed-point theories of formal truth aim to amend an important shortcoming of fixed-point theories based on the Strong Kleene logic, namely, accounting for the tru…

math.LO2024

Theories of Frege structure equivalent to Feferman's system $T_{0}$

Daichi Hayashi

Feferman (1975) defines an impredicative system $T_{0}$ of explicit mathematics, which is proof-theoretically equivalent to the subsystem $Δ_{2}^{1}$ - $CA + BI$ …

Axiomatic theories of supervaluational truth: completing the picture

Theories of Frege structure equivalent to Feferman's system T0​

Theories of Frege structure equivalent to Feferman's system $T_{0}$