20 citations · 31 across the 10 of their papers we have counts for
1 paper · 2 filters
Marcus Schaefer, Daniel Stefankovic
We show that completeness at higher levels of the theory of the reals is a robust notion (under changing the signature and bounding the domain of the quantifiers). This mends recog…