×

Representation and duality theory for diagonalizable algebras. (The algebraization of theories which express Theor. IV.). (English) Zbl 0355.02021


MSC:

03F99 Proof theory and constructive mathematics
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] C. Bernardi,The fixed-point theorem for the diagonalizable algebras (the algebraization of the theories which express Theor; III),Studia Logica, Vol.34, No. 3 (1975), pp. 239–251. · Zbl 0318.02031 · doi:10.1007/BF02125226
[2] P. R. Halmos,Algebraic logic, I. Monadic Boolean algebras,Compositio Mathematicae, Vol. 12 (1955), pp. 217–249 (reprinted inAlgebraic logic, Chelsea Publ. Comp. N. Y., 1962). · Zbl 0087.24505
[3] B. Jonsson andA. Tarski,Boolean algebras with operators, Part I,American Mathematical Journal, Vol. 13 (1951), pp. 891–939 · Zbl 0045.31505 · doi:10.2307/2372123
[4] R. Magari Problemi aperti sulle algebre diagonali, to appear inRend. Sem. Mat. Fis. Milano.
[5] R. Magari The diagonalizable algebras (the algebraization of the theories which express Theor; II) to appear inB.U.M.I. · Zbl 0352.08009
[6] P. Pagli Su alcune estensioni del lemma di diagonalizzazione nell’aritmetica di Peano, to appear.
[7] M. Servi,A representation theorem for ”regular” hemimorphism between Boolean algebras.Riv. Mat. Un. Parma (2) 7 (1966). pp. 185–191. · Zbl 0178.33801
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.