Mathematics – Logic
Scientific paper
2006-02-22
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.
Hamkins Joel David
Miller Russell
Seabold Daniel
Warner Steve
No associations
LandOfFree
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.
Profile ID: LFWR-SCP-O-89106