Théories d'arbres
Identifieur interne : 00D514 ( Main/Curation ); précédent : 00D513; suivant : 00D515Théories d'arbres
Auteurs : Michel Parigot [France]Source :
- The Journal of Symbolic Logic [ 0022-4812 ] ; 1982-12.
Abstract
Les arbres sont les ordres partiels qui vérifient l'axiome supplémental ∀x∀y∀z(y ≤x ∧z ≤ x → y ≤ z ∨ z ≤ y), i.e. l'ensemble des minorants de chaque élément est totalement ordonné. Le principal résultat de cet article concerne l'instabilité des arbres: nous prouvons (§2) qu'aucune théorie d'arbre n'a la propriété d'indépendance, ce qui généralise un theoreme de Poizat [3] sur les ordres totaux. II s'en suit au moyen d'un resultat d'interprétation [4] qu'aucune théorie de structure arborescente n'a la propriété d'indépendance; en particulier ceci vaut pour les arbres colorés. Le §3 est consacré aux arbres stables. II est prouvé qu'un arbre est stable ssi il est superstable ssi il est de hauteur bornée. Sous l'hypothèse de stabilité, les arbres premiers, minimaux, et strictement minimaux sont caractérisés en termes d'al-gébricité.
Url:
DOI: 10.2307/2273103
Links toward previous steps (curation, corpus...)
- to stream Istex, to step Corpus: Pour aller vers cette notice dans l'étape Curation :003526
- to stream Istex, to step Curation: Pour aller vers cette notice dans l'étape Curation :003526
- to stream Istex, to step Checkpoint: Pour aller vers cette notice dans l'étape Curation :006288
- to stream Main, to step Merge: Pour aller vers cette notice dans l'étape Curation :00DD82
Links to Exploration step
ISTEX:6BC6E3CD4FC57AC7BDC9EC65E61645D730C2040CLe document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">Théories d'arbres</title>
<author><name sortKey="Parigot, Michel" sort="Parigot, Michel" uniqKey="Parigot M" first="Michel" last="Parigot">Michel Parigot</name>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">ISTEX</idno>
<idno type="RBID">ISTEX:6BC6E3CD4FC57AC7BDC9EC65E61645D730C2040C</idno>
<date when="1982" year="1982">1982</date>
<idno type="doi">10.2307/2273103</idno>
<idno type="url">https://api.istex.fr/document/6BC6E3CD4FC57AC7BDC9EC65E61645D730C2040C/fulltext/pdf</idno>
<idno type="wicri:Area/Istex/Corpus">003526</idno>
<idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">003526</idno>
<idno type="wicri:Area/Istex/Curation">003526</idno>
<idno type="wicri:Area/Istex/Checkpoint">006288</idno>
<idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Checkpoint">006288</idno>
<idno type="wicri:doubleKey">0022-4812:1982:Parigot M:theories:d:arbres</idno>
<idno type="wicri:Area/Main/Merge">00DD82</idno>
<idno type="wicri:Area/Main/Curation">00D514</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Théories d'arbres</title>
<author><name sortKey="Parigot, Michel" sort="Parigot, Michel" uniqKey="Parigot M" first="Michel" last="Parigot">Michel Parigot</name>
<affiliation wicri:level="1"><country xml:lang="fr">France</country>
<wicri:regionArea>Les Buttes, La Ferté Loupière, Aillant Sur Tholon</wicri:regionArea>
<wicri:noRegion>Aillant Sur Tholon</wicri:noRegion>
<wicri:noRegion>Aillant Sur Tholon</wicri:noRegion>
</affiliation>
</author>
</analytic>
<monogr></monogr>
<series><title level="j">The Journal of Symbolic Logic</title>
<idno type="ISSN">0022-4812</idno>
<idno type="eISSN">1943-5886</idno>
<imprint><publisher>Cambridge University Press</publisher>
<pubPlace>New York, USA</pubPlace>
<date type="published" when="1982-12">1982-12</date>
<biblScope unit="volume">47</biblScope>
<biblScope unit="issue">4</biblScope>
<biblScope unit="page" from="841">841</biblScope>
<biblScope unit="page" to="853">853</biblScope>
</imprint>
<idno type="ISSN">0022-4812</idno>
</series>
</biblStruct>
</sourceDesc>
<seriesStmt><idno type="ISSN">0022-4812</idno>
</seriesStmt>
</fileDesc>
<profileDesc><textClass></textClass>
<langUsage><language ident="en">en</language>
</langUsage>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en">Les arbres sont les ordres partiels qui vérifient l'axiome supplémental ∀x∀y∀z(y ≤x ∧z ≤ x → y ≤ z ∨ z ≤ y), i.e. l'ensemble des minorants de chaque élément est totalement ordonné. Le principal résultat de cet article concerne l'instabilité des arbres: nous prouvons (§2) qu'aucune théorie d'arbre n'a la propriété d'indépendance, ce qui généralise un theoreme de Poizat [3] sur les ordres totaux. II s'en suit au moyen d'un resultat d'interprétation [4] qu'aucune théorie de structure arborescente n'a la propriété d'indépendance; en particulier ceci vaut pour les arbres colorés. Le §3 est consacré aux arbres stables. II est prouvé qu'un arbre est stable ssi il est superstable ssi il est de hauteur bornée. Sous l'hypothèse de stabilité, les arbres premiers, minimaux, et strictement minimaux sont caractérisés en termes d'al-gébricité.</div>
</front>
</TEI>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Santé/explor/EdenteV2/Data/Main/Curation
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 00D514 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Curation/biblio.hfd -nk 00D514 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Santé |area= EdenteV2 |flux= Main |étape= Curation |type= RBID |clé= ISTEX:6BC6E3CD4FC57AC7BDC9EC65E61645D730C2040C |texte= Théories d'arbres }}
![]() | This area was generated with Dilib version V0.6.32. | ![]() |