Gunnar Wilken

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 4

Top Topics

Top Venues

Ann. Pure Appl. Log.

Publications

Gunnar Wilken
Fundamental Sequences Based on Localization. CiE (2024)
Gunnar Wilken
-elementarity beyond the core. Ann. Pure Appl. Log. 172 (9) (2021)
Faisal Mahmood, Lars-Goran Ofverstedt, Mart Toots, Gunnar Wilken, Ulf Skoglund
An Extended Field-Based Method for Noise Removal From Electron Tomographic Reconstructions. IEEE Access 6 (2018)
Gunnar Wilken
Pure patterns of order 2. Ann. Pure Appl. Log. 169 (1) (2018)
Andreas Weiermann, Gunnar Wilken
Goodstein sequences for prominent ordinals up to the ordinal of Π11-CA0. Ann. Pure Appl. Log. 164 (12) (2013)
Timothy J. Carlson, Gunnar Wilken
Normal forms for elementary patterns. J. Symb. Log. 77 (1) (2012)
Timothy J. Carlson, Gunnar Wilken
-elementarity. Ann. Pure Appl. Log. 163 (1) (2012)
Gunnar Wilken, Andreas Weiermann
Derivation Lengths Classification of Gödel's T Extending Howard's Assignment Log. Methods Comput. Sci. 8 (1) (2012)
Andreas Weiermann, Gunnar Wilken
Ordinal arithmetic with simultaneously defined theta-functions. Math. Log. Q. 57 (2) (2011)
Gunnar Wilken, Andreas Weiermann
Complexity of Gödel's T in lambda-Formulation. TLCA (2009)
Gunnar Wilken
Ordinal arithmetic based on Skolem hulling. Ann. Pure Appl. Log. 145 (2) (2007)
Gunnar Wilken
-elementarity and Skolem hull operators. Ann. Pure Appl. Log. 145 (2) (2007)
Gunnar Wilken
Assignment of ordinals to patterns of resemblance. J. Symb. Log. 72 (2) (2007)
Gunnar Wilken
-Elementarity. Arch. Math. Log. 45 (7) (2006)