About Truth and Types

DOI10.1007/978-3-319-29198-7_2MaRDI QIDQ3305551zbMATH OpenOpenAlexFDO

Authors Andrea Cantini

Publication date 7 August 2020

Published in Advances in Proof Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-29198-7_2

zbMATH Keywords

explicit mathematicsexplicit typeFrege structurespredicate applicationpropositional function

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35) Metamathematics of constructive systems (03F50) Other constructive mathematics (03F65)

Cites work

• An axiomatic approach to self-referential truth
• Axiomatic theories of truth
• AXIOMS FOR DETERMINATENESS AND TRUTH
• Conservativity for theories of compositional truth via cut elimination
• Does reductive proof theory have a viable rationale?
• Elementary induction on abstract structures
• Friedman and the axiomatization of Kripke's theory of truth
• scientific article; zbMATH DE number 1670489 (Why is no real title available?)
• scientific article; zbMATH DE number 3687373 (Why is no real title available?)
• scientific article; zbMATH DE number 3722625 (Why is no real title available?)
• scientific article; zbMATH DE number 4123726 (Why is no real title available?)
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• scientific article; zbMATH DE number 2152238 (Why is no real title available?)
• Implication and analysis in classical Frege structures
• LEVELS OF IMPLICATION AND TYPE FREE THEORIES OF CLASSIFICATIONS WITH APPROXIMATION OPERATOR
• Logical frameworks for truth and abstraction. An axiomatic study
• On power set in explicit mathematics
• Power types in explicit mathematics?
• Proof theory. The first step into impredicativity
• Proofs and computations
• Reflecting on incompleteness
• Relative Truth Definability of Axiomatic Truth Theories
• The proof-theoretic analysis of transfinitely iterated fixed point theories
• Theories with self-application and computational complexity.
• Totality in applicative theories
• Truth in applicative theories
• Uniform inseparability in explicit mathematics
• Weak theories of truth and explicit mathematics

Cited in

(3)

• Levels of truth
• Reflecting and unfolding
• Theories of Frege structure equivalent to Feferman's system \(\mathsf{T}_0\)

This page was built for publication: About Truth and Types

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