CONTENTS0. Introduction. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .51. Preliminaries. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .62. On conservativity in L. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .133. A family of Kripke models. . . . . . . . . . . . . . . . . . . . . . . . . . . 204. Finite credibility extent. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 245. The strong disjunction property and steady formulae. . . . . .336. -ill theories of infinite credibility extent. . . . . . . . . . . . 417. -sound theories. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 528. An application. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .579. A question of arithmetical complexity. . . . . . . . . . . . . . . . . . .5910. Arbitrary subalgebras. -ill theories. . . . . . . . . . . . . . 6611. Arbitrary subalgebras. -sound theories. . . . . . . . . . 74References. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .80
1991 Mathematics Subject Classification: Primary 03F40, 03G25; Secondary 03F30, 03B45.
@book{bwmeta1.element.zamlynska-88a718e0-555a-4089-a866-160bf5d44e12, author = {Vladimir Yu. Shavrukov}, title = {Subalgebras of diagonalizable algebras of theories containing arithmetic}, series = {GDML\_Books}, publisher = {Instytut Matematyczny Polskiej Akademi Nauk}, address = {Warszawa}, year = {1993}, zbl = {0803.03044}, language = {en}, url = {http://dml.mathdoc.fr/item/bwmeta1.element.zamlynska-88a718e0-555a-4089-a866-160bf5d44e12} }
Vladimir Yu. Shavrukov. Subalgebras of diagonalizable algebras of theories containing arithmetic. GDML_Books (1993), http://gdmltest.u-ga.fr/item/bwmeta1.element.zamlynska-88a718e0-555a-4089-a866-160bf5d44e12/