#### Filter Results:

- Full text PDF available (7)

#### Publication Year

2000

2016

- This year (0)
- Last 5 years (2)
- Last 10 years (5)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

We study several natural classes and relations occurring in continuum theory from the viewpoint of descriptive set theory and infinite combinatorics. We provide useful characterizations for the relation of likeness among dendrites and show that it is a bqo with countably many equivalence classes. For dendrites with finitely many branch points the classes of… (More)

- Riccardo Camerlo
- Order
- 2005

Some examples of Σ 1 1-universal preorders are presented, in the form of various relations of embeddability between countable coloured total orders. As an application, strengthening a theorem of [7], the Σ 1 1-universality of continuous embeddability for dendrites whose branch points have order 3 is obtained.

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)

- Riccardo Camerlo
- Notre Dame Journal of Formal Logic
- 2007

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)

- Riccardo Camerlo
- J. Symb. Log.
- 2002

- Riccardo Camerlo, Raphaël Carroy, Alberto Marcone
- Order
- 2016

- Riccardo Camerlo, Raphaël Carroy, Alberto Marcone
- Order
- 2015

- RICCARDO CAMERLO
- 2000

We show that the isomorphism relation for countable Boolean algebras is Borel complete, i.e., the isomorphism relation for arbitrary countable structures is Borel reducible to that for countable Boolean algebras. This implies that Ketonen’s classification of countable Boolean algebras is optimal in the sense that the kind of objects used for the complete… (More)

- Riccardo Camerlo
- FotFS
- 2001

- Sy-David Friedman Vienna, Menachem Magidor Jerusalem, Hugh Woodin, John Krueger, Natasha Dobrinen, Riccardo Camerlo
- 2005

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)