Název: Dôkazy bezespornosti aritmetiky
Překlad názvu: Dôkazy bezespornosti aritmetiky
Autoři: Horská, Anna ; Pudlák, Pavel (vedoucí práce) ; Hrubeš, Pavel (oponent) ; Buss, Samuel (oponent)
Typ dokumentu: Disertační práce
Rok: 2017
Jazyk: eng
Abstrakt: [eng] [cze]

Klíčová slova: eliminácia rezu|bezespornosť Peanovej aritmeitky|Gerhard Gentzen|Veblenova hierarchia|nekonečné kalkuly; cut elimination|consistency of Peano arithmetic|Gerhard Gentzen|Veblen hierarchy|infinitary calculus

Instituce: Fakulty UK (VŠKP) (web)
Informace o dostupnosti dokumentu: Dostupné v digitálním repozitáři UK.
Původní záznam: http://hdl.handle.net/20.500.11956/94108

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-472871


Záznam je zařazen do těchto sbírek:
Školství > Veřejné vysoké školy > Univerzita Karlova > Fakulty UK (VŠKP)
Vysokoškolské kvalifikační práce > Disertační práce
 Záznam vytvořen dne 2022-05-08, naposledy upraven 2022-05-08.


Není přiložen dokument
  • Exportovat ve formátu DC, NUŠL, RIS
  • Sdílet