Access

You are not currently logged in.

Access your personal account or get JSTOR access through your library or other institution:

login

Log in to your personal account or through your institution.

On the Equational Class of Diagonalizable Algebras (The Algebraization of the Theories Which Express Theor; VI)

Claudio Bernardi
Studia Logica: An International Journal for Symbolic Logic
Vol. 34, No. 4 (1975), pp. 321-331
Published by: Springer
Stable URL: http://www.jstor.org/stable/20014777
Page Count: 11
  • Download ($43.95)
  • Cite this Item
On the Equational Class of Diagonalizable Algebras (The Algebraization of the Theories Which Express Theor; VI)
Preview not available

Abstract

It is well-known that, in Peano arithmetic, there exists a formula Theor (x) which numerates the set of theorems and that this formula satisfies Hilbert-Bernays derivability conditions. Recently R. Magari has suggested an algebraization of the properties of Theor, introducing the concept of diagonalizable algebra (see [7]): of course this algebraization can be applied to all these theories in which there exists a predicate with analogous properties. In this paper, by means of methods of universal algebra, we study the equational class of diagonalizable algebras, proving, among other things, that the set of identities satisfied by Theor which are consequences of the known ones is decidable.

Page Thumbnails

  • Thumbnail: Page 
[321]
    [321]
  • Thumbnail: Page 
322
    322
  • Thumbnail: Page 
323
    323
  • Thumbnail: Page 
324
    324
  • Thumbnail: Page 
325
    325
  • Thumbnail: Page 
326
    326
  • Thumbnail: Page 
327
    327
  • Thumbnail: Page 
328
    328
  • Thumbnail: Page 
329
    329
  • Thumbnail: Page 
330
    330
  • Thumbnail: Page 
331
    331