sists of the set of all ra such that EdneT. The Gödel number of Ed is, of course, d and the Gödel number of ra (i.e. of a string of l's of length w) is 2" —1. Thus A consists of all ra such that d * (2n— 1)G7V We add to (S2) : Axiom. PI —11. Production. Px — y—>Pxl — yy. P represents the set of all ordered pairs (i, j) such that 2'=j. Then we add: Production. Px — yl, Cd — y — z, Toz—^Qx. In th...

The usual way to study the local structure of Equilibrium State of an Axiom-A diffeomorphism or flow is to use the symbolic dynamic and to push results on the manifold. A new geometrical method is given. It consists in proving that Equilibrium States for Hölder-continuous functions are related to other Equilibrium States of some special sub-systems satisfying a sort of expansiveness. Using diff...

Work on calculations with simplicial and cubical groups in AXIOM was carried out using loan equipment and software from IBM UK and guidance from L A Lambe. We report on the results of this work, and present the AXIOM code written by the second author during this period. This includes an implementation of the monoids which model cubes and simplices, together with a new AXIOM category of near-rin...

In 1969, Hirsch posed the following problem: given a diffeomorphism f : N → N , and a compact invariant hyperbolic set Λ of f , describe the topology of Λ and the dynamics of f restricted to Λ. We solve the problem where Λ = M is a closed 3-manifold: if M is orientable, then it is a connected sum of tori and handles; otherwise it is a connected sum of tori and handles quotiented by involutions....

We investigate the connection between the dynamical Borel-Cantelli and waiting time results. We prove that if a system has the dynamical BorelCantelli property, then the time needed to enter for the first time in a sequence of small balls scales as the inverse of the measure of the balls. Conversely if we know the waiting time behavior of a system we can prove that certain sequences of decreasi...

This paper contributes to the theory of rational choice under sequential criteria. Following the approach initiated by Manzini and Mariotti (2007) for single-valued choice functions, we characterize choice correspondences that are rational by two sequential criteria under a mild consistency axiom. Rationales ensuring the sequential rationalization are explicitly constructed and a uniquely deter...

In this note we prove that for equilibrium states of axiom A systems the time τB(x) needed for a typical point x to enter for the first time in a typical ball B with radius r scales as τB(x) ∼ r d where d is the local dimension of the invariant measure at the center of the ball. A similar relation is proved for a full measure set of interval excanges. Some applications to Birkoff averages of un...