Center of Mathematics of the University of Minho

Funder

Organizational Unit

Publications

The Russell-Prawitz embedding and the atomization of universal instantiation

Publication . Espírito Santo, José; Ferreira, Gilda

Given the recent interest in the fragment of system F where universal instantiation is restricted to atomic formulas, a fragment nowadays named system Fat, we study directly in system F new conversions whose purpose is to enforce that restriction. We show some benefits of these new atomization conversions: (1) They help achieving strict simulation of proof reduction by means of the Russell-Prawitz embedding of IPC into system F; (2) They are not stronger than a certain “dinaturality” conversion known to generate a consistent equality of proofs; (3) They provide the bridge between the Russell-Prawitz embedding and another translation, due to the authors, of IPC directly into system Fat; (4) They give means for explaining why the Russell-Prawitz translation achieves strict simulation whereas the translation into Fat does not.

2020Journal article

Open access

Billiards in generic convex bodies have positive topological entropy

Publication . Bessa, Mário; Del Magno, Gianluigi; Dias, João Lopes; Gaivão, José Pedro; Torres, Maria Joana

We show that there exists a C2-open dense set of convex bodies with smooth boundary whose billiard map exhibits a non-trivial hyperbolic basic set. As a consequence billiards in generic convex bodies have positive topological entropy and exponential growth of the number of periodic orbits.

2024Journal article

Open access

Topological aspects of incompressible flows

Publication . Bessa, Mário; Torres, Maria Joana; Varandas, Paulo

In this article we approach some of the basic questions in topological dynamics, concerning periodic points, transitivity, the shadowing and the gluing orbit properties, in the context of C0 incompressible flows generated by Lipschitz vector fields. We prove that a C0-generic incompressible and fixed-point free flow satisfies the periodic shadowing property, it is transitive and has a dense set of periodic points in the non- wandering set. In particular, a C0-generic fixed-point free incompressible flow satisfies the reparametrized gluing orbit property. We also prove that C0-generic incompressible flows satisfy the general density theorem and the weak shadowing property, moreover these are transitive.

2021Journal article

Restricted access

Expansiveness and hyperbolicity in convex billiards

Publication . Bessa, Mário; Dias, João Lopes; Torres, Maria Joana

We say that a convex planar billiard table B is C2-stably expansive on a fixed open subset U of the phase space if its billiard map f_B is expansive on the maximal invariant set Λ_{B,U}, and this property holds under C2-perturbations of the billiard table. In this note we prove for such billiards that the closure of the set of periodic points of f_B in Λ_{B,U} is uniformly hyperbolic. In addition, we show that this property also holds for a generic choice among billiards which are expansive.

2021Journal article

Open access