Iterated trees and fragments of arithmetic
From MaRDI portal
Publication:1892096
DOI10.1007/BF01270390zbMath0826.03028MaRDI QIDQ1892096
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
reverse mathematics; finite injury; \(O^{(n)}\)-priority method; iterated trees; Recursion Theory in Fragments of Arithmetic
03F30: First-order arithmetic and fragments
Related Items
Cites Work