6 citations · 6 across the 2 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2009
Some new results on decidability for elementary algebra and geometry
Robert M. Solovay, R. D. Arthan, John Harrison
We carry out a systematic study of decidability for theories of (a) real vector spaces, inner product spaces, and Hilbert spaces and (b) normed spaces, Banach spaces and metric spa…
math.LO1997★ 6 cited
The consistency strength of NFUB
Robert M. Solovay
We show that the consistency strength of the system NFUB, a variant of Quine's "New Foundations" recently introduced by Randall Holmes, is precisely that of [ZFC - Power Set] + "Th…