Proof theory for theories of ordinals II: Π3-reflection
Work
Year: 2004
Type: article
Source: Annals of Pure and Applied Logic
Author Toshiyasu Arai
Institution Chiba University
Cites: 11
Cited by: 29
Related to: 10
FWCI: 2.261
Citation percentile (by year/subfield): 86.27
Topic: Advanced Algebra and Logic
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: bronze