Solovay’s Relative Consistency Proof for FIM and BI
Work
Year: 2021
Type: article
Abstract: In his own words, this historical note documents Robert Solovay’s argument in 2002 that a classical system BI with arithmetic comprehension and bar induction is equiconsistent, over primitive recursiv... more
Author Joan Rand Moschovakis
Institution Occidental College
Cites: 5
Cited by: 1
Related to: 10
FWCI: 0.129
Citation percentile (by year/subfield): 34.23
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green