arnold beckmann's pages

Dynamic ordinal analysis

File: PDF-File

Author: Arnold Beckmann
Title: Dynamic ordinal analysis
Journal: Archive for Mathematical Logic 2003, 42: 303-334

Notice: Undefined variable: series in /compsci/partition2/csarnold/public_html/publ/show-paper.php on line 1138

Notice: Undefined variable: year in /compsci/partition2/csarnold/public_html/publ/show-paper.php on line 1139

Notice: Undefined variable: status in /compsci/partition2/csarnold/public_html/publ/show-paper.php on line 1140

Notice: Undefined variable: proceedings in /compsci/partition2/csarnold/public_html/publ/show-paper.php on line 1141

Notice: Undefined variable: pages in /compsci/partition2/csarnold/public_html/publ/show-paper.php on line 1142

Notice: Undefined variable: isbn in /compsci/partition2/csarnold/public_html/publ/show-paper.php on line 1143
DOI: 10.1007/s00153-002-0169-4

Notice: Undefined variable: stableURL in /compsci/partition2/csarnold/public_html/publ/show-paper.php on line 1145

Abstract: Dynamic ordinal analysis is ordinal analysis for weak arithmetics like fragments of bounded arithmetic. In this paper we will define dynamic ordinals - they will be sets of number theoretic functions measuring the amount of Π b 1 (α) order induction available in a theory. We will compare order induction to successor induction over weak theories. We will compute dynamic ordinals of the bounded arithmetic theories Σ b n (α)-LmIND for m=n and m=n+1, n≥0 . Different dynamic ordinals lead to separation. Therefore, we will obtain several separation results between these relativized theories. We will generalize our results to arbitrary languages extending the language of Peano arithmetic.

websites: Arnold Beckmann
Warning: date(): It is not safe to rely on the system's timezone settings. You are *required* to use the date.timezone setting or the date_default_timezone_set() function. In case you used any of those methods and you are still getting this warning, you most likely misspelled the timezone identifier. We selected the timezone 'UTC' for now, but please set date.timezone to select your timezone. in /compsci/partition2/csarnold/public_html/publ/show-paper.php on line 1160
2015-02-13 Valid HTML 4.01! Valid CSS!