2000 seminar talk: WQO and BQO theory in subsystems of second order arithmetic

Talk held by Alberto Marcone (University of Udine, Italy) at the KGRC seminar on 2000-12-05.

Sorry, there is no abstract for this talk in our database.

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.