A note on the diagonalizable algebras of PA and ZF

Annals of Pure and Applied Logic 61 (1-2):161-173 (1993)
  Copy   BIBTEX

Abstract

We prove that the diagonalizable algebras of PA and ZF are not isomorphic

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(93)90202-o

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,486

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

On Shavrukov’s Non-Isomorphism Theorem for Diagonalizable Algebras.Evgeny A. Kolmakov - 2024 - Review of Symbolic Logic 17 (1):206-243.
Decision problems for classes of diagonalizable algebras.Aldo Ursini - 1985 - Studia Logica 44 (1):87 - 89.
Undecidability in diagonalizable algebras.V. Shavrukov - 1997 - Journal of Symbolic Logic 62 (1):79-116.
For everyn, then-freely generated algebra is not functionally free in the equational class of diagonalizable algebras.Franco Montagna - 1975 - Studia Logica 34 (4):315 - 319.
Strong amalgamation property of diagonalizable algebras.Irena Janicka-Zuk - 1983 - Bulletin of the Section of Logic 12 (3):105-108.
Shavrukov's Theorem on the Subalgebras of Diagonalizable Algebras for Theories Containing IΔ0+exp.Domenico Zambella - 1994 - Notre Dame Journal of Formal Logic 35 (1):147-157.
On the autological character of diagonalizable algebras.Roberto Magari - 1976 - Studia Logica 35 (4):327 - 333.
A Topological Interpretation of Diagonalizable Algebras.Jacek Hawranek - 1990 - Bulletin of the Section of Logic 19 (4):117-121.
Representation and duality theory for diagonalizable algebras.Roberto Magari - 1975 - Studia Logica 34 (4):305 - 313.
Interpretations of the first-order theory of diagonalizable algebras in peano arithmetic.Franco Montagna - 1980 - Studia Logica 39 (4):347 - 354.

Analytics

Added to PP
2014-01-16

Downloads
41 (#583,880)

6 months
11 (#272,803)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Undecidability in diagonalizable algebras.V. Shavrukov - 1997 - Journal of Symbolic Logic 62 (1):79-116.
Provability logic.Rineke Verbrugge - 2008 - Stanford Encyclopedia of Philosophy.
Interpretability over peano arithmetic.Claes Strannegård - 1999 - Journal of Symbolic Logic 64 (4):1407-1425.

View all 7 citations / Add more citations

References found in this work

Add more references