Theories of Frege structure equivalent to Feferman's system \(\mathsf{T}_0\)
type: Item
instance of: scholarly article
title: Theories of Frege structure equivalent to Feferman's system \(\mathsf{T}_0\)
author: Daichi Hayashi
published in: Annals of Pure and Applied Logic
publication date: 2024-10-07T00:00:00Z
Mathematics Subject Classification ID: 03F05
Mathematics Subject Classification ID: 03F25
Mathematics Subject Classification ID: 03F50
zbMATH DE Number: 7921877
zbMATH Keywords: Frege structure
zbMATH Keywords: explicit mathematics
zbMATH Keywords: proof-theoretic strength
zbMATH Keywords: cut-elimination
zbMATH Keywords: Kripke-style truth
MaRDI profile type: Publication
cites work: Q3912779
cites work: Q4075450
cites work: Q3679172
cites work: Q3464621
cites work: A theory of formal truth arithmetically equivalent to ID1
cites work: Extending the first-order theory of combinators with self-referential truth
cites work: Logical frameworks for truth and abstraction. An axiomatic study
cites work: About Truth and Types
cites work: Q4128540
cites work: Reflecting on incompleteness
cites work: AXIOMS FOR DETERMINATENESS AND TRUTH
cites work: An axiomatic approach to self-referential truth
cites work: Relative Truth Definability of Axiomatic Truth Theories
cites work: Autonomous progression and transfinite iteration of self-applicable truth
cites work: Truth and reduction
cites work: A NEW FORMALIZATION OF FEFERMAN’S SYSTEM OF FUNCTIONS AND CLASSES AND ITS RELATION TO FREGE STRUCTURE
cites work: A well-ordering proof for Feferman's theoryT 0
cites work: Q3035279
cites work: First order theories for nonmonotone inductive definitions: Recursively inaccessible and Mahlo
cites work: The proof-theoretic analysis of transfinitely iterated fixed point theories
cites work: Universes in explicit mathematics
cites work: Reflections on reflections in explicit mathematics
cites work: Truth in applicative theories
cites work: Universes over Frege structures
cites work: Unifying the philosophy of truth
cites work: Q2753685
cites work: A new model construction by making a detour via intuitionistic theories. II: Interpretability lower bound of Feferman's explicit mathematics \(T_0\)
cites work: Outline of a Theory of Truth
cites work: Q4215633
cites work: A disquotational theory of truth as strong as \(Z_2^-\)
cites work: Supervaluation-style truth without supervaluations
cites work: Q4934569
cites work: Realization of analysis into Explicit Mathematics
cites work: Realization of constructive set theory into explicit mathematics: A lower bound for impredicative Mahlo universe
DOI: 10.1016/J.APAL.2024.103510
description: scientific article; zbMATH DE number 7921877