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.
Accepté le :
Publié le :
Curien, Pierre-Louis 1
@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 -
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
Cité par Sources :