Mangani: Sulla quantificazione simultanea nelle algebre cilindriche.

Mangani, Piero:
Sulla quantificazione simultanea nelle algebre cilindriche.
Bollettino dell'Unione Matematica Italiana Serie 3 21 (1966), fasc. n.3, p. 302-311, Zanichelli (Italian)
Sezione Scientifica
pdf (959 Kb), djvu (282 Kb). | MR 224445 | Zbl 0178.31103

Referenze Bibliografiche

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

[2] P. R. HALMOS , Algebraic Logic, New York 1962. | MR 131961 | Zbl 0101.01101

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

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

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

[6] C. R. KARP , Languages with expressions of infinite length, Amsterdam 1964. | MR 176910 | Zbl 0127.00901

[7] P. MANGANI , 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] M. SERVI , 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] R. SIKORSKI , Boolean algebras, Berlin 1964 (II ediziene). | MR 242724 | Zbl 0123.01303

La collezione può essere raggiunta anche a partire da EuDML, la biblioteca digitale matematica europea, e da mini-DML, il progetto mini-DML sviluppato e mantenuto dalla cellula Math-Doc di Grenoble.

Per suggerimenti o per segnalare eventuali errori, scrivete a zelati at unina dot it

logo MBAC Con il contributo del Ministero per i Beni e le Attività Culturali

bdim: Biblioteca Digitale Italiana di Matematica

Un progetto SIMAI e UMI

Referenza completa

Referenze Bibliografiche