The logic of \(\Pi_ 1\)-conservativity continued
type: Item
instance of: scholarly article
title: The logic of \(\Pi_ 1\)-conservativity continued
zbMATH Open document ID: 0790.03018
DOI: 10.1007/BF01270395
author: Petr Hájek
author: Franco Montagna
published in: Archive for Mathematical Logic
publication date: 1994-06-22T00:00:00Z
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 484793
zbMATH Keywords: interpretability logic
zbMATH Keywords: propositional modal logic IRM
zbMATH Keywords: Montagna's principle
zbMATH Keywords: witness comparisons
zbMATH Keywords: logic of \(\Pi_ 1\)-conservativity
zbMATH Keywords: arithmetical completeness theorem
MaRDI profile type: Publication
cites work: A simplification of a completeness proof of Guaspari and Solovay
cites work: Sentences implying their own provability
cites work: Rosser sentences
cites work: The logic of \(\Pi_ 1\)-conservativity
full work available at URL: https://doi.org/10.1007/bf01270395
OpenAlex ID: W2054981947
description: scientific article; zbMATH DE number 484793