Gunnar Wilken

Available identifiers

Publication	Date of Publication	Type
A Glimpse of $$ \sum_{3} $$-elementarity	2021-12-03	Paper
Pure $\Sigma_2$-elementarity beyond the core	2021-07-26	Paper
TRACKING CHAINS REVISITED	2020-12-02	Paper
Pure patterns of order 2	2017-11-06	Paper
Pure $\Sigma_2$-Elementarity beyond the Core	2017-10-04	Paper
Goodstein sequences for prominent ordinals up to the ordinal of $\Pi^1_1$-$\mathrm{CA}_0$	2015-08-27	Paper
Normal forms for elementary patterns	2012-04-19	Paper
Derivation Lengths Classification of G\"odel's T Extending Howard's Assignment	2012-04-03	Paper
Tracking chains of $\varSigma_2$-elementarity	2011-11-11	Paper
Ordinal arithmetic with simultaneously defined theta-functions	2011-05-06	Paper
Complexity of Gödel’s T in λ-Formulation	2009-07-07	Paper
Assignment of ordinals to patterns of resemblance	2007-07-09	Paper
Ordinal arithmetic based on Skolem hulling	2007-02-14	Paper
$\Sigma _{1}$-elementarity and Skolem hull operators	2007-02-14	Paper
The Bachmann-Howard structure in terms of $\Sigma_1$-elementarity	2006-11-06	Paper
https://portal.mardi4nfdi.de/entity/Q3024338	2005-06-30	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Gunnar Wilken