Ein Wohlordnungsbeweis mit $$ \Delta^{1}_{2} $$-Komprehension und Bar-Induktion

The Legacy of Kurt Schütte ◽

10.1007/978-3-030-49424-7_22 ◽

2020 ◽

pp. 445-459

Author(s):

Kurt Schütte

Download Full-text