Standard and non-standard analysis in second order arithmetic

von Yokoyama, Keita
Veröffentlicht 2009

Keishiki-taikei-to-keisan-riron : RIMS-kyōdō-kenkyū-hōkokushū ; Kyōto, September 13 - 17, 2010 = Form al systems and computality theory

Veröffentlicht 2011

In Search of the First-Order Part of Ramsey’s Theorem for Pairs

von Kołodziejczyk, Leszek Aleksander
Veröffentlicht in CiE (17. : 2021 : Gent, online) Connecting with Computability (2021)