< Terug naar vorige pagina

Publicatie

Predicatively unprovable termination of the Ackermannian Goodstein process

Tijdschriftbijdrage - Tijdschriftartikel

Tijdschrift: PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY

ISSN: 1088-6826

Volume: 148

Pagina's: 3567 - 3582

Jaar van publicatie:2020

WoS Id: 000541456100032
Handle: http://hdl.handle.net/1854/LU-8660685
DOI: https://doi.org/10.1090/proc/14813

Toegankelijkheid:Closed