Il problema della decisione per teorie estensionali dell'appartenenza
Bellè, Dorella
Bollettino dell'Unione Matematica Italiana, Tome 2-A (1999), p. 9-12 / Harvested from Biblioteca Digitale Italiana di Matematica
Access to full text
Full (PDF)
Full (DjVu)
Publié le : 1999-01-01
@article{BUMI_1999_8_2A_1S_9_0,
     author = {Dorella Bell\`e},
     title = {Il problema della decisione per teorie estensionali dell'appartenenza},
     journal = {Bollettino dell'Unione Matematica Italiana},
     volume = {2-A},
     year = {1999},
     pages = {9-12},
     language = {it},
     url = {http://dml.mathdoc.fr/item/BUMI_1999_8_2A_1S_9_0}
}

Bellè, Dorella. Il problema della decisione per teorie estensionali dell'appartenenza. Bollettino dell'Unione Matematica Italiana, Tome 2-A (1999) pp. 9-12. http://gdmltest.u-ga.fr/item/BUMI_1999_8_2A_1S_9_0/

[1] Bellè, D. and Parlamento, F., Decidability ∃*∀* class in the Membership Theory NWL, Gödel '96, Lecture Notes in Logic (1996), 183-194. | MR 1441110 | Zbl 0858.03015

[2] Cantone, D., Ferro, A. and Omodeo, E., Computable Set Theory. Vol 1, Oxford University Press, Int. Series of Monographs on Computer Science (1989). | MR 1060733 | Zbl 0755.03024

[3] Omodeo, E., Parlamento, F. and Policriti, T., Decidability of ∃*∀*-sentences in Membership Theories, Mathematical Logic Quarterly, 1 (1996).

[4] Parlamento, F. and Policriti, A., Expressing Infinity without Foundation, Journal of Symbolic Logic, 56 (1991), 1230-1235. | MR 1136452 | Zbl 0744.03051