Back

ⓘ Kohlenbach




Kohlenbach
                                     

ⓘ Kohlenbach

Kohlenbach is a village in the parish of Eversen which belongs to the town of Bergen on the Luneburg Heath in Celle district in the north German state of Lower Saxony.

                                     
  • developments in proof theory include the study of proof mining by Ulrich Kohlenbach and the study of proof - theoretic ordinals by Michael Rathjen. Mathematical
  • Hae Keum Konstantin Khanin Alexander Kiselev Jochen Koenigsmann Ulrich Kohlenbach Vladimir Koltchinskii Andres Koropecki Raphael Krikorian Peter B. Kronheimer
  • President Alex Wilkie 2010 - 2012 28th President Alasdair Urquhart 2013 - 2015 29th President Ulrich Kohlenbach 2016 - 2018 30th President Julia Knight 2019 - 2021
  • linear order types and the theory of concatenation. In Delon, Françoise Kohlenbach Ulrich Maddy, Penelope Stephan, Frank editors 2010 Logic Colloquium
  • Confluence elevation m above sea level Confluence location Source course Kohlenbach 0.6 right 486 southwest of Frankenhardt - Ipshof from the eastern Schafer

Users also searched:

...
...
...