Toggle navigation
reposiTUm
ABOUT REPOSITUM
HELP
Login
News
Browse by
Publication Types
Organizations
Researchers
Projects
TU Wien Academic Press
Open Access Series
Theses
Digitised Works
Year of Publication
Record link:
http://hdl.handle.net/20.500.12708/138146
-
Title:
Ackermann and Goodstein go functorial.
en
Citation:
Aguilera Ozuna, J. P., Freund, A., Rathjen, M., & Weiermann, A. (2021). Ackermann and Goodstein go functorial.
Pacific Journal of Mathematics
,
313
(2), 251–291. https://doi.org/10.2140/pjm.2021.313.251
-
Publisher DOI:
10.2140/pjm.2021.313.251
-
Publication Type:
Article - Original Research Article
en
Language:
English
-
Authors:
Aguilera Ozuna, Juan Pablo
Freund, Anton
Rathjen, Michael
Weiermann, Andreas
-
Organisational Unit:
E104-02 - Forschungsbereich Computational Logic
-
Journal:
Pacific Journal of Mathematics
-
ISSN:
0030-8730
-
Date (published):
2021
-
Number of Pages:
41
-
Publisher:
MATHEMATICAL SCIENCES PUBLISHERS
-
Peer reviewed:
Yes
-
Keywords:
General Mathematics
-
Research Areas:
außerhalb der gesamtuniversitären Forschungsschwerpunkte: 100%
-
Science Branch:
Mathematik
-
Appears in Collections:
Article
Show full item record
Page view(s)
66
checked on Nov 19, 2023
Google Scholar
TM
Check