Daichi Hayashi

From MaRDI portal
Person:2144189

Available identifiers

zbMath Open hayashi.daichiMaRDI QIDQ2144189

List of research outcomes





PublicationDate of PublicationType
Theories of Frege structure equivalent to Feferman's system \(\mathsf{T}_0\)2024-10-07Paper
On cut-elimination arguments for axiomatic theories of truth2022-06-01Paper
https://portal.mardi4nfdi.de/entity/Q51491382021-02-06Paper
Theories of Frege structure equivalent to Feferman's system $\mathsf{T}_0$N/APaper

Research outcomes over time

This page was built for person: Daichi Hayashi

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2144189&oldid=6597421"
Powered by MediaWiki