Infinite time computable model theory

Details Infinite time computable model theory Infinite time computable model theory

2006-02-22

arxiv.org/abs/math/0602483v1

Mathematics

Logic

32 pages

Scientific paper

We introduce infinite time computable model theory, the computable model theory arising with infinite time Turing machines, which provide infinitary notions of computability for structures built on the reals R. Much of the finite time theory generalizes to the infinite time context, but several fundamental questions, including the infinite time computable analogue of the Completeness Theorem, turn out to be independent of ZFC.

Affiliated with

Also associated with

No associations

Rating

Infinite time computable model theory 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 Infinite time computable model theory, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Infinite time computable model theory will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-89106