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

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

2011-04-17

arxiv.org/abs/1104.3293v2

Mathematics

Logic

11 pages, 1 figure. v2 fixes typos in v1

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

The decision problem for normed spaces over any class of ordered fields does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with The decision problem for normed spaces over any class of ordered fields, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and The decision problem for normed spaces over any class of ordered fields will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-394244