<div class="csl-bib-body">
<div class="csl-entry">Aguilera Ozuna, J. P. (2019). <i>Between the finite and the infinite</i> [Dissertation, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/80040</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/80040
-
dc.description.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.
en
dc.format
444 Seiten
-
dc.language
English
-
dc.language.iso
en
-
dc.subject
reflection order
en
dc.subject
infinite games
en
dc.subject
long games
en
dc.subject
Kripke-Platek set theory
en
dc.subject
Woodin cardinal
en
dc.subject
unsound inference
en
dc.subject
Determinate Logic
en
dc.subject
GLP
en
dc.title
Between the finite and the infinite
en
dc.type
Thesis
en
dc.type
Hochschulschrift
de
dc.contributor.affiliation
TU Wien, Österreich
-
dc.publisher.place
Wien
-
tuw.thesisinformation
Technische Universität Wien
-
tuw.publication.orgunit
E104 - Institut für Diskrete Mathematik und Geometrie
-
dc.type.qualificationlevel
Doctoral
-
dc.identifier.libraryid
AC15360843
-
dc.description.numberOfPages
444
-
dc.thesistype
Dissertation
de
dc.thesistype
Dissertation
en
tuw.advisor.staffStatus
staff
-
item.languageiso639-1
en
-
item.openairetype
doctoral thesis
-
item.grantfulltext
none
-
item.fulltext
no Fulltext
-
item.cerifentitytype
Publications
-
item.openairecristype
http://purl.org/coar/resource_type/c_db06
-
crisitem.author.dept
E104-02 - Forschungsbereich Computational Logic
-
crisitem.author.parentorg
E104 - Institut für Diskrete Mathematik und Geometrie
