Predicative Ordinal Recursion on the Constructive Veblen Hierarchy

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Tabatabai, Amirhossein Akbar, Greati, Vitor, Ramanayake, Revantha
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic Computational Complexity Logic in Computer Science 03D15, 03D20, 03D60, 03F15 F.1.3; F.4.1
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Accesso online

https://arxiv.org/abs/2510.18497