Switch to: Citations

References in:

The fixed-point theorem for diagonalizable algebras

Claudio Bernardi

Studia Logica 34 (3):239 - 251 (1975)

Add references

You must login to add references.

Universal Algebra.George Grätzer - 1982 - Studia Logica 41 (4):430-431.details Download Export citation Bookmark 105 citations
Introduction to mathematical logic.Elliott Mendelson - 1964 - Princeton, N.J.,: Van Nostrand.details The Fourth Edition of this long-established text retains all the key features of the previous editions, covering the basic topics of a solid first course in ... Download Export citation Bookmark 188 citations
Solution of a problem of Leon Henkin.M. H. Löb - 1955 - Journal of Symbolic Logic 20 (2):115-118.details Download Export citation Bookmark 113 citations
On Bernstein's Self-Dual Set of Postulates for Boolean Algebras.Richard Montague & Jan Tarski - 1962 - Journal of Symbolic Logic 27 (4):472-472.details Download Export citation Bookmark 1 citation
(1 other version)The relation of a to prov ⌜a ⌝ in the lindenbaum sentence algebra.C. F. Kent - 1973 - Journal of Symbolic Logic 38 (2):295-298.details Download Export citation Bookmark 11 citations
(1 other version)The relation of a to $\operatorname{prov} \ulcorner a \urcorner$ in the lindenbaum sentence algebra.C. F. Kent - 1973 - Journal of Symbolic Logic 38 (2):295 - 298.details Download Export citation Bookmark 7 citations
Theories incomparable with respect to relative interpretability.Richard Montague - 1962 - Journal of Symbolic Logic 27 (2):195-211.details Download Export citation Bookmark 22 citations

1