Details:

Title	Equality is a jump
Author(s)	Paolo Boldi, Sebastiano Vigna
Type	Article in Journal
Abstract	We define a notion of degree of unsolvability for subsets of R^n (where R is a real closed Archimedean field) and prove that, in contrast to Type 2 computability, the presence of exact equality in the BSS model forces exactly one jump of the unsolvability degree of decidable sets.
Length	16
Copyright	Elsevier Science B.V.
File
URL	dx.doi.org/10.1016/S0304-3975(98)00283-7
Language	English
Journal	Theoretical Computer Science
Volume	219
Number	1-2
Pages	49-64
Publisher	Elsevier Science B.V.
Year	1999
Month	May
Edition	0
Translation	No
Refereed	No