A Uniform Approach to Fundamental Sequences and Hierarchies
Identifieur interne : 001698 ( Istex/Corpus ); précédent : 001697; suivant : 001699A Uniform Approach to Fundamental Sequences and Hierarchies
Auteurs : Wilfried Buchholz ; Adam Cichon ; Andreas WeiermannSource :
- Mathematical Logic Quarterly [ 0942-5616 ] ; 1994.
English descriptors
- Teeft :
- Adam cichon, Andreas, Andreas weiermann, Bachmann, Bachmann system, Bachmann systems, Buchholz, Cichon, Derivation lengths, Descent functions, Fundamental sequences, Hardy hierarchies, Hardy hierarchy, Hierarchy, Natural numbers, Normed, Normed bachmann, Normed bachmann system, Normed bachmann systems, Notation systems, Ordinal, Ordinal term, Proof theory, Regular bachmann system, Standard coding, Uniform approach, Weiermann, Wilfried, Wilfried buchholz.
Abstract
In this article we give a unifying approach to the theory of fundamental sequences and their related Hardy hierarchies of number‐theoretic functions and we show the equivalence of the new approach with the classical one.
Mathematics Subject Classification: 03D20, 03F15, 03E10.
Url:
DOI: 10.1002/malq.19940400212
Links to Exploration step
ISTEX:62F49A5ACABCB75A18108C9FBF11C1072BDD1E88Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">A Uniform Approach to Fundamental Sequences and Hierarchies</title><author><name sortKey="Buchholz, Wilfried" sort="Buchholz, Wilfried" uniqKey="Buchholz W" first="Wilfried" last="Buchholz">Wilfried Buchholz</name><affiliation><mods:affiliation>E-mail: buchholz@rz.mathematik.uni‐muenchen.de</mods:affiliation></affiliation><affiliation><mods:affiliation>Mathematisches Institut der Universität München, Theresienstraße 39, D‐80333 München, Germany</mods:affiliation></affiliation><affiliation><mods:affiliation>E-mail: buchholz@rz.mathematik.uni‐muenchen.de</mods:affiliation></affiliation></author><author><name sortKey="Cichon, Adam" sort="Cichon, Adam" uniqKey="Cichon A" first="Adam" last="Cichon">Adam Cichon</name><affiliation><mods:affiliation>E-mail: cichon@loria.crin.fr</mods:affiliation></affiliation><affiliation><mods:affiliation>INRIA‐Lorraine—CNRS‐CRIN, BP 101, F‐54602 Villers‐lès‐Nancy, France</mods:affiliation></affiliation><affiliation><mods:affiliation>E-mail: cichon@loria.crin.fr</mods:affiliation></affiliation></author><author><name sortKey="Weiermann, Andreas" sort="Weiermann, Andreas" uniqKey="Weiermann A" first="Andreas" last="Weiermann">Andreas Weiermann</name><affiliation><mods:affiliation>E-mail: weierma@math.uni‐muenster.de</mods:affiliation></affiliation><affiliation><mods:affiliation>Institut für mathematische Logik und Grundlagenforschung der Westfälischen Wilhelms‐Universität Münster, Einsteinstraße 62, D‐48149 Münster, Germany</mods:affiliation></affiliation><affiliation><mods:affiliation>E-mail: weierma@math.uni‐muenster.de</mods:affiliation></affiliation></author></titleStmt><publicationStmt><idno type="wicri:source">ISTEX</idno><idno type="RBID">ISTEX:62F49A5ACABCB75A18108C9FBF11C1072BDD1E88</idno><date when="1994" year="1994">1994</date><idno type="doi">10.1002/malq.19940400212</idno><idno type="url">https://api.istex.fr/ark:/67375/WNG-XB802ZDP-S/fulltext.pdf</idno><idno type="wicri:Area/Istex/Corpus">001698</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">001698</idno></publicationStmt><sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">A Uniform Approach to Fundamental Sequences and Hierarchies</title><author><name sortKey="Buchholz, Wilfried" sort="Buchholz, Wilfried" uniqKey="Buchholz W" first="Wilfried" last="Buchholz">Wilfried Buchholz</name><affiliation><mods:affiliation>E-mail: buchholz@rz.mathematik.uni‐muenchen.de</mods:affiliation></affiliation><affiliation><mods:affiliation>Mathematisches Institut der Universität München, Theresienstraße 39, D‐80333 München, Germany</mods:affiliation></affiliation><affiliation><mods:affiliation>E-mail: buchholz@rz.mathematik.uni‐muenchen.de</mods:affiliation></affiliation></author><author><name sortKey="Cichon, Adam" sort="Cichon, Adam" uniqKey="Cichon A" first="Adam" last="Cichon">Adam Cichon</name><affiliation><mods:affiliation>E-mail: cichon@loria.crin.fr</mods:affiliation></affiliation><affiliation><mods:affiliation>INRIA‐Lorraine—CNRS‐CRIN, BP 101, F‐54602 Villers‐lès‐Nancy, France</mods:affiliation></affiliation><affiliation><mods:affiliation>E-mail: cichon@loria.crin.fr</mods:affiliation></affiliation></author><author><name sortKey="Weiermann, Andreas" sort="Weiermann, Andreas" uniqKey="Weiermann A" first="Andreas" last="Weiermann">Andreas Weiermann</name><affiliation><mods:affiliation>E-mail: weierma@math.uni‐muenster.de</mods:affiliation></affiliation><affiliation><mods:affiliation>Institut für mathematische Logik und Grundlagenforschung der Westfälischen Wilhelms‐Universität Münster, Einsteinstraße 62, D‐48149 Münster, Germany</mods:affiliation></affiliation><affiliation><mods:affiliation>E-mail: weierma@math.uni‐muenster.de</mods:affiliation></affiliation></author></analytic><monogr></monogr><series><title level="j" type="main">Mathematical Logic Quarterly</title><title level="j" type="alt">MATHEMATICAL LOGIC QUARTERLY</title><idno type="ISSN">0942-5616</idno><idno type="eISSN">1521-3870</idno><imprint><biblScope unit="vol">40</biblScope><biblScope unit="issue">2</biblScope><biblScope unit="page" from="273">273</biblScope><biblScope unit="page" to="286">286</biblScope><biblScope unit="page-count">14</biblScope><publisher>WILEY‐VCH Verlag Berlin GmbH</publisher><pubPlace>Berlin</pubPlace><date type="published" when="1994">1994</date></imprint><idno type="ISSN">0942-5616</idno></series></biblStruct></sourceDesc><seriesStmt><idno type="ISSN">0942-5616</idno></seriesStmt></fileDesc><profileDesc><textClass><keywords scheme="Teeft" xml:lang="en"><term>Adam cichon</term><term>Andreas</term><term>Andreas weiermann</term><term>Bachmann</term><term>Bachmann system</term><term>Bachmann systems</term><term>Buchholz</term><term>Cichon</term><term>Derivation lengths</term><term>Descent functions</term><term>Fundamental sequences</term><term>Hardy hierarchies</term><term>Hardy hierarchy</term><term>Hierarchy</term><term>Natural numbers</term><term>Normed</term><term>Normed bachmann</term><term>Normed bachmann system</term><term>Normed bachmann systems</term><term>Notation systems</term><term>Ordinal</term><term>Ordinal term</term><term>Proof theory</term><term>Regular bachmann system</term><term>Standard coding</term><term>Uniform approach</term><term>Weiermann</term><term>Wilfried</term><term>Wilfried buchholz</term></keywords></textClass></profileDesc></teiHeader><front><div type="abstract">In this article we give a unifying approach to the theory of fundamental sequences and their related Hardy hierarchies of number‐theoretic functions and we show the equivalence of the new approach with the classical one.</div><div type="abstract">Mathematics Subject Classification: 03D20, 03F15, 03E10.</div></front></TEI><istex><corpusName>wiley</corpusName><keywords><teeft><json:string>bachmann</json:string><json:string>ordinal</json:string><json:string>fundamental sequences</json:string><json:string>normed</json:string><json:string>weiermann</json:string><json:string>hardy hierarchies</json:string><json:string>buchholz</json:string><json:string>cichon</json:string><json:string>bachmann system</json:string><json:string>andreas</json:string><json:string>normed bachmann system</json:string><json:string>wilfried</json:string><json:string>wilfried buchholz</json:string><json:string>hardy hierarchy</json:string><json:string>uniform approach</json:string><json:string>adam cichon</json:string><json:string>natural numbers</json:string><json:string>proof theory</json:string><json:string>andreas weiermann</json:string><json:string>regular bachmann system</json:string><json:string>descent functions</json:string><json:string>normed bachmann systems</json:string><json:string>ordinal term</json:string><json:string>normed bachmann</json:string><json:string>notation systems</json:string><json:string>bachmann systems</json:string><json:string>standard coding</json:string><json:string>derivation lengths</json:string><json:string>hierarchy</json:string></teeft></keywords><author><json:item><name>Wilfried Buchholz</name><affiliations><json:string>E-mail: buchholz@rz.mathematik.uni‐muenchen.de</json:string><json:string>Mathematisches Institut der Universität München, Theresienstraße 39, D‐80333 München, Germany</json:string><json:string>E-mail: buchholz@rz.mathematik.uni‐muenchen.de</json:string></affiliations></json:item><json:item><name>Adam Cichon</name><affiliations><json:string>E-mail: cichon@loria.crin.fr</json:string><json:string>INRIA‐Lorraine—CNRS‐CRIN, BP 101, F‐54602 Villers‐lès‐Nancy, France</json:string><json:string>E-mail: cichon@loria.crin.fr</json:string></affiliations></json:item><json:item><name>Andreas Weiermann</name><affiliations><json:string>E-mail: weierma@math.uni‐muenster.de</json:string><json:string>Institut für mathematische Logik und Grundlagenforschung der Westfälischen Wilhelms‐Universität Münster, Einsteinstraße 62, D‐48149 Münster, Germany</json:string><json:string>E-mail: weierma@math.uni‐muenster.de</json:string></affiliations></json:item></author><subject><json:item><lang><json:string>eng</json:string></lang><value>Natural well‐orderings</value></json:item><json:item><lang><json:string>eng</json:string></lang><value>Subrecursive hierarchies</value></json:item><json:item><lang><json:string>eng</json:string></lang><value>Hardy hierarchies</value></json:item><json:item><lang><json:string>eng</json:string></lang><value>Fundamental sequences</value></json:item><json:item><lang><json:string>eng</json:string></lang><value>Descent functions</value></json:item></subject><articleId><json:string>MALQ19940400212</json:string></articleId><arkIstex>ark:/67375/WNG-XB802ZDP-S</arkIstex><language><json:string>eng</json:string></language><originalGenre><json:string>article</json:string></originalGenre><abstract>In this article we give a unifying approach to the theory of fundamental sequences and their related Hardy hierarchies of number‐theoretic functions and we show the equivalence of the new approach with the classical one.</abstract><qualityIndicators><score>7.42</score><pdfWordCount>6894</pdfWordCount><pdfCharCount>25299</pdfCharCount><pdfVersion>1.3</pdfVersion><pdfPageCount>14</pdfPageCount><pdfPageSize>468 x 684 pts</pdfPageSize><refBibsNative>true</refBibsNative><abstractWordCount>35</abstractWordCount><abstractCharCount>220</abstractCharCount><keywordCount>5</keywordCount></qualityIndicators><title>A Uniform Approach to Fundamental Sequences and Hierarchies</title><genre><json:string>article</json:string></genre><host><title>Mathematical Logic Quarterly</title><language><json:string>unknown</json:string></language><doi><json:string>10.1002/(ISSN)1521-3870</json:string></doi><issn><json:string>0942-5616</json:string></issn><eissn><json:string>1521-3870</json:string></eissn><publisherId><json:string>MALQ</json:string></publisherId><volume>40</volume><issue>2</issue><pages><first>273</first><last>286</last><total>14</total></pages><genre><json:string>journal</json:string></genre><subject><json:item><value>Article</value></json:item></subject></host><namedEntities><unitex><date></date><geogName></geogName><orgName></orgName><orgName_funder></orgName_funder><orgName_provider></orgName_provider><persName></persName><placeName></placeName><ref_url></ref_url><ref_bibl></ref_bibl><bibl></bibl></unitex></namedEntities><ark><json:string>ark:/67375/WNG-XB802ZDP-S</json:string></ark><categories><wos><json:string>1 - science</json:string><json:string>2 - mathematics</json:string><json:string>2 - logic</json:string></wos><scienceMetrix><json:string>1 - natural sciences</json:string><json:string>2 - mathematics & statistics</json:string><json:string>3 - general mathematics</json:string></scienceMetrix><scopus><json:string>1 - Physical Sciences</json:string><json:string>2 - Mathematics</json:string><json:string>3 - Logic</json:string></scopus></categories><publicationDate>1994</publicationDate><copyrightDate>1994</copyrightDate><doi><json:string>10.1002/malq.19940400212</json:string></doi><id>62F49A5ACABCB75A18108C9FBF11C1072BDD1E88</id><score>1</score><fulltext><json:item><extension>pdf</extension><original>true</original><mimetype>application/pdf</mimetype><uri>https://api.istex.fr/ark:/67375/WNG-XB802ZDP-S/fulltext.pdf</uri></json:item><json:item><extension>zip</extension><original>false</original><mimetype>application/zip</mimetype><uri>https://api.istex.fr/ark:/67375/WNG-XB802ZDP-S/bundle.zip</uri></json:item><istex:fulltextTEI uri="https://api.istex.fr/ark:/67375/WNG-XB802ZDP-S/fulltext.tei"><teiHeader><fileDesc><titleStmt><title level="a" type="main" xml:lang="en">A Uniform Approach to Fundamental Sequences and Hierarchies</title></titleStmt><publicationStmt><authority>ISTEX</authority><publisher>WILEY‐VCH Verlag Berlin GmbH</publisher><pubPlace>Berlin</pubPlace><availability><licence>Copyright © 1994 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim</licence></availability><date type="published" when="1994"></date></publicationStmt><notesStmt><note type="content-type" subtype="article" source="article" scheme="https://content-type.data.istex.fr/ark:/67375/XTP-6N5SZHKN-D">article</note><note type="publication-type" subtype="journal" scheme="https://publication-type.data.istex.fr/ark:/67375/JMC-0GLKJH51-B">journal</note></notesStmt><sourceDesc><biblStruct type="article"><analytic><title level="a" type="main" xml:lang="en">A Uniform Approach to Fundamental Sequences and Hierarchies</title><author xml:id="author-0000"><persName><forename type="first">Wilfried</forename><surname>Buchholz</surname></persName><email>buchholz@rz.mathematik.uni‐muenchen.de</email><affiliation><orgName type="institution">Mathematisches Institut der Universität München</orgName><address><addrLine>Theresienstraße 39</addrLine><addrLine>D‐80333 München</addrLine><country key="DE">GERMANY</country><country key="DE"></country></address></affiliation></author><author xml:id="author-0001"><persName><forename type="first">Adam</forename><surname>Cichon</surname></persName><email>cichon@loria.crin.fr</email><affiliation><address><addrLine>INRIA‐Lorraine—CNRS‐CRIN</addrLine><addrLine>BP 101</addrLine><addrLine>F‐54602 Villers‐lès‐Nancy</addrLine><country key="FR">FRANCE</country><country key="FR"></country></address></affiliation></author><author xml:id="author-0002"><persName><forename type="first">Andreas</forename><surname>Weiermann</surname></persName><email>weierma@math.uni‐muenster.de</email><affiliation><orgName type="institution">Institut für mathematische Logik und Grundlagenforschung der Westfälischen Wilhelms‐Universität Münster</orgName><address><addrLine>Einsteinstraße 62</addrLine><addrLine>D‐48149 Münster</addrLine><country key="DE">GERMANY</country><country key="DE"></country></address></affiliation></author><idno type="istex">62F49A5ACABCB75A18108C9FBF11C1072BDD1E88</idno><idno type="ark">ark:/67375/WNG-XB802ZDP-S</idno><idno type="DOI">10.1002/malq.19940400212</idno><idno type="unit">MALQ19940400212</idno><idno type="toTypesetVersion">file:MALQ.MALQ19940400212.pdf</idno></analytic><monogr><title level="j" type="main">Mathematical Logic Quarterly</title><title level="j" type="alt">MATHEMATICAL LOGIC QUARTERLY</title><idno type="pISSN">0942-5616</idno><idno type="eISSN">1521-3870</idno><idno type="book-DOI">10.1002/(ISSN)1521-3870</idno><idno type="book-part-DOI">10.1002/malq.v40:2</idno><idno type="product">MALQ</idno><imprint><biblScope unit="vol">40</biblScope><biblScope unit="issue">2</biblScope><biblScope unit="page" from="273">273</biblScope><biblScope unit="page" to="286">286</biblScope><biblScope unit="page-count">14</biblScope><publisher>WILEY‐VCH Verlag Berlin GmbH</publisher><pubPlace>Berlin</pubPlace><date type="published" when="1994"></date></imprint></monogr></biblStruct></sourceDesc></fileDesc><profileDesc><abstract xml:lang="en" style="main"><head>Abstract</head><p>In this article we give a unifying approach to the theory of fundamental sequences and their related Hardy hierarchies of number‐theoretic functions and we show the equivalence of the new approach with the classical one.</p><p><hi rend="italic">Mathematics Subject Classification:</hi> 03D20, 03F15, 03E10.</p></abstract><textClass><keywords xml:lang="en"><term xml:id="kwd1">Natural well‐orderings</term><term xml:id="kwd2">Subrecursive hierarchies</term><term xml:id="kwd3">Hardy hierarchies</term><term xml:id="kwd4">Fundamental sequences</term><term xml:id="kwd5">Descent functions</term></keywords><keywords rend="articleCategory"><term>Article</term></keywords><keywords rend="tocHeading1"><term>Articles</term></keywords></textClass><langUsage><language ident="en"></language></langUsage></profileDesc></teiHeader></istex:fulltextTEI><json:item><extension>txt</extension><original>false</original><mimetype>text/plain</mimetype><uri>https://api.istex.fr/ark:/67375/WNG-XB802ZDP-S/fulltext.txt</uri></json:item></fulltext><metadata><istex:metadataXml wicri:clean="Wiley, elements deleted: body"><istex:xmlDeclaration>version="1.0" encoding="UTF-8" standalone="yes"</istex:xmlDeclaration><istex:document><component version="2.0" type="serialArticle" xml:lang="en"><header><publicationMeta level="product"><publisherInfo><publisherName>WILEY‐VCH Verlag Berlin GmbH</publisherName><publisherLoc>Berlin</publisherLoc></publisherInfo><doi registered="yes">10.1002/(ISSN)1521-3870</doi><issn type="print">0942-5616</issn><issn type="electronic">1521-3870</issn><idGroup><id type="product" value="MALQ"></id></idGroup><titleGroup><title type="main" xml:lang="en" sort="MATHEMATICAL LOGIC QUARTERLY">Mathematical Logic Quarterly</title><title type="short">Mathematical Logic Quarterly</title></titleGroup></publicationMeta><publicationMeta level="part" position="20"><doi origin="wiley" registered="yes">10.1002/malq.v40:2</doi><numberingGroup><numbering type="journalVolume" number="40">40</numbering><numbering type="journalIssue">2</numbering></numberingGroup><coverDate startDate="1994">1994</coverDate></publicationMeta><publicationMeta level="unit" type="article" position="12" status="forIssue"><doi origin="wiley" registered="yes">10.1002/malq.19940400212</doi><idGroup><id type="unit" value="MALQ19940400212"></id></idGroup><countGroup><count type="pageTotal" number="14"></count></countGroup><titleGroup><title type="articleCategory">Article</title><title type="tocHeading1">Articles</title></titleGroup><copyright ownership="publisher">Copyright © 1994 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim</copyright><eventGroup><event type="manuscriptReceived" date="1993-08-20"></event><event type="firstOnline" date="2006-11-13"></event><event type="publishedOnlineFinalForm" date="2006-11-13"></event><event type="xmlConverted" agent="Converter:JWSART34_TO_WML3G version:2.3.2 mode:FullText source:HeaderRef result:HeaderRef" date="2010-03-15"></event><event type="xmlConverted" agent="Converter:WILEY_ML3G_TO_WILEY_ML3GV2 version:3.8.8" date="2014-02-02"></event><event type="xmlConverted" agent="Converter:WML3G_To_WML3G version:4.1.7 mode:FullText,remove_FC" date="2014-10-31"></event></eventGroup><numberingGroup><numbering type="pageFirst">273</numbering><numbering type="pageLast">286</numbering></numberingGroup><linkGroup><link type="toTypesetVersion" href="file:MALQ.MALQ19940400212.pdf"></link></linkGroup></publicationMeta><contentMeta><countGroup><count type="figureTotal" number="0"></count><count type="tableTotal" number="0"></count><count type="referenceTotal" number="22"></count></countGroup><titleGroup><title type="main" xml:lang="en">A Uniform Approach to Fundamental Sequences and Hierarchies</title></titleGroup><creators><creator xml:id="au1" creatorRole="author" affiliationRef="#af1"><personName><givenNames>Wilfried</givenNames><familyName>Buchholz</familyName></personName><contactDetails><email normalForm="buchholz@rz.mathematik.uni-muenchen.de">buchholz@rz.mathematik.uni‐muenchen.de</email></contactDetails></creator><creator xml:id="au2" creatorRole="author" affiliationRef="#af2"><personName><givenNames>Adam</givenNames><familyName>Cichon</familyName></personName><contactDetails><email>cichon@loria.crin.fr</email></contactDetails></creator><creator xml:id="au3" creatorRole="author" affiliationRef="#af3"><personName><givenNames>Andreas</givenNames><familyName>Weiermann</familyName></personName><contactDetails><email normalForm="weierma@math.uni-muenster.de">weierma@math.uni‐muenster.de</email></contactDetails></creator></creators><affiliationGroup><affiliation xml:id="af1" countryCode="DE" type="organization"><unparsedAffiliation>Mathematisches Institut der Universität München, Theresienstraße 39, D‐80333 München, Germany</unparsedAffiliation></affiliation><affiliation xml:id="af2" countryCode="FR" type="organization"><unparsedAffiliation>INRIA‐Lorraine—CNRS‐CRIN, BP 101, F‐54602 Villers‐lès‐Nancy, France</unparsedAffiliation></affiliation><affiliation xml:id="af3" countryCode="DE" type="organization"><unparsedAffiliation>Institut für mathematische Logik und Grundlagenforschung der Westfälischen Wilhelms‐Universität Münster, Einsteinstraße 62, D‐48149 Münster, Germany</unparsedAffiliation></affiliation></affiliationGroup><keywordGroup xml:lang="en" type="author"><keyword xml:id="kwd1">Natural well‐orderings</keyword><keyword xml:id="kwd2">Subrecursive hierarchies</keyword><keyword xml:id="kwd3">Hardy hierarchies</keyword><keyword xml:id="kwd4">Fundamental sequences</keyword><keyword xml:id="kwd5">Descent functions</keyword></keywordGroup><abstractGroup><abstract type="main" xml:lang="en"><title type="main">Abstract</title><p>In this article we give a unifying approach to the theory of fundamental sequences and their related Hardy hierarchies of number‐theoretic functions and we show the equivalence of the new approach with the classical one.</p><p><b>Mathematics Subject Classification:</b> 03D20, 03F15, 03E10.</p></abstract></abstractGroup></contentMeta></header></component></istex:document></istex:metadataXml><mods version="3.6"><titleInfo lang="en"><title>A Uniform Approach to Fundamental Sequences and Hierarchies</title></titleInfo><titleInfo type="alternative" contentType="CDATA" lang="en"><title>A Uniform Approach to Fundamental Sequences and Hierarchies</title></titleInfo><name type="personal"><namePart type="given">Wilfried</namePart><namePart type="family">Buchholz</namePart><affiliation>E-mail: buchholz@rz.mathematik.uni‐muenchen.de</affiliation><affiliation>Mathematisches Institut der Universität München, Theresienstraße 39, D‐80333 München, Germany</affiliation><affiliation>E-mail: buchholz@rz.mathematik.uni‐muenchen.de</affiliation><role><roleTerm type="text">author</roleTerm></role></name><name type="personal"><namePart type="given">Adam</namePart><namePart type="family">Cichon</namePart><affiliation>E-mail: cichon@loria.crin.fr</affiliation><affiliation>INRIA‐Lorraine—CNRS‐CRIN, BP 101, F‐54602 Villers‐lès‐Nancy, France</affiliation><affiliation>E-mail: cichon@loria.crin.fr</affiliation><role><roleTerm type="text">author</roleTerm></role></name><name type="personal"><namePart type="given">Andreas</namePart><namePart type="family">Weiermann</namePart><affiliation>E-mail: weierma@math.uni‐muenster.de</affiliation><affiliation>Institut für mathematische Logik und Grundlagenforschung der Westfälischen Wilhelms‐Universität Münster, Einsteinstraße 62, D‐48149 Münster, Germany</affiliation><affiliation>E-mail: weierma@math.uni‐muenster.de</affiliation><role><roleTerm type="text">author</roleTerm></role></name><typeOfResource>text</typeOfResource><genre type="article" displayLabel="article" authority="ISTEX" authorityURI="https://content-type.data.istex.fr" valueURI="https://content-type.data.istex.fr/ark:/67375/XTP-6N5SZHKN-D">article</genre><originInfo><publisher>WILEY‐VCH Verlag Berlin GmbH</publisher><place><placeTerm type="text">Berlin</placeTerm></place><dateIssued encoding="w3cdtf">1994</dateIssued><dateCaptured encoding="w3cdtf">1993-08-20</dateCaptured><copyrightDate encoding="w3cdtf">1994</copyrightDate></originInfo><language><languageTerm type="code" authority="rfc3066">en</languageTerm><languageTerm type="code" authority="iso639-2b">eng</languageTerm></language><physicalDescription><extent unit="figures">0</extent><extent unit="tables">0</extent><extent unit="references">22</extent></physicalDescription><abstract>In this article we give a unifying approach to the theory of fundamental sequences and their related Hardy hierarchies of number‐theoretic functions and we show the equivalence of the new approach with the classical one.</abstract><abstract>Mathematics Subject Classification: 03D20, 03F15, 03E10.</abstract><subject lang="en"><genre>keywords</genre><topic>Natural well‐orderings</topic><topic>Subrecursive hierarchies</topic><topic>Hardy hierarchies</topic><topic>Fundamental sequences</topic><topic>Descent functions</topic></subject><relatedItem type="host"><titleInfo><title>Mathematical Logic Quarterly</title></titleInfo><titleInfo type="abbreviated"><title>Mathematical Logic Quarterly</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><subject><genre>article-category</genre><topic>Article</topic></subject><identifier type="ISSN">0942-5616</identifier><identifier type="eISSN">1521-3870</identifier><identifier type="DOI">10.1002/(ISSN)1521-3870</identifier><identifier type="PublisherID">MALQ</identifier><part><date>1994</date><detail type="volume"><caption>vol.</caption><number>40</number></detail><detail type="issue"><caption>no.</caption><number>2</number></detail><extent unit="pages"><start>273</start><end>286</end><total>14</total></extent></part></relatedItem><identifier type="istex">62F49A5ACABCB75A18108C9FBF11C1072BDD1E88</identifier><identifier type="ark">ark:/67375/WNG-XB802ZDP-S</identifier><identifier type="DOI">10.1002/malq.19940400212</identifier><identifier type="ArticleID">MALQ19940400212</identifier><accessCondition type="use and reproduction" contentType="copyright">Copyright © 1994 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim</accessCondition><recordInfo><recordContentSource authority="ISTEX" authorityURI="https://loaded-corpus.data.istex.fr" valueURI="https://loaded-corpus.data.istex.fr/ark:/67375/XBH-L0C46X92-X">wiley</recordContentSource><recordOrigin>WILEY‐VCH Verlag Berlin GmbH</recordOrigin></recordInfo></mods><json:item><extension>json</extension><original>false</original><mimetype>application/json</mimetype><uri>https://api.istex.fr/ark:/67375/WNG-XB802ZDP-S/record.json</uri></json:item></metadata><serie></serie></istex></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Istex/Corpus
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 001698 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Istex/Corpus/biblio.hfd -nk 001698 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Istex
|étape= Corpus
|type= RBID
|clé= ISTEX:62F49A5ACABCB75A18108C9FBF11C1072BDD1E88
|texte= A Uniform Approach to Fundamental Sequences and Hierarchies
}}
| This area was generated with Dilib version V0.6.33. |  |