Independent numerations of theories and recursive progressions

DOI10.1007/BF00970985zbMath0787.03054MaRDI QIDQ1204765

Lev D. Beklemishev

Publication date: 28 March 1993

Published in: Siberian Mathematical Journal (Search for Journal in Brave)

zbMATH Keywords

modal logicprovability logicaxiomatizationsequences of theories

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40)

Related Items

On bimodal logics of provability, The omega-rule interpretation of transfinite provability logic, A NOTE ON DERIVABILITY CONDITIONS

Cites Work

• Unnamed Item
• Unnamed Item
• Modal logics with several operators and probability interpretations
• Provability logics for natural Turing progressions of arithmetical theories
• The provability logics of recursively enumerable theories extending Peano arithmetic at arbitrary theories extending Peano arithmetic
• Provability interpretations of modal logic
• Arithmetization of metamathematics in a general setting
• Arithmetical interpretations of dynamic logic
• Provability in finite subtheories of PA and relative interpretability: a modal investigation
• Calculating self-referential statements