Studia Logica

, Volume 35, Issue 4, pp 327–333 | Cite as

On the autological character of diagonalizable algebras

  • Roberto Magari
Articles

Summary

Let ℱ be the first order theory of diagonalizable algebras. We define a bijection ϕ from the atomic formulas of ℱ (identities) to the open formulas of ℱ. ϕ is an algebraic analogous of ≒. We prove that ϕ, ϕ-1 preserve the validity.

Keywords

Mathematical Logic Computational Linguistic Atomic Formula Order Theory Open Formula 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    C. Bernardi,The fixed-point theorem for the diagonalizable algebras (the algebraization of the theories which express Theor; III),Studia Logica XXXIV 3 (1975), pp. 239–251.CrossRefGoogle Scholar
  2. [2]
    C. Bernardi,On the equational class of diagonalizable algebras (the algebraization of the theories which express Theor, VI),Studia Logica XXXIV, 4 (1975), pp. 321–331.CrossRefGoogle Scholar
  3. [3]
    R. Magari,The diagnonalizable algebras (the algebraization of the theories which express Theor; II),Bollettino Unione Matematica Haliana 12 (1975), pp. 117–125.Google Scholar
  4. [4]
    R. Magari,Representation and duality theory for diagonalizable algebras (the algebraization of the theories, which express Theor; IV) Studia Logica XXXIV, 4 (1975), pp. 305–313.CrossRefGoogle Scholar
  5. [5]
    E. Mendelson,Introduction to mathematical logic, D. Van Nostrand Company, Princeton, New Jersey, 1964.Google Scholar
  6. [6]
    F. Montagna,For every n, the n-freely generated algebra is, not functionally free in the equational class of diagonalizable algebras (the algebraization of the theories which express Theor; V).Studia Logica XXXIV. 4 (1975), pp. 315–319.CrossRefGoogle Scholar
  7. [7]
    P. Pagli,Su alcune estensioni del lemma di diagonalizzazione nell'aritmetica di Peano, to appear.Google Scholar
  8. [8]
    H. Rasiowa andR. Sikorski,The mathematics of metamathematics, Warszawa, PWN, 1963.Google Scholar
  9. [9]
    R. Sikorski,Boolean algebras, Springer-Verlag, Berlin-Heidelberg-New York 1963 (third edition).Google Scholar

Copyright information

© Warszawa 1976

Authors and Affiliations

  • Roberto Magari
    • 1
  1. 1.Institute of MathematicsSiena UniversityItaly

Personalised recommendations