×

zbMATH — the first resource for mathematics

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
PDF BibTeX XML Cite
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. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.