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
Items in reposiTUm are protected by copyright, with all rights reserved, unless otherwise indicated.
Page view(s)
29
checked on Nov 1, 2023
Google Scholar
TM
Check