Gunnar Wilken

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A Glimpse of $$ \sum_{3} $$-elementarity The Legacy of Kurt Schütte	2021-12-03	Paper
Pure $\Sigma_2$-elementarity beyond the core Annals of Pure and Applied Logic	2021-07-26	Paper
Tracking chains revisited Sets and Computations	2020-12-02	Paper
Pure patterns of order 2 Annals of Pure and Applied Logic	2017-11-06	Paper
Pure $\Sigma_2$-Elementarity beyond the Core (available as arXiv preprint)	2017-10-04	Paper
Goodstein sequences for prominent ordinals up to the ordinal of $\Pi^1_1$-$\mathrm{CA}_0$ Annals of Pure and Applied Logic	2015-08-27	Paper
Normal forms for elementary patterns Journal of Symbolic Logic	2012-04-19	Paper
Derivation lengths classification of Gödel's T extending Howard's assignment Logical Methods in Computer Science	2012-04-03	Paper
Tracking chains of $\varSigma_2$-elementarity Annals of Pure and Applied Logic	2011-11-11	Paper
Ordinal arithmetic with simultaneously defined theta-functions Mathematical Logic Quarterly	2011-05-06	Paper
Complexity of Gödel’s T in λ-Formulation Lecture Notes in Computer Science	2009-07-07	Paper
Assignment of ordinals to patterns of resemblance Journal of Symbolic Logic	2007-07-09	Paper
Ordinal arithmetic based on Skolem hulling Annals of Pure and Applied Logic	2007-02-14	Paper
$\Sigma _{1}$-elementarity and Skolem hull operators Annals of Pure and Applied Logic	2007-02-14	Paper
The Bachmann-Howard structure in terms of $\Sigma_1$-elementarity Archive for Mathematical Logic	2006-11-06	Paper
scientific article; zbMATH DE number 2185163 (Why is no real title available?)	2005-06-30	Paper

Research outcomes over time

This page was built for person: Gunnar Wilken