Talks and Poster Presentations (without Proceedings-Entry):
J. Aguilera Ozuna:
"The 12 Consequences of a theory";
Keynote Lecture: International Workshop on Gödelīs Incompleteness Theorems,
Wuhan, China (online) (invited);
2021-08-16
- 2021-08-20.
English abstract:
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.
Created from the Publication Database of the Vienna University of Technology.