Geodesic
Sur l'η-expansion infinie
Curien, Pierre-Louis1
1PPS, case 7014, CNRS & Université Paris-7, 2, place Jussieu, 75251 Paris cedex 05, France
Comptes Rendus. Mathématique, Tome 334 (2002) no. 1, pp. 77-82

Voir la notice de l'article provenant de la source Numdam

Nous donons deux caractérisations de l'ordre sur les arbres de Böhm induit par le modèle D∞, dont l'une est nouvelle et formalise une propriété de continuité de l'η-expansion infinie : 𝒜⪯ ^ ∞ ℬ si pour tout approximant fini A de 𝒜, il existe un approximant fini B de ℬ tel que A est un sous-arbre de B, modulo une η-égalité finie et modulo un nombre fini d'η-expansions infinies de variables.

We give two characterizations of the ordering on Böhm trees induced by the D∞ model, one of which formalizes a continuity property of infinite η-expansion: 𝒜⪯ ^ ∞ ℬ if for any finite approximant A of 𝒜 there exists a finite approximant B of ℬ such that A is a sub-tree of B, modulo finitely many η-equalities and finitely many infinite η-expansions of variables.

Reçu le :
Accepté le :
Publié le :
DOI : 10.1016/S1631-073X(02)02095-2

Curien, Pierre-Louis  1

1 PPS, case 7014, CNRS & Université Paris-7, 2, place Jussieu, 75251 Paris cedex 05, France 
Curien, Pierre-Louis. Sur l'$ \mathbf{\eta }$-expansion infinie. Comptes Rendus. Mathématique, Tome 334 (2002) no. 1, pp. 77-82. doi: 10.1016/S1631-073X(02)02095-2
@article{CRMATH_2002__334_1_77_0,
     author = {Curien, Pierre-Louis},
     title = {Sur l'$ \mathbf{\eta }$-expansion infinie},
     journal = {Comptes Rendus. Math\'ematique},
     pages = {77--82},
     year = {2002},
     publisher = {Elsevier},
     volume = {334},
     number = {1},
     doi = {10.1016/S1631-073X(02)02095-2},
     language = {fr},
     url = {http://geodesic.mathdoc.fr/articles/10.1016/S1631-073X(02)02095-2/}
}
TY  - JOUR
AU  - Curien, Pierre-Louis
TI  - Sur l'$ \mathbf{\eta }$-expansion infinie
JO  - Comptes Rendus. Mathématique
PY  - 2002
SP  - 77
EP  - 82
VL  - 334
IS  - 1
PB  - Elsevier
UR  - http://geodesic.mathdoc.fr/articles/10.1016/S1631-073X(02)02095-2/
DO  - 10.1016/S1631-073X(02)02095-2
LA  - fr
ID  - CRMATH_2002__334_1_77_0
ER  - 
%0 Journal Article
%A Curien, Pierre-Louis
%T Sur l'$ \mathbf{\eta }$-expansion infinie
%J Comptes Rendus. Mathématique
%D 2002
%P 77-82
%V 334
%N 1
%I Elsevier
%U http://geodesic.mathdoc.fr/articles/10.1016/S1631-073X(02)02095-2/
%R 10.1016/S1631-073X(02)02095-2
%G fr
%F CRMATH_2002__334_1_77_0

Cité par Sources :