E-LIB Suche - Ergebnisse für: Weiermann, A.

1

Functorial Fast-Growing Hierarchies:

Aguilera, J. P. ; Pakhomov, F. ; Weiermann, A.
Forum of Mathematics, Sigma. 12 (2024) - p. , 2024

Link: https://doi.org/10.1017/..

2

Formula2-computable real numbers:

Skordev, D. ; Weiermann, A. ; Georgiev, I.
Journal of Logic and Computation. 22 (2010) 4 - p. 899-925 , 2010

Link: https://doi.org/10.1093/..

3

Sharp Thresholds for a Phase Transition Related to Weakly I..:

De Smet, M. ; Weiermann, A.
Journal of Logic and Computation. 22 (2010) 2 - p. 207-211 , 2010

Link: https://doi.org/10.1093/..

4

A Sharp Phase Transition Threshold for Elementary Descent R..:

den Boer, A. ; Weiermann, A.
Journal of Logic and Computation. 17 (2007) 6 - p. 1083-1098 , 2007

Link: https://doi.org/10.1093/..

5

Term rewriting theory for the primitive recursive functions:

Cichon, E.A. ; Weiermann, A.
Annals of Pure and Applied Logic. 83 (1997) 3 - p. 199-223 , 1997

Link: https://doi.org/10.1016/..

6

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..

7

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/..

8

A WALK WITH GOODSTEIN:

FERNÁNDEZ-DUQUE, DAVID ; WEIERMANN, ANDREAS
The Bulletin of Symbolic Logic. , 2024

Link: https://doi.org/10.1017/..

9

Jenseits der Fortbildungsinhalte: Eine qualitative Studie z..:

Gensler, Anna ; Gesang, Johanna ; Weiermann, Lennart.
R&E-SOURCE. 10 (2023) 1 - p. 130-147 , 2023

Link: https://doi.org/10.53349..

10

"Die Beschulung der Neuzugewanderten ist herausfordernd, ab..:

Gesang, Johanna ; Weiermann, Lennart ; Billis, Janina
Schulverwaltung. Nordrhein-Westfalen. 33 (2022) 6 - p. 178-181 , 2022

Copies: Zentrale: z pae 385/636; Zentrale:ZS-Lesesaal pae 030

11

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/..

12

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/..

13

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..

14

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/..

15

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/..