Iterated trees and fragments of arithmetic

DOI10.1007/BF01270390zbMath0826.03028OpenAlexW2073662919MaRDI QIDQ1892096

Yue Yang

Publication date: 28 November 1995

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

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

zbMATH Keywords

reverse mathematicsfinite injury\(O^{(n)}\)-priority methoditerated treesRecursion Theory in Fragments of Arithmetic

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Related Items (max. 100)

\(\Sigma_2\)-constructions and \(\text{I}\Sigma_1\)

Cites Work

• Countable algebra and set existence axioms
• On some games which are relevant to the theory of recursively enumerable sets
• Finite injury and Σ₁-induction
• Topological Framework for Non‐Priority
• Unnamed Item
• Unnamed Item

This page was built for publication: Iterated trees and fragments of arithmetic