Full and hat inductive definitions are equivalent in NBG
Work
Year: 2014
Type: article
Source: Archive for Mathematical Logic
Author Kentaro Sato
Institution University of Bern
Cites: 17
Cited by: 11
Related to: 10
FWCI: 0.285
Citation percentile (by year/subfield): 80.08
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green