Absolute Provability and Safe Knowledge of Axioms
DOI10.1093/ACPROF:OSO/9780198759591.003.0010zbMATH Open1433.03011OpenAlexW2555836453MaRDI QIDQ5221597FDOQ5221597
Authors: Timothy Williamson 
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.0010
Recommendations
- AXIOMATIZATION OF PROVABLE n-PROVABILITY
- Axiomatizing provable \(n\)-provability
- scientific article; zbMATH DE number 7533333
- Safe beliefs for propositional theories
- Provability logic and the completeness principle
- AXIOMS FOR DETERMINATENESS AND TRUTH
- The Logic of Provability
- scientific article; zbMATH DE number 1215499
- scientific article; zbMATH DE number 1170091
- scientific article; zbMATH DE number 1301808
Philosophical and critical aspects of logic and foundations (03A05) Undecidability and degrees of sets of sentences (03D35) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)
Cited In (9)
- On the Question of Absolute Undecidability
- What is absolute undecidability?
- Title not available (Why is that?)
- Title not available (Why is that?)
- Truth and Provability—A Comment on Redhead
- On the question of absolute undecidability
- Malament-Hogarth machines and Tait's axiomatic conception of mathematics
- Fragmentation and logical omniscience
- A semantics for in-principle provability
This page was built for publication: Absolute Provability and Safe Knowledge of Axioms
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5221597)
