Subalgebras of diagonalizable algebras of theories containing arithmetic
Vladimir Yu. Shavrukov
GDML_Books, (1993), p.

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. Σ1-ill theories of infinite credibility extent. . . . . . . . . . . . 417. Σ1-sound theories. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 528. An application. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .579. A question of arithmetical complexity. . . . . . . . . . . . . . . . . . .5910. Arbitrary subalgebras. Σ1-ill theories. . . . . . . . . . . . . . 6611. Arbitrary subalgebras. Σ1-sound theories. . . . . . . . . . 74References. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .80

1991 Mathematics Subject Classification: Primary 03F40, 03G25; Secondary 03F30, 03B45.

EUDML-ID : urn:eudml:doc:219353
@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/