Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Weiermann, Andreas
90  Ergebnisse:
Personensuche X
?
1

Fundamental sequences and fast-growing hierarchies for the ..:

Fernández-Duque, David ; Weiermann, Andreas
Annals of Pure and Applied Logic.  175 (2024)  8 - p. 103455 , 2024
Link: https://doi.org/10.1016/..
 
?
2

A WALK WITH GOODSTEIN:

FERNÁNDEZ-DUQUE, DAVID ; WEIERMANN, ANDREAS
The Bulletin of Symbolic Logic.  , 2024
Link: https://doi.org/10.1017/..
 
?
3

A WALK WITH GOODSTEIN:

FERNÁNDEZ-DUQUE, DAVID ; WEIERMANN, ANDREAS
The Bulletin of Symbolic Logic.  30 (2024)  1 - p. 1-19 , 2024
Link: https://www.jstor.org/st..
 
?
4

Minimal bad sequences are necessary for a uniform Kruskal t..:

Freund, Anton ; Rathjen, Michael ; Weiermann, Andreas
Advances in Mathematics.  400 (2022)  - p. 108265 , 2022
Link: https://doi.org/10.1016/..
 
?
5

Arithmetical and Hyperarithmetical Worm Battles:

FernÁndez-Duque, David ; Joosten, Joost J ; Pakhomov, Fedor..
Journal of Logic and Computation.  32 (2022)  8 - p. 1558-1584 , 2022
Link: https://doi.org/10.1093/..
 
?
6

GOODSTEIN SEQUENCES BASED ON A PARAMETRIZED ACKERMANN–PÉTER..:

ARAI, TOSHIYASU ; WAINER, STANLEY S. ; WEIERMANN, ANDREAS
The Bulletin of Symbolic Logic.  27 (2021)  2 - p. 168-186 , 2021
Link: https://doi.org/10.1017/..
 
?
7

GOODSTEIN SEQUENCES BASED ON A PARAMETRIZED ACKERMANN–PÉTER..:

ARAI, TOSHIYASU ; WAINER, STANLEY S. ; WEIERMANN, ANDREAS
The Bulletin of Symbolic Logic.  27 (2021)  2 - p. 168-186 , 2021
Link: https://www.jstor.org/st..
 
?
8

Connecting with Computability: 17th Conference on Computabi.. 

Theoretical Computer Science and General Issues, 12813
De Mol, Liesbeth ; Weiermann, Andreas ; Manea, Florin. - 1st ed. 2021 . , 2021
Link: https://doi.org/10.1007/..
 
?
9

Calculating Maximal Order Types for Finite Rooted Unstructu..:

, In: The Legacy of Kurt Schütte,
Schmidt, Diana ; van der Meeren, Jeroen ; Weiermann, Andreas - p. 253-264 , 2020
Link: https://doi.org/10.1007/..
 
?
10

Ackermannian Goodstein Sequences of Intermediate Growth:

, In: Lecture Notes in Computer Science; Beyond the Horizon of Computability,
Fernández-Duque, David ; Weiermann, Andreas - p. 163-174 , 2020
Link: https://doi.org/10.1007/..
 
?
11

Well-Quasi Orders in Computation, Logic, Language and Reaso.. 

Trends in Logic, Studia Logica Library, 53
Schuster, Peter M ; Seisenberger, Monika ; Weiermann, Andreas - 1st ed. 2020 . , 2020
Link: https://doi.org/10.1007/..
 
?
12

Ordinal notation systems corresponding to Friedman's linear..:

Rathjen, Michael ; Van der Meeren, Jeroen ; Weiermann, Andreas
Archive for Mathematical Logic.  56 (2017)  5-6 - p. 607-638 , 2017
Link: https://doi.org/10.1007/..
 
?
13

The strength of infinitary Ramseyan principles can be acces..:

Bovykin, Andrey ; Weiermann, Andreas
Annals of Pure and Applied Logic.  168 (2017)  9 - p. 1700-1709 , 2017
Link: https://doi.org/10.1016/..
 
?
14

An order-theoretic characterization of the Howard–Bachmann-..:

Van der Meeren, Jeroen ; Rathjen, Michael ; Weiermann, Andreas
Archive for Mathematical Logic.  56 (2016)  1-2 - p. 79-118 , 2016
Link: https://doi.org/10.1007/..
 
?
15

Asymptotic distribution of integers with certain prime fact..:

Vernaeve, Hans ; Vindas, Jasson ; Weiermann, Andreas
Journal of Number Theory.  136 (2014)  - p. 87-99 , 2014
Link: https://doi.org/10.1016/..
 
1-15