Solovay's completeness without fixed points
From MaRDI portal
Publication:1685933
DOI10.1007/978-3-662-55386-2_20zbMath1496.03247arXiv1703.10262OpenAlexW2728350839MaRDI QIDQ1685933
Publication date: 20 December 2017
Full work available at URL: https://arxiv.org/abs/1703.10262
First-order arithmetic and fragments (03F30) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)
Related Items (2)
The absorption law. Or: how to Kreisel a Hilbert-Bernays-Löb ⋮ THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH
This page was built for publication: Solovay's completeness without fixed points