Subalgebras of diagonalizable algebras of theories containing arithmetic

Vladimir Yu. Shavrukov

Displaying similar documents to “Subalgebras of diagonalizable algebras of theories containing arithmetic”

Integrating intuitionistic and classical theories

E. López-Escobar (1981)

Fundamenta Mathematicae

Similarity:

Constructing Kripke models of certain fragments of Heyting's arithmetic.

Wehmeier, Kai F. (1998)

Publications de l'Institut Mathématique. Nouvelle Série

Similarity:

Kripke models for intuitionistic theories with decidable atomic formulas.

Marković, Zoran (1984)

Publications de l'Institut Mathématique. Nouvelle Série

Similarity:

On axiomatizability and preservation in Kripke models.

Markovic, Zoran (1981)

Publications de l'Institut Mathématique. Nouvelle Série

Similarity:

A note on the Mac Dowell-Specker theorem

Peter Clote (1987)

Fundamenta Mathematicae

Similarity:

A kind of categoricity

Andrzej Grzegorczyk (1962)

Colloquium Mathematicae

Similarity:

Polyadic algebras over nonclassical logics

Don Pigozzi, Antonino Salibra (1993)

Banach Center Publications

Similarity:

The polyadic algebras that arise from the algebraization of the first-order extensions of a SIC are characterized and a representation theorem is proved. Standard implicational calculi (SIC)'s were considered by H. Rasiowa [19] and include classical and intuitionistic logic and their various weakenings and fragments, the many-valued logics of Post and Łukasiewicz, modal logics that admit the rule of necessitation, BCK logic, etc.