Operations, Collections and Sets within a General Axiomatic Framework (2007)
This paper is part of a general research programme on the Foundations of Mathematics, Logic and Computer Science, carried out since the early eighties at the the Seminar directed by Ennio De Giorgi...
Mauro Di, Marco Forti, Communicated Alan Dow
Abstract. We give the name Hausdorff to those ultrafilters that provide ultrapowers whose natural topology (S-topology) is Hausdorff, e.g. selective ultrafilters are Hausdorff. Here we give necessary...
Axiomatic Characterizations of Hyperuniverses and Applications (1996)
Marco Forti, Furio Honsell, Marina Lenisa
Hyperuniverses are topological structures exhibiting strong closure properties under formation of subsets. They have been used both in Computer Science, for giving denotational semantics `a la...
Processes and Hyperuniverses (1994)
Marco Forti, Furio Honsell, Marina Lenisa
. We show how to define domains of processes, which arise in the denotational semantics of concurrent languages, using hypersets, i.e. non-wellfounded sets. In particular we discuss how to solve...
Eugenio Montale, la poesia, la prosa di fantasia e d'invenzione, Marco Forti. . - Milano. NALUAF000464, Mursia. NAEDAF003734, 1983.
Idea del romanzo italiano fra ottocento e novecento (1981)
Idea del romanzo italiano fra ottocento e novecento, Maroco Forti. . - Milano. NALUAF000464, Garzanti. NAEDAF002439, 1981.
PER conoscere Montale, a cura di Marco Forti. . - Milano. NALUAF000464, Mondadori. NAEDAF003670, 1976.
Per conoscere Montale, Marco Forti. . - Milano. NALUAF000464, Mondadori. NAEDAF003670, 1976.