Intuitionistically provable recursive well-orderings

DOI10.1016/0168-0072(86)90004-7zbMath0615.03046OpenAlexW2068211235MaRDI QIDQ1820780

Harvey M. Friedman, Andrej Scedrov

Publication date: 1986

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

Full work available at URL: https://doi.org/10.1016/0168-0072(86)90004-7

zbMATH Keywords

transfinite inductionwell-founded\(HA^ *\)intuitionistic number theory with recursive infinitary rules

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Intuitionistic mathematics (03F55)

Related Items (1)

Well-foundedness in realizability

Cites Work

• Arithmetic transfinite induction and recursive well-orderings
• Degrees of Unsolvability. (AM-55)
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Intuitionistically provable recursive well-orderings