Advanced Search

Match of the following rules

Add Sub-clause

Add Another Rule

Contains the following math formula (red border means the formula is incomplete)

Formula preview

The search session has expired. Please query the service again.

Currently displaying 1 – 1 of 1

Order by Relevance | Title | Year of publication

Subalgebras of diagonalizable algebras of theories containing arithmetic

Vladimir Yu. Shavrukov — 1993

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....

Page 1

Download Results (CSV)