• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations | Disambiguate

DMCA

Equality is a jump (1999)

Cached

  • Download as a PDF

Download Links

  • [www.neurocolt.org]
  • [www.neurocolt.org]
  • [gongolo.usr.dsi.unimi.it]
  • [dotto.usr.dsi.unimi.it]
  • [vigna.dsi.unimi.it]
  • [vigna.di.unimi.it]
  • [www.ricam.oeaw.ac.at]

  • Other Repositories/Bibliography

  • DBLP
  • Save to List
  • Add to Collection
  • Correct Errors
  • Monitor Changes
by Paolo Boldi , Sebastian Vigna
  • Summary
  • Citations
  • Active Bibliography
  • Co-citation
  • Clustered Documents
  • Version History

BibTeX

@MISC{Boldi99equalityis,
    author = {Paolo Boldi and Sebastian Vigna},
    title = {Equality is a jump},
    year = {1999}
}

Share

Facebook Twitter Reddit Bibsonomy

OpenURL

 

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.

Keyphrases

exact equality    unsolvability degree    bs model force    elsevier science b.v. right    real closed archimedean field    decidable set   

Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University