Some observations on the FGH theorem

DOI10.1007/s11225-023-10045-6arXiv2110.14872OpenAlexW4367048451WikidataQ122615700 ScholiaQ122615700MaRDI QIDQ6057622

Taishi Kurahashi

Publication date: 26 October 2023

Published in: Studia Logica (Search for Journal in Brave)

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

zbMATH Keywords

provability logicincompleteness theoremRosser provability predicatesFGH theoremweak representability of c.e. sets

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Faith \& falsity
• Henkin sentences and local reflection principles for Rosser provability
• The provability logics of recursively enumerable theories extending Peano arithmetic at arbitrary theories extending Peano arithmetic
• Fifty years of self-reference in arithmetic
• Provability interpretations of modal logic
• ILLUSORY MODELS OF PEANO ARITHMETIC
• Turing Jumps Through Provability
• Partially Conservative Extensions of Arithmetic
• Rosser sentences
• PROVABILITY LOGICS RELATIVE TO A FIXED EXTENSION OF PEANO ARITHMETIC
• On Rosser's Provability Predicate
• Representability of recursively enumerable sets in formal theories
• Representability op recursively enumerable sets in formal theories

This page was built for publication: Some observations on the FGH theorem