Extending constructive operational set theory by impredicative principles
Work
Year: 2011
Type: article
Abstract: We study constructive set theories, which deal with (partial) operations applying both to sets and operations themselves. Our starting point is a fully explicit, finitely axiomatized system ESTE of co... more
Source: Mathematical logic quarterly
Author Andrea Cantini
Institution University of Florence
Cites: 23
Cited by: 6
Related to: 10
FWCI: 0.83
Citation percentile (by year/subfield): 62.35
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: bronze