Vorträge und Posterpräsentationen (ohne Tagungsband-Eintrag):
J. Aguilera Ozuna:
"The 12 Consequences of a theory";
Hauptvortrag: International Workshop on Gödel´s Incompleteness Theorems,
Wuhan, China (online) (eingeladen);
16.08.2021
- 20.08.2021.
Kurzfassung englisch:
We give a categorical definition of the 12
-norm of a theory T, which is a specific well-foundednesspreserving
functor on the category of ordinals. This is an analog of the 11
ordinal for T for 12
notions. We show that for 12
-sound, recursively enumerable extensions of ACA0, this norm is well
defined and recursive and captures all the 12
consequences of T. If time allows, we might cover other
related topics. This is joint work with Fedor Pakhomov.
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.