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

intensional logicepistemic mathematicsabsolute provability

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

(5)

• A Principle-Based Analysis of Weakly Admissible Semantics
• Epistemic set theory
• Towards a Semantics of Unsatisfiability Proofs with Inprocessing
• Topological models of epistemic set theory
• A proof-theoretic semantics for exclusion

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)