arXiv:2110.14872 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords fgh theorem, observations, modal propositional logics, rosser provability predicates, friedman-goldfarb-harrington theorem Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset