Mathematical Communications

Joosten, Joost J., Spain

• Vol 18, No 1 (2013) - Regular Articles
  $\Pi_1^0$-ordinal analysis beyond first-order arithmetic
  Abstract  PDF

ISSN: 1331-0623 (Print), 1848-8013 (Online)