Definable incompleteness and Friedberg splittings
Work
Year: 2002
Type: article
Source: Journal of Symbolic Logic
Author Russell Miller
Institution University of Chicago
Cites: 16
Cited by:
Related to: 10
FWCI:
Citation percentile (by year/subfield):
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Reduced inequalities
Open Access status: closed