λ-lemma for nonhyperbolic point in intersection
نویسندگان
چکیده
The well known λ-Lemma has been proved by J. Palis for a hyperbolic fixed point of C 1 -diffeomorphism. In this paper we show that the result is true some cases nonhyperbolic point.
منابع مشابه
Intersection Typed λ - calculus
The aim of this paper is to discuss the design of an explicitly typed λ-calculus corresponding to the Intersection Type Assignment System (IT ), which assigns intersection types to the untyped λ-calculus. Two different proposals are given. The logical foundation of all of them is the Intersection Logic IL.
متن کاملINTERSECTION TYPES FOR λ Gtz - CALCULUS
We introduce an intersection type assignment system for EspiritoSanto’s λGtz-calculus, a term calculus embodying the Curry–Howard correspondence for the intuitionistic sequent calculus. We investigate basic properties of this intersection type system. Our main result is Subject reduction property.
متن کاملA Λ-lemma for Normally Hyperbolic Invariant Manifolds
Let N be a smooth manifold and f : N → N be a C, l ≥ 2 diffeomorphism. Let M be a normally hyperbolic invariant manifold, not necessarily compact. We prove an analogue of the λ-lemma in this case.
متن کاملIntersection Typed λ - calculus Simona Ronchi
The aim of this paper is to discuss the design of an explicitly typed λ-calculus corresponding to the Intersection Type Assignment System (IT ), which assigns intersection types to the untyped λ-calculus. Two different proposals are given. The logical foundation of all of them is the Intersection Logic IL.
متن کاملReduction vs Intersection / Union Types in λ μ μ̃
This paper studies intersection and union type assignment for the calculus λμμ̃ [6], a proofterm syntax for Gentzen’s classical sequent calculus. We show that this notion is closed for subject-expansion, and show that it needs to be restricted to satisfy subject-reduction as well, even when limiting reduction to (confluent) call-by-name or call-by-value reduction, making it unsuitable to define ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Journal of Qualitative Theory of Differential Equations
سال: 2021
ISSN: ['1417-3875']
DOI: https://doi.org/10.14232/ejqtde.2021.1.21