1 citations · 1 across the 4 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
math.LO2021
Solovay's Relative Consistency Proof for FIM and BI
Joan Rand Moschovakis
In 2002 Robert Solovay proved that a subsystem BI of classical second order arithmetic, with bar induction and arithmetical countable choice, can be negatively interpreted in the n…
math.LO2021★ 1 cited
Calibrating the negative interpretation
Joan Rand Moschovakis
The minimum classical extension S of a classically sound theory S based on intuitionistic logic, defined by adding to S the Gentzen negative interpretations of its mathemati…