Pubblicazioni

Giacomo LENZI Pubblicazioni


2011
Articolo in rivista
On a positive set theory with inequality
MATHEMATICAL LOGIC QUARTERLY. Vol. 57. Pag.474-480
ISSN:0942-5616.
Lenzi, Giacomo
Digital Object Identifier (DOI): 10.1002/malq.201010022
Codice identificativo ISI: WOS:000295573600004
Codice identificativo SCOPUS: 2-s2.0-80053085957
Visualizza sul Database dei Prodotti (IRIS)
2011
Articolo in rivista
Deciding the existence of uniform interpolants over transitive models
ARCHIVE FOR MATHEMATICAL LOGIC. Vol. 50. Pag.185-196
ISSN:0933-5846.
Lenzi, Giacomo; Giovanna, D'Agostino
Digital Object Identifier (DOI): 10.1007/s00153-010-0208-5
Codice identificativo ISI: WOS:000286668400010
Codice identificativo SCOPUS: 2-s2.0-79251586291
Visualizza sul Database dei Prodotti (IRIS)