A semantics for in-principle provability

DOI10.1093/ACPROF:OSO/9780198759591.003.0005zbMATH Open1433.03142OpenAlexW2554348196MaRDI QIDQ5221592FDOQ5221592

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

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

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)

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)