Some observations on the FGH theorem
Logic
2023-04-11 v2
Abstract
We investigate the Friedman--Goldfarb--Harrington theorem from two perspectives. Firstly, in the frameworks of classical and modal propositional logics, we study the forms of sentences whose existence is guaranteed by the FGH theorem. Secondly, we prove some variations of the FGH theorem with respect to Rosser provability predicates.
Cite
@article{arxiv.2110.14872,
title = {Some observations on the FGH theorem},
author = {Taishi Kurahashi},
journal= {arXiv preprint arXiv:2110.14872},
year = {2023}
}
Comments
28 pages