arXiv Analytics

Sign in

arXiv:2110.14872 [math.LO]AbstractReferencesReviewsResources

Some observations on the FGH theorem

Taishi Kurahashi

Published 2021-10-28, updated 2023-04-08Version 2

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.

Comments: 28 pages
Categories: math.LO
Related articles: Most relevant | Search more
arXiv:2403.17027 [math.LO] (Published 2024-03-23)
Some observations on a result by Bialinicki-Birula and Zelazko
arXiv:1112.0350 [math.LO] (Published 2011-12-01, updated 2012-04-24)
Some observations on "A new proof of a theorem of Jayne and Rogers"
arXiv:1709.07301 [math.LO] (Published 2017-09-21)
Some observations about generalized quantifiers in logics of imperfect information

Links

Toolbox