dc.contributor.author Strannegård, Claes en dc.date.accessioned 2008-08-11T10:03:52Z dc.date.available 2008-08-11T10:03:52Z dc.date.issued 1996 en dc.identifier.uri http://hdl.handle.net/2077/14320 dc.description.abstract This thesis deals with provability logic. Strengthenings are obtained of some arithmetical completeness theorems by Berarducci, Carlson, Shavrukov, and Solovay. Conditions are provided for recursively enumerable sets of modal formulas to have natural counterparts in the form of recursively enumerable sets of arithmetical sentences. These conditions are all sufficient and some are also necessary. The modal formulas in question are expressed either in the language of bimodal provability logic or in the language of interpretability logic. The proofs of these results make particular use of a method involving Solovay functions that has been developed by Shavrukov and simplified by Zambella.Shavrukov has shown that the Magari algebras (i.e. the diagonalizable algebras) of two sufficiently sound and strong arithmetical theories are mutually embeddable. In this thesis it is shown that this result extends to Lindenbaum algebras that are equipped with two operators corresponding to the provability predicates of two different theories, one of which is much stronger than the other.A compactness theorem is obtained that pertains to the modal logic of interpretability over theories like Peano arithmetic and ZermeloFraenkel set theory. Finally certain simple phenomena of interpretability are investigated and in this connection a general solution to a problem of Orey from 1961 is provided.arithmetic, degrees of interpretability, diagonalizable algebra, interpretability logic, Magari algebra, metamathematics, modal logic, provability logic. en dc.subject arithmetic en dc.subject degrees of interpretability en dc.subject diagonalizable algebra en dc.subject interpretability logic en dc.subject Magari algebra en dc.subject metamathematics en dc.subject modal logic en dc.subject provability logic. en dc.title Arithmetical realizations of modal formulas. Preliminary version. en dc.type Text en dc.type.svep Doctoral thesis en dc.gup.origin Göteborgs universitet/University of Gothenburg eng dc.gup.price 150.00 dc.gup.dissdbid 4303 en dc.gup.dissdb-impressum 1996 en dc.gup.dissdb-fakultet (saknas)
﻿

## Files in this item

FilesSizeFormatView

There are no files associated with this item.