2010 seminar talk: Invariantly universal analytic quasi-orders

Talk held by Luca Motto Ros (Albert-Ludwigs-Universität Freiburg) at the KGRC seminar on 2010-10-14.


We introduce a strengthening of the notion of completeness for analytic quasi-orders called "invariant universality" (roughly speaking, an analytic quasi-order is invariantly universal if it contains in a "natural" way a copy of any other analytic quasi-order), and we then show that, quite surprisingly, many natural examples of complete analytic quasi-orders arising in various areas of mathematics are indeed invariantly universal.

This is joint work with Riccardo Camerlo and Alberto Marcone.

Bottom menu

Kurt Gödel Research Center for Mathematical Logic. Währinger Straße 25, 1090 Wien, Austria. Phone +43-1-4277-50501. Last updated: 2010-12-16, 04:37.