224 research outputs found
Some natural zero one laws for ordinals below Δ0
We are going to prove that every ordinal α with Δ_0â>âαââ„âÏ^Ï satisfies a natural zero one law in the following sense. For αâ<âΔ_0 let Nα be the number of occurences of Ï in the Cantor normal form of α. (Nα is then the number of edges in the unordered tree which can canonically be associated with α.) We prove that for any α with Ï Ï ââ€âαâ<âΔ_0 and any sentence Ï in the language of linear orders the asymptotic density of Ï along α is an element of â{0,1}. We further show that for any such sentence Ï the asymptotic density along Δ_0 exists although this limit is in general in between 0 and 1. We also investigate corresponding asymptotic densities for ordinals below Ï^Ï
Reverse mathematics and well-ordering principles
The paper is concerned with generally Pi^1_2 sentences of the form 'if X is well ordered then f(X) is well ordered', where f is a standard proof theoretic function from ordinals to ordinals. It has turned out that a statement of this form is often equivalent to the existence of countable coded omega-models for a particular theory T_f whose consistency can be proved by means of a cut elimination theorem in infinitary logic which crucially involves the function f. To illustrate this theme, we shall focus on the well-known psi-function which figures prominently in so-called predicative proof theory. However, the approach taken here lends itself to generalization in that the techniques we employ can be applied to many other proof-theoretic functions associated with cut elimination theorems. In this paper we show that the statement 'if X is well ordered then 'X0 is well ordered' is equivalent to ATR0. This was first proved by Friedman, Montalban and Weiermann [7] using recursion-theoretic and combinatorial methods. The proof given here is proof-theoretic, the main techniques being Schuette's method of proof search (deduction chains) [13], generalized to omega logic, and cut elimination for infinitary ramified analysis
Unbounded arithmetic
When comparing the different axiomatizations of bounded arithmetic and Peano arithmetic, it becomes clear that there are similarities between the fragments of these theories.
In particular, it is tempting to draw an analogy between the hierarchies of bounded arithmetic and Peano arithmetic.
However, one cannot deny that there are essential and deeply rooted differences and the most one can claim is a weak analogy between these hierarchies.
The following quote by Kaye expresses this argument in an elegant way: "Many authors have emphasized the analogies between the fragments Sigma(b)(n)-IND of IDelta0+(Vx)(xlog x) exists) and the fragments ISigma(n) of Peano arithmetic. Sometimes this is helpful, but often one feels that the bounded hierarchy of theories is of a rather different nature and new techniques must be developed to answer the key questions concerning them."
In this paper, we propose a (conjectured) hierarchy for Peano arithmetic which is much closer to that of bounded arithmetic than the existing one.
In light of this close relation, techniques developed to establish properties of the new hierarchy should carry over naturally to the (conjectured) hierarchy of bounded arithmetic.
As the famous P vs. NP problem is related to the collapse of the hierarchy of bounded arithmetic, the new hierarchy may prove particularly useful in solving this famous problem
A uniform approach to fundamental sequences and hierarchies
In this article we give a unifying approach to the theory of fundamental sequences and their related Hardy hierarchies of number-theoretic functions and we show the equivalence of the new approach with the classical one
Analytic combinatorics for a certain well-ordered class of iterated exponential terms
International audienceThe aim of this paper is threefold: firstly, to explain a certain segment of ordinals in terms which are familiar to the analytic combinatorics community, secondly to state a great many of associated problems on resulting count functions and thirdly, to provide some weak asymptotic for the resulting count functions. We employ for simplicity Tauberian methods. The analytic combinatorics community is encouraged to provide (maybe in joint work) sharper results in future investigations
Unprovability results involving braids
We construct long sequences of braids that are descending with respect to the
standard order of braids (``Dehornoy order''), and we deduce that, contrary to
all usual algebraic properties of braids, certain simple combinatorial
statements involving the braid order are true, but not provable in the
subsystems ISigma1 or ISigma2 of the standard Peano system.Comment: 32 page
Derivation Lengths Classification of G\"odel's T Extending Howard's Assignment
Let T be Goedel's system of primitive recursive functionals of finite type in
the lambda formulation. We define by constructive means using recursion on
nested multisets a multivalued function I from the set of terms of T into the
set of natural numbers such that if a term a reduces to a term b and if a
natural number I(a) is assigned to a then a natural number I(b) can be assigned
to b such that I(a) is greater than I(b). The construction of I is based on
Howard's 1970 ordinal assignment for T and Weiermann's 1996 treatment of T in
the combinatory logic version. As a corollary we obtain an optimal derivation
length classification for the lambda formulation of T and its fragments.
Compared with Weiermann's 1996 exposition this article yields solutions to
several non-trivial problems arising from dealing with lambda terms instead of
combinatory logic terms. It is expected that the methods developed here can be
applied to other higher order rewrite systems resulting in new powerful
termination orderings since T is a paradigm for such systems
- âŠ