Graduate School of System Informatics, Kobe University
2017 Volume 25 Pages 67-77
(compatible with EndNote, Reference Manager, ProCite, RefWorks)
(compatible with BibDesk, LaTeX)
We survey the study of the Fodor-type Reflection Principle (FRP) and discuss the significance of the principle in terms of what we call the reverse-mathematical criterion.
Already have an account? Sign in here