Solovay's completeness without fixed points

DOI10.1007/978-3-662-55386-2_20zbMath1496.03247arXiv1703.10262OpenAlexW2728350839MaRDI QIDQ1685933

Fedor N. Pakhomov

Publication date: 20 December 2017

Full work available at URL: https://arxiv.org/abs/1703.10262

Mathematics Subject Classification ID

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