Volker Hartung

According to our database, Volker Hartung authored at least 1 paper in 1998.

Collaborative distances:

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

1998

A characterization of the S₁\Sigma_1-definable functions of <i>KP</i>w+ (<i>uniform</i> <i>AC</i>)KP\omega + (uniform\; AC).

Wolfgang Burr, Volker Hartung

Arch. Math. Log., 1998