Skip to main content
Article thumbnail
Location of Repository

The decision problem for normed spaces over any class of ordered fields

By Rob Arthan

Abstract

It is known that the theory of any class of normed spaces over the reals that includes all spaces of a given dimension d > 1 is undecidable, and indeed, admits a relative interpretation of second-order arithmetic. The notion of a normed space makes sense over any ordered field of scalars, but such a strong undecidability result cannot hold in the more general case. Nonetheless, we find that the theory of any class of normed spaces in the more general sense that includes all spaces of a given dimension d > 1 over some ordered field admits a relative interpretation of Robinson's theory Q and hence is undecidable.Comment: 11 pages, 1 figure. v2 fixes typos in v

Topics: Mathematics - Logic, 03D35, 03C10, 03C65
Year: 2011
OAI identifier: oai:arXiv.org:1104.3293
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://arxiv.org/abs/1104.3293 (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.