Gunnar Wilken

According to our database, Gunnar Wilken authored at least 13 papers between 2006 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

Pure Σ₂-elementarity beyond the core.

Gunnar Wilken

Ann. Pure Appl. Log., 2021

2018

Pure patterns of order 2.

Gunnar Wilken

Ann. Pure Appl. Log., 2018

An Extended Field-Based Method for Noise Removal From Electron Tomographic Reconstructions.

Faisal Mahmood, Lars-Goran Ofverstedt, Mart Toots, Gunnar Wilken, Ulf Skoglund

IEEE Access, 2018

2013

Goodstein sequences for prominent ordinals up to the ordinal of Π11-CA0.

Andreas Weiermann, Gunnar Wilken

Ann. Pure Appl. Log., 2013

2012

Normal forms for elementary patterns.

Timothy J. Carlson, Gunnar Wilken

J. Symb. Log., 2012

Derivation Lengths Classification of Gödel's T Extending Howard's Assignment

Gunnar Wilken, Andreas Weiermann

Log. Methods Comput. Sci., 2012

Tracking chains of Σ₂-elementarity.

Timothy J. Carlson, Gunnar Wilken

Ann. Pure Appl. Log., 2012

2011

Ordinal arithmetic with simultaneously defined theta-functions.

Andreas Weiermann, Gunnar Wilken

Math. Log. Q., 2011

2009

Complexity of Gödel's T in lambda-Formulation.

Gunnar Wilken, Andreas Weiermann

Proceedings of the Typed Lambda Calculi and Applications, 9th International Conference, 2009

2007

Assignment of ordinals to patterns of resemblance.

Gunnar Wilken

J. Symb. Log., 2007

Sigma₁-elementarity and Skolem hull operators.

Gunnar Wilken

Ann. Pure Appl. Log., 2007

Ordinal arithmetic based on Skolem hulling.

Gunnar Wilken

Ann. Pure Appl. Log., 2007

2006

The Bachmann-Howard Structure in Terms of Sigma₁-Elementarity.

Gunnar Wilken

Arch. Math. Log., 2006