A semantics for in-principle provability

DOI10.1093/ACPROF:OSO/9780198759591.003.0005MaRDI QIDQ5221592zbMATH OpenOpenAlexFDO

Authors Theodora Achourioti

Publication date 2 April 2020

Published in Gödel's Disjunction (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/acprof:oso/9780198759591.003.0005

zbMATH Keywords

absolute provabilityepistemic mathematicsintensional logic

Mathematics Subject Classification ID

Gödel numberings and issues of incompleteness (03F40) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Recommendations

• Epistemic set theory
• Epistemic theories and the interpretation of Gödel's incompleteness theorems
• Truth vs. provability – philosophical and historical remarks
• On formal and informal provability
• Absolute Provability and Safe Knowledge of Axioms

Cited in

(6)

• Epistemic set theory
• A proof-theoretic semantics for exclusion
• scientific article; zbMATH DE number 1163997 (Why is no real title available?)
• Towards a Semantics of Unsatisfiability Proofs with Inprocessing
• A Principle-Based Analysis of Weakly Admissible Semantics
• Topological models of epistemic set theory

This page was built for publication: A semantics for in-principle provability

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