Riccardo Camerlo

Learn More
We introduce the notion of an invariantly universal pair (S, E) where S is an analytic quasi-order and E ⊆ S ∩S is an analytic equivalence relation. This means that for any analytic quasi-order R there is a Borel set B invariant under E such that R is Borel equivalent to the restriction of S to B. We prove a general result giving a sufficient condition for(More)
Abstract. It is proved that in a suitable intuitionistic, locally classical, version of the theory ZFC deprived of the axiom of infinity, the requirement that every set be finite is equivalent to the assertion that every ordinal is a natural number. Moreover, the theory obtained with the addition of these finiteness assumptions is equivalent to a theory of(More)
This meeting covered all important aspects of modern Set Theory, including large cardinal theory, combinatorial set theory, descriptive set theory, connections with algebra and analysis, forcing axioms and inner model theory. The presence of an unusually large number (19) of young researchers made the meeting especially dynamic. Mathematics Subject(More)