Transfinite expansions of arithmetic formulas

DOI10.1007/BF01091742zbMath0399.03045OpenAlexW2060334332MaRDI QIDQ1254249

Grigori Mints

Publication date: 1978

Published in: Journal of Soviet Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01091742

zbMATH Keywords

Heyting arithmeticderivationrecursive arithmeticTransfinite expansions of arithmetic formulas

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Complexity of proofs (03F20) Proof theory and constructive mathematics (03F99)

Cites Work

• Functionals defined by transfinite recursion
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Transfinite expansions of arithmetic formulas