< Back to previous page
Researcher
Jeroen Van der Meeren
- Disciplines:Mathematical logic and foundations, History and biography of mathematical sciences, History and foundations not elsewhere classified
Affiliations
- Department of Mathematics: Algebra and Geometry (Department)
Member
From1 Sep 2011 → 30 Sep 2015
Projects
1 - 1 of 1
- Well partial ordenings in proof theory and maximal order typesFrom1 Oct 2011 → 30 Sep 2015Funding: BOF - Other initiatives, FWO fellowships
Publications
1 - 6 of 6
- Ordinal notation systems corresponding to Friedman's linearized well-partial-orders with gap-condition(2017)
Authors: Michael Rathjen, Jeroen Van der Meeren
Pages: 607 - 638 - An order-theoretic characterization of the Howard-Bachmann-hierarchy(2017)
Authors: Jeroen Van der Meeren, Michael Rathjen
Pages: 79 - 118 - Reverse mathematics, well-quasi-orders, and Noetherian spaces(2016)
Authors: Emanuele Frittaion, Matthew Hendtlass, Alberto Marcone, Paul Shafer, Jeroen Van der Meeren
Pages: 431 - 459 - How to compare Buchholz-style ordinal notation systems with Gordeev-style notation systems(2015)Volume: 9136
Authors: Jeroen Van der Meeren, A Beckmann, V Miltrana, M Soskova
Pages: 353 - 362 - Connecting the two worlds: well-partial-orders and ordinal notation systems(2015)
Authors: Jeroen Van der Meeren
- Well-partial-orderings and the big Veblen number(2015)
Authors: Jeroen Van der Meeren, Michael Rathjen
Pages: 193 - 230