A boundedness theorem in ID1(W)

DOI10.2307/2273906zbMATH Open0623.03053OpenAlexW4255104490MaRDI QIDQ3760543

Gerhard Jäger

Publication date: 1986

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2273906

zbMATH Keywords

recursive treesiterated inductive definitionsboundedness theorem

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35)

Cites Work

• Unnamed Item
• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies

This page was built for publication: A boundedness theorem in ID₁(W)