The proof-theoretic analysis of transfinitely iterated quasi least fixed points
From MaRDI portal
Publication:3410669
DOI10.2178/jsl/1154698573zbMath1115.03084MaRDI QIDQ3410669
Publication date: 29 November 2006
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://boris.unibe.ch/19387/1/S0022481200005880.pdf
03F35: Second- and higher-order arithmetic and fragments
Related Items
Cites Work