Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

You searched for subject:(Magari algebra). One record found.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


University of Gothenburg / Göteborgs Universitet

1. Strannegård, Claes. Arithmetical realizations of modal formulas. Preliminary version.

Degree: 1996, University of Gothenburg / Göteborgs Universitet

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.

Subjects/Keywords: arithmetic; degrees of interpretability; diagonalizable algebra; interpretability logic; Magari algebra; metamathematics; modal logic; provability logic.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Strannegård, C. (1996). Arithmetical realizations of modal formulas. Preliminary version. (Thesis). University of Gothenburg / Göteborgs Universitet. Retrieved from http://hdl.handle.net/2077/14320

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Strannegård, Claes. “Arithmetical realizations of modal formulas. Preliminary version.” 1996. Thesis, University of Gothenburg / Göteborgs Universitet. Accessed June 25, 2019. http://hdl.handle.net/2077/14320.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Strannegård, Claes. “Arithmetical realizations of modal formulas. Preliminary version.” 1996. Web. 25 Jun 2019.

Vancouver:

Strannegård C. Arithmetical realizations of modal formulas. Preliminary version. [Internet] [Thesis]. University of Gothenburg / Göteborgs Universitet; 1996. [cited 2019 Jun 25]. Available from: http://hdl.handle.net/2077/14320.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Strannegård C. Arithmetical realizations of modal formulas. Preliminary version. [Thesis]. University of Gothenburg / Göteborgs Universitet; 1996. Available from: http://hdl.handle.net/2077/14320

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

.