Peano arithmetic, games and descent recursion

DOI10.1016/J.APAL.2024.103550MaRDI QIDQ7032980zbMATH OpenFDO

Authors Emanuele Frittaion

Publication date 4 February 2025

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

Peano arithmeticcut eliminationCoquand's game semanticselementary descent recursion

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Foundations of classical theories (including reverse mathematics) (03B30) First-order arithmetic and fragments (03F30) Recursive ordinals and ordinal notations (03F15)

This page was built for publication: Peano arithmetic, games and descent recursion

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7032980)