Subalgebras of diagonalizable algebras of theories containing arithmetic
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....