Independent numerations of theories and recursive progressions
type: Item
instance of: scholarly article
title: Independent numerations of theories and recursive progressions
zbMATH Open document ID: 0787.03054
DOI: 10.1007/BF00970985
published in: Siberian Mathematical Journal
publication date: 1993-03-28T00:00:00Z
review text: See the review in Zbl 0772.03029.
Mathematics Subject Classification ID: 03F40
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03F30
zbMATH DE Number: 130851
zbMATH Keywords: modal logic
zbMATH Keywords: provability logic
zbMATH Keywords: axiomatization
zbMATH Keywords: sequences of theories
author: Lev D. Beklemishev
MaRDI profile type: Publication
cites work: Provability interpretations of modal logic
cites work: The provability logics of recursively enumerable theories extending Peano arithmetic at arbitrary theories extending Peano arithmetic
cites work: Q3731573
cites work: Arithmetization of metamathematics in a general setting
cites work: Modal logics with several operators and probability interpretations
cites work: Provability logics for natural Turing progressions of arithmetical theories
cites work: Provability in finite subtheories of PA and relative interpretability: a modal investigation
cites work: Calculating self-referential statements
cites work: Arithmetical interpretations of dynamic logic
cites work: Q3964565
description: scientific article; zbMATH DE number 130851