Gunnar Wilken

According to our database1, Gunnar Wilken authored at least 12 papers between 2006 and 2018.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Pure patterns of order 2.
Ann. Pure Appl. Log., 2018

An Extended Field-Based Method for Noise Removal From Electron Tomographic Reconstructions.
IEEE Access, 2018

2013
Goodstein sequences for prominent ordinals up to the ordinal of Π11-CA0.
Ann. Pure Appl. Log., 2013

2012
Normal forms for elementary patterns.
J. Symb. Log., 2012

Derivation Lengths Classification of Gödel's T Extending Howard's Assignment
Log. Methods Comput. Sci., 2012

Tracking chains of Σ<sub>2</sub>-elementarity.
Ann. Pure Appl. Log., 2012

2011
Ordinal arithmetic with simultaneously defined theta-functions.
Math. Log. Q., 2011

2009
Complexity of Gödel's T in lambda-Formulation.
Proceedings of the Typed Lambda Calculi and Applications, 9th International Conference, 2009

2007
Assignment of ordinals to patterns of resemblance.
J. Symb. Log., 2007

Sigma<sub>1</sub>-elementarity and Skolem hull operators.
Ann. Pure Appl. Log., 2007

Ordinal arithmetic based on Skolem hulling.
Ann. Pure Appl. Log., 2007

2006
The Bachmann-Howard Structure in Terms of Sigma<sub>1</sub>-Elementarity.
Arch. Math. Log., 2006


  Loading...