Aguilera Ozuna, J. P. (2019). Between the finite and the infinite [Dissertation, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/80040
E104 - Institut für Diskrete Mathematik und Geometrie
-
Datum (veröffentlicht):
2019
-
Umfang:
444
-
Keywords:
reflection order; infinite games; long games; Kripke-Platek set theory; Woodin cardinal; unsound inference; Determinate Logic; GLP
en
Abstract:
The thesis studies (i) the order of patterns of iterated Sigma11- and Pi11- reflection on ordinals, (ii) games of transfinite length, (iii) proof systems with locally unsound rules, and (iv) topological interpretations of provability logic.
