Set existence property for intuitionistic theories with dependent choice
Work
Year: 1983
Type: article
Source: Annals of Pure and Applied Logic
Authors Harvey M. Friedman, Andre Scedrov
Institutions The Ohio State University, University of Pennsylvania
Cites: 5
Cited by: 14
Related to: 10
FWCI: 1.819
Citation percentile (by year/subfield): 74.46
Subfield: Geometry and Topology
Field: Mathematics
Domain: Physical Sciences
Open Access status: bronze