Graduate School of System Informatics, Kobe University
(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? Login in here