Geodesic
Il problema della decisione per teorie estensionali dell'appartenenza
Bollettino della Unione matematica italiana, Série 8, 2A (1999) no. 1S, pp. 9-12.

Voir la notice de l'article provenant de la source Biblioteca Digitale Italiana di Matematica

@article{BUMI_1999_8_2A_1S_a1,
     author = {Bell\`e, Dorella},
     title = {Il problema della decisione per teorie estensionali dell'appartenenza},
     journal = {Bollettino della Unione matematica italiana},
     pages = {9--12},
     publisher = {mathdoc},
     volume = {Ser. 8, 2A},
     number = {1S},
     year = {1999},
     zbl = {0858.03015},
     mrnumber = {1441110},
     language = {it},
     url = {http://geodesic.mathdoc.fr/item/BUMI_1999_8_2A_1S_a1/}
}
TY  - JOUR
AU  - Bellè, Dorella
TI  - Il problema della decisione per teorie estensionali dell'appartenenza
JO  - Bollettino della Unione matematica italiana
PY  - 1999
SP  - 9
EP  - 12
VL  - 2A
IS  - 1S
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/BUMI_1999_8_2A_1S_a1/
LA  - it
ID  - BUMI_1999_8_2A_1S_a1
ER  - 
%0 Journal Article
%A Bellè, Dorella
%T Il problema della decisione per teorie estensionali dell'appartenenza
%J Bollettino della Unione matematica italiana
%D 1999
%P 9-12
%V 2A
%N 1S
%I mathdoc
%U http://geodesic.mathdoc.fr/item/BUMI_1999_8_2A_1S_a1/
%G it
%F BUMI_1999_8_2A_1S_a1
Bellè, Dorella. Il problema della decisione per teorie estensionali dell'appartenenza. Bollettino della Unione matematica italiana, Série 8, 2A (1999) no. 1S, pp. 9-12. http://geodesic.mathdoc.fr/item/BUMI_1999_8_2A_1S_a1/

[1] Bellè D. and Parlamento F., Decidability \( {\exists}^{*}{\forall}^{*} \) class in the Membership Theory NWL, Gödel '96, Lecture Notes in Logic (1996), 183-194. | MR | Zbl

[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 | Zbl

[3] Omodeo E., Parlamento F. and Policriti T., Decidability of \( {\exists}^{*}{\forall}^{*} \)-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. | fulltext mini-dml | DOI | MR | Zbl