Relative Predicativity And Dependent Recursion In Second Order Set Theory And Higher Order Theories
Work
Year: 2014
Type: article
Abstract: This article reports that some robustness of the notions of predicativity and of autonomous progression is broken down if as the given infinite total entity we choose some mathematical entities other... more
Source: Journal of Symbolic Logic
Author Kentaro Sato
Institution Universidad Iberoamericana
Cites: 12
Cited by: 15
Related to: 10
FWCI: 1.138
Citation percentile (by year/subfield): 92.09
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Reduced inequalities
Open Access status: green