Théories d'arbres
Identifieur interne : 003526 ( Istex/Corpus ); précédent : 003525; suivant : 003527Théories d'arbres
Auteurs : Michel ParigotSource :
- 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 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><affiliation><mods:affiliation>Les Buttes, La Ferté Loupière, Aillant Sur Tholon, France</mods:affiliation></affiliation></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></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><mods:affiliation>Les Buttes, La Ferté Loupière, Aillant Sur Tholon, France</mods:affiliation></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><istex><corpusName>cambridge</corpusName><author><json:item><name>Michel Parigot</name><affiliations><json:string>Les Buttes, La Ferté Loupière, Aillant Sur Tholon, France</json:string></affiliations></json:item></author><articleId><json:string>04371</json:string></articleId><arkIstex>ark:/67375/6GQ-PD6VM73B-9</arkIstex><language><json:string>eng</json:string></language><originalGenre><json:string>research-article</json:string></originalGenre><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é.</abstract><qualityIndicators><score>8.572</score><pdfWordCount>6274</pdfWordCount><pdfCharCount>28180</pdfCharCount><pdfVersion>1.4</pdfVersion><pdfPageCount>13</pdfPageCount><pdfPageSize>504 x 720 pts</pdfPageSize><refBibsNative>true</refBibsNative><abstractWordCount>131</abstractWordCount><abstractCharCount>840</abstractCharCount><keywordCount>0</keywordCount></qualityIndicators><title>Théories d'arbres</title><pii><json:string>S0022481200043711</json:string></pii><genre><json:string>research-article</json:string></genre><host><title>The Journal of Symbolic Logic</title><language><json:string>unknown</json:string></language><issn><json:string>0022-4812</json:string></issn><eissn><json:string>1943-5886</json:string></eissn><publisherId><json:string>JSL</json:string></publisherId><volume>47</volume><issue>4</issue><pages><first>841</first><last>853</last><total>13</total></pages><genre><json:string>journal</json:string></genre></host><ark><json:string>ark:/67375/6GQ-PD6VM73B-9</json:string></ark><publicationDate>1982</publicationDate><copyrightDate>1982</copyrightDate><doi><json:string>10.2307/2273103</json:string></doi><id>6BC6E3CD4FC57AC7BDC9EC65E61645D730C2040C</id><score>1</score><fulltext><json:item><extension>pdf</extension><original>true</original><mimetype>application/pdf</mimetype><uri>https://api.istex.fr/document/6BC6E3CD4FC57AC7BDC9EC65E61645D730C2040C/fulltext/pdf</uri></json:item><json:item><extension>zip</extension><original>false</original><mimetype>application/zip</mimetype><uri>https://api.istex.fr/document/6BC6E3CD4FC57AC7BDC9EC65E61645D730C2040C/fulltext/zip</uri></json:item><json:item><extension>txt</extension><original>false</original><mimetype>text/plain</mimetype><uri>https://api.istex.fr/document/6BC6E3CD4FC57AC7BDC9EC65E61645D730C2040C/fulltext/txt</uri></json:item><istex:fulltextTEI uri="https://api.istex.fr/document/6BC6E3CD4FC57AC7BDC9EC65E61645D730C2040C/fulltext/tei"><teiHeader><fileDesc><titleStmt><title level="a" type="main" xml:lang="en">Théories d'arbres</title></titleStmt><publicationStmt><authority>ISTEX</authority><publisher scheme="https://publisher-list.data.istex.fr">Cambridge University Press</publisher><pubPlace>New York, USA</pubPlace><availability><licence><p>Copyright © Association for Symbolic Logic 1982</p></licence><p scheme="https://loaded-corpus.data.istex.fr/ark:/67375/XBH-G3RCRD03-V">cambridge</p></availability><date>1982</date></publicationStmt><notesStmt><note type="research-article" scheme="https://content-type.data.istex.fr/ark:/67375/XTP-1JC4F85T-7">research-article</note><note type="journal" scheme="https://publication-type.data.istex.fr/ark:/67375/JMC-0GLKJH51-B">journal</note></notesStmt><sourceDesc><biblStruct type="inbook"><analytic><title level="a" type="main" xml:lang="en">Théories d'arbres</title><author xml:id="author-0000"><persName><forename type="first">Michel</forename><surname>Parigot</surname></persName><affiliation>Les Buttes, La Ferté Loupière, Aillant Sur Tholon, France</affiliation></author><idno type="istex">6BC6E3CD4FC57AC7BDC9EC65E61645D730C2040C</idno><idno type="ark">ark:/67375/6GQ-PD6VM73B-9</idno><idno type="DOI">10.2307/2273103</idno><idno type="PII">S0022481200043711</idno><idno type="article-id">04371</idno></analytic><monogr><title level="j">The Journal of Symbolic Logic</title><idno type="pISSN">0022-4812</idno><idno type="eISSN">1943-5886</idno><idno type="publisher-id">JSL</idno><imprint><publisher>Cambridge University Press</publisher><pubPlace>New York, USA</pubPlace><date type="published" when="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></monogr></biblStruct></sourceDesc></fileDesc><profileDesc><creation><date>1982</date></creation><langUsage><language ident="en">en</language></langUsage><abstract xml:lang="en" style="text-abstract"><p>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é.</p></abstract></profileDesc><revisionDesc><change when="1982-12">Published</change></revisionDesc></teiHeader></istex:fulltextTEI></fulltext><metadata><istex:metadataXml wicri:clean="corpus cambridge not found" wicri:toSee="no header"><istex:xmlDeclaration>version="1.0" encoding="utf-8"</istex:xmlDeclaration><istex:docType PUBLIC="-//NLM//DTD JATS (Z39.96) Journal Publishing DTD v0.4 20110131//EN" URI="JATS-journalpublishing0.dtd" name="istex:docType"></istex:docType><istex:document><article article-type="research-article" dtd-version="0.4" xml:lang="en"><front><journal-meta><journal-id journal-id-type="publisher-id">JSL</journal-id><journal-title-group><journal-title xml:lang="en">The Journal of Symbolic Logic</journal-title><abbrev-journal-title abbrev-type="publisher">J. symb. log.</abbrev-journal-title></journal-title-group><issn pub-type="ppub">0022-4812</issn><issn pub-type="epub">1943-5886</issn><publisher><publisher-name>Cambridge University Press</publisher-name><publisher-loc>New York, USA</publisher-loc></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.2307/2273103</article-id><article-id pub-id-type="pii">S0022481200043711</article-id><article-id pub-id-type="publisher-id">04371</article-id><title-group><article-title>Théories d'arbres</article-title><alt-title alt-title-type="left-running">MICHEL PARIGOT</alt-title><alt-title alt-title-type="right-running">THÉORIES D'ARBRES</alt-title></title-group><contrib-group content-type="authors"><contrib><name name-style="western"><surname>Parigot</surname><given-names>Michel</given-names></name><xref ref-type="aff" rid="aff1"></xref></contrib></contrib-group><aff id="aff1"><addr-line>Les Buttes</addr-line>, <addr-line>La Ferté Loupière</addr-line>, <addr-line>Aillant Sur Tholon</addr-line>, <country>France</country></aff><pub-date pub-type="ppub"><month>12</month><year>1982</year></pub-date><volume>47</volume><issue>4</issue><fpage seq="13">841</fpage><lpage>853</lpage><history><date date-type="received"><day>01</day><month>09</month><year>1980</year></date></history><permissions><copyright-statement>Copyright © Association for Symbolic Logic 1982</copyright-statement><copyright-year>1982</copyright-year><copyright-holder>Association for Symbolic Logic</copyright-holder></permissions><abstract abstract-type="text-abstract"><p>Les arbres sont les ordres partiels qui vérifient l'axiome supplémental ∀<italic>x</italic>∀<italic>y</italic>∀<italic>z</italic>(<italic>y</italic> ≤<italic>x</italic> ∧<italic>z</italic> ≤ <italic>x</italic> → <italic>y</italic> ≤ <italic>z</italic> ∨ <italic>z</italic> ≤ <italic>y</italic>), i.e. l'ensemble des minorants de chaque élément est totalement ordonné.</p><p>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.</p><p>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é.</p></abstract><counts><page-count count="13"></page-count></counts><custom-meta-group><custom-meta><meta-name>pdf</meta-name><meta-value>S0022481200043711a.pdf</meta-value></custom-meta></custom-meta-group></article-meta></front><back><ref-list><title>RÉFÉRENCES</title><ref><mixed-citation id="ref001" publication-type="journal">[1] <name name-style="western"><surname>Lascar</surname><given-names>Daniel</given-names></name>, <article-title>Ranks and definability in superstable theories</article-title>, <source>Israel Journal of Mathematics</source>, vol. <volume>23</volume> (<year>1976</year>), pp. <fpage>53</fpage>–<lpage>87</lpage>.</mixed-citation></ref><ref><mixed-citation id="ref002" publication-type="thesis">[2] <name name-style="western"><surname>Poizat</surname><given-names>Bruno</given-names></name>, <source>Déviation des types</source>, Thèse, <publisher-name>Université Pierre et Marie Curie</publisher-name>, <publisher-loc>Paris</publisher-loc>, <year>1977</year>.</mixed-citation></ref><ref><mixed-citation id="ref003" publication-type="journal">[3] <name name-style="western"><surname>Poizat</surname><given-names>Bruno</given-names></name>, <source>Théories in stables</source>, this Journal, vol. <volume>46</volume> (<year>1981</year>), pp. <fpage>513</fpage>–<lpage>522</lpage>.</mixed-citation></ref><ref><mixed-citation id="ref004" publication-type="other">[4] <name name-style="western"><surname>Schmerl</surname><given-names>James H.</given-names></name>, <italic>Arborescent stuctures. II: Interpretability in the theory of trees</italic> (preprint).</mixed-citation></ref><ref><mixed-citation id="ref005" publication-type="book">[5] <name name-style="western"><surname>Shelah</surname><given-names>Saharon</given-names></name>, <source>Classification theory and the number of non-isomorphic models</source>, <publisher-name>North-Holland</publisher-name>, <publisher-loc>Amsterdam</publisher-loc>, <year>1978</year>.</mixed-citation></ref></ref-list></back></article></istex:document></istex:metadataXml><mods version="3.6"><titleInfo lang="en"><title>Théories d'arbres</title></titleInfo><titleInfo type="alternative"><title>MICHEL PARIGOT</title></titleInfo><titleInfo type="alternative" lang="en" contentType="CDATA"><title>Théories d'arbres</title></titleInfo><name type="personal"><namePart type="given">Michel</namePart><namePart type="family">Parigot</namePart><affiliation>Les Buttes, La Ferté Loupière, Aillant Sur Tholon, France</affiliation><role><roleTerm type="text">author</roleTerm></role></name><typeOfResource>text</typeOfResource><genre type="research-article" displayLabel="research-article" authority="ISTEX" authorityURI="https://content-type.data.istex.fr" valueURI="https://content-type.data.istex.fr/ark:/67375/XTP-1JC4F85T-7">research-article</genre><originInfo><publisher>Cambridge University Press</publisher><place><placeTerm type="text">New York, USA</placeTerm></place><dateIssued encoding="w3cdtf">1982-12</dateIssued><copyrightDate encoding="w3cdtf">1982</copyrightDate></originInfo><language><languageTerm type="code" authority="iso639-2b">eng</languageTerm><languageTerm type="code" authority="rfc3066">en</languageTerm></language><abstract type="text-abstract" 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é.</abstract><relatedItem type="host"><titleInfo><title>The Journal of Symbolic Logic</title></titleInfo><genre type="journal" authority="ISTEX" authorityURI="https://publication-type.data.istex.fr" valueURI="https://publication-type.data.istex.fr/ark:/67375/JMC-0GLKJH51-B">journal</genre><identifier type="ISSN">0022-4812</identifier><identifier type="eISSN">1943-5886</identifier><identifier type="PublisherID">JSL</identifier><part><date>1982</date><detail type="volume"><caption>vol.</caption><number>47</number></detail><detail type="issue"><caption>no.</caption><number>4</number></detail><extent unit="pages"><start>841</start><end>853</end><total>13</total></extent></part></relatedItem><identifier type="istex">6BC6E3CD4FC57AC7BDC9EC65E61645D730C2040C</identifier><identifier type="ark">ark:/67375/6GQ-PD6VM73B-9</identifier><identifier type="DOI">10.2307/2273103</identifier><identifier type="PII">S0022481200043711</identifier><identifier type="ArticleID">04371</identifier><accessCondition type="use and reproduction" contentType="copyright">Copyright © Association for Symbolic Logic 1982</accessCondition><recordInfo><recordContentSource authority="ISTEX" authorityURI="https://loaded-corpus.data.istex.fr" valueURI="https://loaded-corpus.data.istex.fr/ark:/67375/XBH-G3RCRD03-V">cambridge</recordContentSource><recordOrigin>Copyright © Association for Symbolic Logic 1982</recordOrigin></recordInfo></mods><json:item><extension>json</extension><original>false</original><mimetype>application/json</mimetype><uri>https://api.istex.fr/document/6BC6E3CD4FC57AC7BDC9EC65E61645D730C2040C/metadata/json</uri></json:item></metadata><annexes><json:item><extension>gif</extension><original>true</original><mimetype>image/gif</mimetype><uri>https://api.istex.fr/document/6BC6E3CD4FC57AC7BDC9EC65E61645D730C2040C/annexes/gif</uri></json:item></annexes><serie></serie></istex></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Santé/explor/EdenteV2/Data/Istex/Corpus
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 003526 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Istex/Corpus/biblio.hfd -nk 003526 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Santé
|area= EdenteV2
|flux= Istex
|étape= Corpus
|type= RBID
|clé= ISTEX:6BC6E3CD4FC57AC7BDC9EC65E61645D730C2040C
|texte= Théories d'arbres
}}
| This area was generated with Dilib version V0.6.32. |  |