Sulla quantificazione simultanea nelle algebre cilindriche.
Mangani, Piero
Bollettino dell'Unione Matematica Italiana, Tome 21 (1966), p. 302-311 / Harvested from Biblioteca Digitale Italiana di Matematica
Access to full text
Full (PDF)
Full (DjVu)
Publié le : 1966-09-01
@article{BUMI_1966_3_21_3_302_0,
     author = {Piero Mangani},
     title = {Sulla quantificazione simultanea nelle algebre cilindriche.},
     journal = {Bollettino dell'Unione Matematica Italiana},
     volume = {21},
     year = {1966},
     pages = {302-311},
     zbl = {0178.31103},
     mrnumber = {224445},
     language = {it},
     url = {http://dml.mathdoc.fr/item/BUMI_1966_3_21_3_302_0}
}

Mangani, Piero. Sulla quantificazione simultanea nelle algebre cilindriche.. Bollettino dell'Unione Matematica Italiana, Tome 21 (1966) pp. 302-311. http://gdmltest.u-ga.fr/item/BUMI_1966_3_21_3_302_0/

[1] Galler, B. A., Cylindric and polyadic algebras, Proc. Amer. Math. Soc.8 (1957). | MR 86031 | Zbl 0087.25101

[2] Halmos, P. R., Algebraic Logic, New York1962. | MR 131961 | Zbl 0101.01101

[3] Henkin, L., Some remarks on infinitely long formulas, in Infinitistic Metods, Warsaw 1959. | MR 143691 | Zbl 0121.25308

[4] Henkin, L., Cylindric algebras, (Lectures presented at the Seminar of the 1961 Can. Math. Congr. (litografate)). | Zbl 0121.25402

[5] Henkin, L. - Tarski, A., Cylindric algebras, Proc. of Symposia in pure math. Vol. II (Lattice theory), 1959-

[6] Karp, C. R., Languages with expressions of infinite length, Amsterdam1964. | MR 176910 | Zbl 0127.00901

[7] Mangani, P., Alcune applicazioui del concetto di «stabilizzante» al problema dell'estensione di un quantore, Atti Acc. Scienze di Torino, Vol. 99 (1964/1965). | MR 184883 | Zbl 0156.00505

[8] Servi, M., Sulla meno fine topologia ottenuta per estensione da una infratopologia generalizzata, Rend. Sem. Mat. Un. e Politecn. Torino, Vol. 23. | MR 171734 | Zbl 0139.40104

[9] Sikorski, R., Boolean algebras, Berlin1964 (II ediziene). | MR 242724 | Zbl 0123.01303