Onderzoeker
Andreas Weiermann
- Trefwoorden:Bewijstheorie, Termherschrijfsystemen, Wiskundige logica
- Disciplines:Mathematische logica en beginselen, Geschiedenis en biografie van wiskunde, Convexe en discrete geometrie, Combinatoriek, Theoretische informatica niet elders geclassificeerd, Geschiedenis en grondbeginselen van de wiskunde niet elders geclassificeerd, Mathematische software, Toegepaste discrete wiskunde, Computationele logica en formele talen, Codering en informatietheorie
Affiliaties
- Vakgroep Wiskunde: Analyse, Logica en Discrete Wiskunde (Departement)
Lid
Vanaf1 jan 2019 → Heden - Vakgroep Wiskunde: Algebra en Meetkunde (Departement)
Lid
Vanaf1 okt 2006 → 31 dec 2018
Projecten
1 - 10 of 12
- Dualiteitstheorie voor verificatieformalismenVanaf1 nov 2023 → HedenFinanciering: FWO senior postdoctoraal mandaat
- Naar hogere principes van de goede ordening voor de rekenkunde van de derde ordeningVanaf1 nov 2022 → HedenFinanciering: FWO mandaten
- Analyse van Impredicatieve Bewijsbaarheidslogica'sVanaf11 apr 2022 → HedenFinanciering: BOF - doctorale mandaten
- Recursie, reflectie, en tweede orde rekenkundeVanaf1 feb 2022 → HedenFinanciering: FWO Odysseus Groep II
- De bewijs en modeltheorie van intuïtionistische temporele logicaVanaf1 jan 2021 → HedenFinanciering: FWO Onderzoeksproject (incl. WEAVE projecten)
- Analyse van de sterkte van de stelling van Hindman in alternatieve formuleringen.Vanaf1 jan 2021 → HedenFinanciering: BOF - doctorale mandaten
- Recursie op ptykesVanaf1 okt 2020 → 31 jan 2022Financiering: FWO mandaten
- Niet-standaard analyse in speciale modellenVanaf1 okt 2018 → 30 sep 2020Financiering: BOF - Nieuwe Onderzoeksinitiatieven
- Een bepaling van de sterkte van Fraisse's vermoeden over ordeningtypenVanaf15 mrt 2018 → 14 mei 2021Financiering: BOF - Nieuwe Onderzoeksinitiatieven
- Analytische combinatoriek van het oneindige: een Tauberse aanpakVanaf1 sep 2015 → 31 aug 2021Financiering: BOF - Nieuwe Onderzoeksinitiatieven
Publicaties
1 - 10 van 35
- Some independence results related to finite trees(2023)
Auteurs: Harvey Martin Friedman, Andreas Weiermann
- Chapter 7 : Intermediate Goodstein principles(2023)
Auteurs: David Fernández-Duque, Oriola Gjetaj, Andreas Weiermann, Marco Benini, Olaf Beyersdorff, Michael Rathjen, Peter Schuster
Pagina's: 165 - 194 - Arithmetical and hyperarithmetical worm battles(2022)
Auteurs: David Fernández-Duque, Joost J Joosten, Fedor Pakhomov, Konstantinos Papafilippou, Andreas Weiermann
Pagina's: 1558 - 1584 - Connecting with computability(2021)
Auteurs: Liesbeth De Mol, Andreas Weiermann, Florin Manea, David Fernández-Duque
- Goodstein sequences on a parametrized Ackermann-Peter function(2021)
Auteurs: Toshiyasu Arai, Stan Wainer, Andreas Weiermann
Pagina's: 168 - 186 - Ackermannian Goodstein sequences of intermediate growth(2020)Volume: 12098
Auteurs: David Fernández-Duque, Andreas Weiermann
Pagina's: 163 - Well-quasi orders in computation, logic, language and reasoning : a unifying concept of proof theory, automata theory, formal languages and descriptive set theory(2020)
Auteurs: Peter M. Schuster, Monika Seisenberger, Andreas Weiermann
Aantal pagina's: 1 - Calculating maximal order types for finite rooted unstructured labeled trees(2020)
Auteurs: Diana Schmidt, Jeroen Van der Meeren, Andreas Weiermann, Reinhard Kahle, Michael Rathjen
Pagina's: 253 - 264 - Ackermannian Goodstein principles for first order Peano arithmetic(2017)Series: Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore
Auteurs: Andreas Weiermann, Sy-David Friedman, Dilip Raghavan, Yue Yang
Pagina's: 157 - 181 - The strength of infinitary Ramseyan principles can be accessed by their densities(2017)
Auteurs: Andrey Bovykin, Andreas Weiermann
Pagina's: 1700 - 1709