InforLorV4, Istex, Corpus, bibRecord, 003C56

Elementary constructive theory of ordered fields

Identifieur interne : 003C56 ( Istex/Corpus ); précédent : 003C55; suivant : 003C57

Elementary constructive theory of ordered fields

Auteurs : Henri Lombardi ; Marie-Françoise Roy

Source :

Progress in Mathematics

RBID : ISTEX:FC79D43AC0857320A906559061C9E6480F31D35E

Abstract

Abstract: The classical theory of ordered fields (Artin-Schreier theory) makes intensive use of non-constructive methods, in particular of the axiom of choice. However since Tarski (and even since Sturm and Sylvester) one knows how to compute in the real closure of an ordered field K solely by computations in K. This apparent contradiction is solved in this paper.

Url:

https://api.istex.fr/ark:/67375/HCB-RHL0ZCRL-8/fulltext.pdf

DOI: 10.1007/978-1-4612-0441-1_17

Links to Exploration step

ISTEX:FC79D43AC0857320A906559061C9E6480F31D35E

Le document en format XML

<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">Elementary constructive theory of ordered fields</title>
<author><name sortKey="Lombardi, Henri" sort="Lombardi, Henri" uniqKey="Lombardi H" first="Henri" last="Lombardi">Henri Lombardi</name>
<affiliation><mods:affiliation>Mathématiques UFR des Sciences et Techniques, Université de Franche-Comté, 25 030, Besançon cédex, France</mods:affiliation>
</affiliation>
<affiliation><mods:affiliation>E-mail: lakshman@math.udel.edu</mods:affiliation>
</affiliation>
</author>
<author><name sortKey="Roy, Marie Francoise" sort="Roy, Marie Francoise" uniqKey="Roy M" first="Marie-Françoise" last="Roy">Marie-Françoise Roy</name>
<affiliation><mods:affiliation>IRMAR, Université de Rennes, 1 Campus de Beaulieu, 35 042, Rennes cedex, France</mods:affiliation>
</affiliation>
<affiliation><mods:affiliation>E-mail: lakshman@math.udel.edu</mods:affiliation>
</affiliation>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">ISTEX</idno>
<idno type="RBID">ISTEX:FC79D43AC0857320A906559061C9E6480F31D35E</idno>
<date when="1991" year="1991">1991</date>
<idno type="doi">10.1007/978-1-4612-0441-1_17</idno>
<idno type="url">https://api.istex.fr/ark:/67375/HCB-RHL0ZCRL-8/fulltext.pdf</idno>
<idno type="wicri:Area/Istex/Corpus">003C56</idno>
<idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">003C56</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Elementary constructive theory of ordered fields</title>
<author><name sortKey="Lombardi, Henri" sort="Lombardi, Henri" uniqKey="Lombardi H" first="Henri" last="Lombardi">Henri Lombardi</name>
<affiliation><mods:affiliation>Mathématiques UFR des Sciences et Techniques, Université de Franche-Comté, 25 030, Besançon cédex, France</mods:affiliation>
</affiliation>
<affiliation><mods:affiliation>E-mail: lakshman@math.udel.edu</mods:affiliation>
</affiliation>
</author>
<author><name sortKey="Roy, Marie Francoise" sort="Roy, Marie Francoise" uniqKey="Roy M" first="Marie-Françoise" last="Roy">Marie-Françoise Roy</name>
<affiliation><mods:affiliation>IRMAR, Université de Rennes, 1 Campus de Beaulieu, 35 042, Rennes cedex, France</mods:affiliation>
</affiliation>
<affiliation><mods:affiliation>E-mail: lakshman@math.udel.edu</mods:affiliation>
</affiliation>
</author>
</analytic>
<monogr></monogr>
<series><title level="s" type="main" xml:lang="en">Progress in Mathematics</title>
</series>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><textClass></textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en">Abstract: The classical theory of ordered fields (Artin-Schreier theory) makes intensive use of non-constructive methods, in particular of the axiom of choice. However since Tarski (and even since Sturm and Sylvester) one knows how to compute in the real closure of an ordered field K solely by computations in K. This apparent contradiction is solved in this paper.</div>
</front>
</TEI>
<istex><corpusName>springer-ebooks</corpusName>
<author><json:item><name>Henri Lombardi</name>
<affiliations><json:string>Mathématiques UFR des Sciences et Techniques, Université de Franche-Comté, 25 030, Besançon cédex, France</json:string>
<json:string>E-mail: lakshman@math.udel.edu</json:string>
</affiliations>
</json:item>
<json:item><name>Marie-Françoise Roy</name>
<affiliations><json:string>IRMAR, Université de Rennes, 1 Campus de Beaulieu, 35 042, Rennes cedex, France</json:string>
<json:string>E-mail: lakshman@math.udel.edu</json:string>
</affiliations>
</json:item>
</author>
<arkIstex>ark:/67375/HCB-RHL0ZCRL-8</arkIstex>
<language><json:string>eng</json:string>
</language>
<originalGenre><json:string>OriginalPaper</json:string>
</originalGenre>
<abstract>Abstract: The classical theory of ordered fields (Artin-Schreier theory) makes intensive use of non-constructive methods, in particular of the axiom of choice. However since Tarski (and even since Sturm and Sylvester) one knows how to compute in the real closure of an ordered field K solely by computations in K. This apparent contradiction is solved in this paper.</abstract>
<qualityIndicators><score>7.696</score>
<pdfWordCount>5215</pdfWordCount>
<pdfCharCount>25167</pdfCharCount>
<pdfVersion>1.4</pdfVersion>
<pdfPageCount>14</pdfPageCount>
<pdfPageSize>439.37 x 666.14 pts</pdfPageSize>
<refBibsNative>false</refBibsNative>
<abstractWordCount>58</abstractWordCount>
<abstractCharCount>366</abstractCharCount>
<keywordCount>0</keywordCount>
</qualityIndicators>
<title>Elementary constructive theory of ordered fields</title>
<chapterId><json:string>17</json:string>
<json:string>Chap17</json:string>
</chapterId>
<genre><json:string>research-article</json:string>
</genre>
<serie><title>Progress in Mathematics</title>
<language><json:string>unknown</json:string>
</language>
<copyrightDate>1991</copyrightDate>
<editor><json:item><name>J. Oesterlé</name>
</json:item>
<json:item><name>A. Weinstein</name>
</json:item>
</editor>
</serie>
<host><title>Effective Methods in Algebraic Geometry</title>
<language><json:string>unknown</json:string>
</language>
<copyrightDate>1991</copyrightDate>
<doi><json:string>10.1007/978-1-4612-0441-1</json:string>
</doi>
<eisbn><json:string>978-1-4612-0441-1</json:string>
</eisbn>
<bookId><json:string>978-1-4612-0441-1</json:string>
</bookId>
<isbn><json:string>978-1-4612-6761-4</json:string>
</isbn>
<volume>94</volume>
<pages><first>249</first>
<last>262</last>
</pages>
<genre><json:string>book-series</json:string>
</genre>
<editor><json:item><name>Teo Mora</name>
<affiliations><json:string>Dipartimento de Matematica, Università di Genova, Via L. B. Alberti 2, I-16100, Genova, Italy</json:string>
</affiliations>
</json:item>
<json:item><name>Carlo Traverso</name>
<affiliations><json:string>Dipartimento de Matematica, Università di Pisa, Via Buonarroti 2, 56127, Pisa, Italy</json:string>
</affiliations>
</json:item>
</editor>
<subject><json:item><value>Mathematics and Statistics</value>
</json:item>
<json:item><value>Mathematics</value>
</json:item>
<json:item><value>Algebraic Geometry</value>
</json:item>
</subject>
</host>
<ark><json:string>ark:/67375/HCB-RHL0ZCRL-8</json:string>
</ark>
<publicationDate>1991</publicationDate>
<copyrightDate>1991</copyrightDate>
<doi><json:string>10.1007/978-1-4612-0441-1_17</json:string>
</doi>
<id>FC79D43AC0857320A906559061C9E6480F31D35E</id>
<score>1</score>
<fulltext><json:item><extension>pdf</extension>
<original>true</original>
<mimetype>application/pdf</mimetype>
<uri>https://api.istex.fr/ark:/67375/HCB-RHL0ZCRL-8/fulltext.pdf</uri>
</json:item>
<json:item><extension>zip</extension>
<original>false</original>
<mimetype>application/zip</mimetype>
<uri>https://api.istex.fr/ark:/67375/HCB-RHL0ZCRL-8/bundle.zip</uri>
</json:item>
<istex:fulltextTEI uri="https://api.istex.fr/ark:/67375/HCB-RHL0ZCRL-8/fulltext.tei"><teiHeader><fileDesc><titleStmt><title level="a" type="main" xml:lang="en">Elementary constructive theory of ordered fields</title>
</titleStmt>
<publicationStmt><authority>ISTEX</authority>
<availability><licence>Springer Science+Business Media New York</licence>
</availability>
<date when="1991">1991</date>
</publicationStmt>
<notesStmt><note type="content-type" subtype="research-article" source="OriginalPaper" scheme="https://content-type.data.istex.fr/ark:/67375/XTP-1JC4F85T-7">research-article</note>
<note type="publication-type" subtype="book-series" scheme="https://publication-type.data.istex.fr/ark:/67375/JMC-0G6R5W5T-Z">book-series</note>
</notesStmt>
<sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Elementary constructive theory of ordered fields</title>
<author><persName><forename type="first">Henri</forename>
<surname>Lombardi</surname>
</persName>
<email>lakshman@math.udel.edu</email>
<affiliation><orgName type="department">Mathématiques UFR des Sciences et Techniques</orgName>
<orgName type="institution">Université de Franche-Comté</orgName>
<address><postCode>25 030</postCode>
<settlement>Besançon cédex</settlement>
<country key="FR">FRANCE</country>
</address>
</affiliation>
</author>
<author><persName><forename type="first">Marie-Françoise</forename>
<surname>Roy</surname>
</persName>
<email>lakshman@math.udel.edu</email>
<affiliation><orgName type="department">IRMAR</orgName>
<orgName type="institution">Université de Rennes</orgName>
<address><street>1 Campus de Beaulieu</street>
<postCode>35 042</postCode>
<settlement>Rennes cedex</settlement>
<country key="FR">FRANCE</country>
</address>
</affiliation>
</author>
<idno type="istex">FC79D43AC0857320A906559061C9E6480F31D35E</idno>
<idno type="ark">ark:/67375/HCB-RHL0ZCRL-8</idno>
<idno type="DOI">10.1007/978-1-4612-0441-1_17</idno>
</analytic>
<monogr><title level="m" type="main">Effective Methods in Algebraic Geometry</title>
<idno type="DOI">10.1007/978-1-4612-0441-1</idno>
<idno type="book-id">978-1-4612-0441-1</idno>
<idno type="ISBN">978-1-4612-6761-4</idno>
<idno type="eISBN">978-1-4612-0441-1</idno>
<idno type="chapter-id">Chap17</idno>
<editor><persName><forename type="first">Teo</forename>
<surname>Mora</surname>
</persName>
<affiliation><orgName type="department">Dipartimento de Matematica</orgName>
<orgName type="institution">Università di Genova</orgName>
<address><street>Via L. B. Alberti 2</street>
<postCode>I-16100</postCode>
<settlement>Genova</settlement>
<country key="IT">ITALY</country>
</address>
</affiliation>
</editor>
<editor><persName><forename type="first">Carlo</forename>
<surname>Traverso</surname>
</persName>
<affiliation><orgName type="department">Dipartimento de Matematica</orgName>
<orgName type="institution">Università di Pisa</orgName>
<address><street>Via Buonarroti 2</street>
<postCode>56127</postCode>
<settlement>Pisa</settlement>
<country key="IT">ITALY</country>
</address>
</affiliation>
</editor>
<imprint><biblScope unit="vol">94</biblScope>
<biblScope unit="page" from="249">249</biblScope>
<biblScope unit="page" to="262">262</biblScope>
<biblScope unit="chapter-count">33</biblScope>
</imprint>
</monogr>
<series><title level="s" type="main" xml:lang="en">Progress in Mathematics</title>
<editor><persName><forename type="first">J.</forename>
<surname>Oesterlé</surname>
</persName>
</editor>
<editor><persName><forename type="first">A.</forename>
<surname>Weinstein</surname>
</persName>
</editor>
<idno type="seriesID">4848</idno>
</series>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><abstract xml:lang="en"><head>Abstract</head>
<p>The classical theory of ordered fields (Artin-Schreier theory) makes intensive use of non-constructive methods, in particular of the axiom of choice. However since Tarski (and even since Sturm and Sylvester) one knows how to compute in the real closure of an ordered field <hi rend="bold">K</hi>
 solely by computations in <hi rend="bold">K</hi>
. This apparent contradiction is solved in this paper.</p>
</abstract>
<textClass ana="subject"><keywords scheme="book-subject-collection"><list><label>SUCO11649</label>
<item><term>Mathematics and Statistics</term>
</item>
</list>
</keywords>
</textClass>
<textClass ana="subject"><keywords scheme="book-subject"><list><label>SCM</label>
<item><term type="Primary">Mathematics</term>
</item>
<label>SCM11019</label>
<item><term type="Secondary" subtype="priority-1">Algebraic Geometry</term>
</item>
</list>
</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/HCB-RHL0ZCRL-8/fulltext.txt</uri>
</json:item>
</fulltext>
<metadata><istex:metadataXml wicri:clean="corpus springer-ebooks not found" wicri:toSee="no header"><istex:xmlDeclaration>version="1.0" encoding="UTF-8"</istex:xmlDeclaration>
<istex:docType PUBLIC="-//Springer-Verlag//DTD A++ V2.4//EN" URI="http://devel.springer.de/A++/V2.4/DTD/A++V2.4.dtd" name="istex:docType"></istex:docType>
<istex:document><Publisher><PublisherInfo><PublisherName>Birkhäuser Boston</PublisherName>
<PublisherLocation>Boston, MA</PublisherLocation>
<PublisherImprintName>Birkhäuser</PublisherImprintName>
</PublisherInfo>
<Series><SeriesInfo SeriesType="Series" TocLevels="0"><SeriesID>4848</SeriesID>
<SeriesTitle Language="En">Progress in Mathematics</SeriesTitle>
</SeriesInfo>
<SeriesHeader><EditorGroup><Editor><EditorName DisplayOrder="Western"><GivenName>J.</GivenName>
<FamilyName>Oesterlé</FamilyName>
</EditorName>
</Editor>
<Editor><EditorName DisplayOrder="Western"><GivenName>A.</GivenName>
<FamilyName>Weinstein</FamilyName>
</EditorName>
</Editor>
</EditorGroup>
</SeriesHeader>
<Book Language="En"><BookInfo BookProductType="Monograph" ContainsESM="No" Language="En" MediaType="eBook" NumberingStyle="Unnumbered" OutputMedium="All" TocLevels="0"><BookID>978-1-4612-0441-1</BookID>
<BookTitle>Effective Methods in Algebraic Geometry</BookTitle>
<BookVolumeNumber>94</BookVolumeNumber>
<BookSequenceNumber>93</BookSequenceNumber>
<BookDOI>10.1007/978-1-4612-0441-1</BookDOI>
<BookTitleID>40494</BookTitleID>
<BookPrintISBN>978-1-4612-6761-4</BookPrintISBN>
<BookElectronicISBN>978-1-4612-0441-1</BookElectronicISBN>
<BookChapterCount>33</BookChapterCount>
<BookCopyright><CopyrightHolderName>Birkhäuser Boston</CopyrightHolderName>
<CopyrightYear>1991</CopyrightYear>
</BookCopyright>
<BookSubjectGroup><BookSubject Code="SCM" Type="Primary">Mathematics</BookSubject>
<BookSubject Code="SCM11019" Priority="1" Type="Secondary">Algebraic Geometry</BookSubject>
<SubjectCollection Code="SUCO11649">Mathematics and Statistics</SubjectCollection>
</BookSubjectGroup>
<BookContext><SeriesID>4848</SeriesID>
</BookContext>
</BookInfo>
<BookHeader><EditorGroup><Editor AffiliationIDS="Aff1"><EditorName DisplayOrder="Western"><GivenName>Teo</GivenName>
<FamilyName>Mora</FamilyName>
</EditorName>
</Editor>
<Editor AffiliationIDS="Aff2"><EditorName DisplayOrder="Western"><GivenName>Carlo</GivenName>
<FamilyName>Traverso</FamilyName>
</EditorName>
</Editor>
<Affiliation ID="Aff1"><OrgDivision>Dipartimento de Matematica</OrgDivision>
<OrgName>Università di Genova</OrgName>
<OrgAddress><Street>Via L. B. Alberti 2</Street>
<Postcode>I-16100</Postcode>
<City>Genova</City>
<Country>Italy</Country>
</OrgAddress>
</Affiliation>
<Affiliation ID="Aff2"><OrgDivision>Dipartimento de Matematica</OrgDivision>
<OrgName>Università di Pisa</OrgName>
<OrgAddress><Street>Via Buonarroti 2</Street>
<Postcode>56127</Postcode>
<City>Pisa</City>
<Country>Italy</Country>
</OrgAddress>
</Affiliation>
</EditorGroup>
</BookHeader>
<Chapter ID="Chap17" Language="En"><ChapterInfo ChapterType="OriginalPaper" ContainsESM="No" Language="En" NumberingStyle="Unnumbered" TocLevels="0"><ChapterID>17</ChapterID>
<ChapterDOI>10.1007/978-1-4612-0441-1_17</ChapterDOI>
<ChapterSequenceNumber>17</ChapterSequenceNumber>
<ChapterTitle Language="En">Elementary constructive theory of ordered fields</ChapterTitle>
<ChapterFirstPage>249</ChapterFirstPage>
<ChapterLastPage>262</ChapterLastPage>
<ChapterCopyright><CopyrightHolderName>Springer Science+Business Media New York</CopyrightHolderName>
<CopyrightYear>1991</CopyrightYear>
</ChapterCopyright>
<ChapterHistory><RegistrationDate><Year>2011</Year>
<Month>8</Month>
<Day>15</Day>
</RegistrationDate>
</ChapterHistory>
<ChapterGrants Type="Regular"><MetadataGrant Grant="OpenAccess"></MetadataGrant>
<AbstractGrant Grant="OpenAccess"></AbstractGrant>
<BodyPDFGrant Grant="Restricted"></BodyPDFGrant>
<BodyHTMLGrant Grant="Restricted"></BodyHTMLGrant>
<BibliographyGrant Grant="Restricted"></BibliographyGrant>
<ESMGrant Grant="Restricted"></ESMGrant>
</ChapterGrants>
<ChapterContext><SeriesID>4848</SeriesID>
<BookID>978-1-4612-0441-1</BookID>
<BookTitle>Effective Methods in Algebraic Geometry</BookTitle>
</ChapterContext>
</ChapterInfo>
<ChapterHeader><AuthorGroup><Author AffiliationIDS="Aff3"><AuthorName DisplayOrder="Western"><GivenName>Henri</GivenName>
<FamilyName>Lombardi</FamilyName>
</AuthorName>
<Contact><Email>lakshman@math.udel.edu</Email>
</Contact>
</Author>
<Author AffiliationIDS="Aff4"><AuthorName DisplayOrder="Western"><GivenName>Marie-Françoise</GivenName>
<FamilyName>Roy</FamilyName>
</AuthorName>
<Contact><Email>lakshman@math.udel.edu</Email>
</Contact>
</Author>
<Affiliation ID="Aff3"><OrgDivision>Mathématiques UFR des Sciences et Techniques</OrgDivision>
<OrgName>Université de Franche-Comté</OrgName>
<OrgAddress><Postcode>25 030</Postcode>
<City>Besançon cédex</City>
<Country>France</Country>
</OrgAddress>
</Affiliation>
<Affiliation ID="Aff4"><OrgDivision>IRMAR</OrgDivision>
<OrgName>Université de Rennes</OrgName>
<OrgAddress><Street>1 Campus de Beaulieu</Street>
<Postcode>35 042</Postcode>
<City>Rennes cedex</City>
<Country>France</Country>
</OrgAddress>
</Affiliation>
</AuthorGroup>
<Abstract ID="Abs1" Language="En" OutputMedium="Online"><Heading>Abstract</Heading>
<Para>The classical theory of ordered fields (Artin-Schreier theory) makes intensive use of non-constructive methods, in particular of the axiom of choice. However since Tarski (and even since Sturm and Sylvester) one knows how to compute in the real closure of an ordered field <Emphasis Type="Bold">K</Emphasis>
 solely by computations in <Emphasis Type="Bold">K</Emphasis>
. This apparent contradiction is solved in this paper.</Para>
</Abstract>
</ChapterHeader>
<NoBody></NoBody>
</Chapter>
</Book>
</Series>
</Publisher>
</istex:document>
</istex:metadataXml>
<mods version="3.6"><titleInfo lang="en"><title>Elementary constructive theory of ordered fields</title>
</titleInfo>
<titleInfo type="alternative" contentType="CDATA"><title>Elementary constructive theory of ordered fields</title>
</titleInfo>
<name type="personal"><namePart type="given">Henri</namePart>
<namePart type="family">Lombardi</namePart>
<affiliation>Mathématiques UFR des Sciences et Techniques, Université de Franche-Comté, 25 030, Besançon cédex, France</affiliation>
<affiliation>E-mail: lakshman@math.udel.edu</affiliation>
<role><roleTerm type="text">author</roleTerm>
</role>
</name>
<name type="personal"><namePart type="given">Marie-Françoise</namePart>
<namePart type="family">Roy</namePart>
<affiliation>IRMAR, Université de Rennes, 1 Campus de Beaulieu, 35 042, Rennes cedex, France</affiliation>
<affiliation>E-mail: lakshman@math.udel.edu</affiliation>
<role><roleTerm type="text">author</roleTerm>
</role>
</name>
<typeOfResource>text</typeOfResource>
<genre displayLabel="OriginalPaper" authority="ISTEX" authorityURI="https://content-type.data.istex.fr" type="research-article" valueURI="https://content-type.data.istex.fr/ark:/67375/XTP-1JC4F85T-7">research-article</genre>
<originInfo><publisher>Birkhäuser Boston</publisher>
<place><placeTerm type="text">Boston, MA</placeTerm>
</place>
<dateIssued encoding="w3cdtf">1991</dateIssued>
<copyrightDate encoding="w3cdtf">1991</copyrightDate>
</originInfo>
<language><languageTerm type="code" authority="rfc3066">en</languageTerm>
<languageTerm type="code" authority="iso639-2b">eng</languageTerm>
</language>
<abstract lang="en">Abstract: The classical theory of ordered fields (Artin-Schreier theory) makes intensive use of non-constructive methods, in particular of the axiom of choice. However since Tarski (and even since Sturm and Sylvester) one knows how to compute in the real closure of an ordered field K solely by computations in K. This apparent contradiction is solved in this paper.</abstract>
<relatedItem type="host"><titleInfo><title>Effective Methods in Algebraic Geometry</title>
</titleInfo>
<name type="personal"><namePart type="given">Teo</namePart>
<namePart type="family">Mora</namePart>
<affiliation>Dipartimento de Matematica, Università di Genova, Via L. B. Alberti 2, I-16100, Genova, Italy</affiliation>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<name type="personal"><namePart type="given">Carlo</namePart>
<namePart type="family">Traverso</namePart>
<affiliation>Dipartimento de Matematica, Università di Pisa, Via Buonarroti 2, 56127, Pisa, Italy</affiliation>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<genre type="book-series" authority="ISTEX" authorityURI="https://publication-type.data.istex.fr" valueURI="https://publication-type.data.istex.fr/ark:/67375/JMC-0G6R5W5T-Z">book-series</genre>
<originInfo><publisher>Springer</publisher>
<copyrightDate encoding="w3cdtf">1991</copyrightDate>
<issuance>monographic</issuance>
</originInfo>
<subject><genre>Book-Subject-Collection</genre>
<topic authority="SpringerSubjectCodes" authorityURI="SUCO11649">Mathematics and Statistics</topic>
</subject>
<subject><genre>Book-Subject-Group</genre>
<topic authority="SpringerSubjectCodes" authorityURI="SCM">Mathematics</topic>
<topic authority="SpringerSubjectCodes" authorityURI="SCM11019">Algebraic Geometry</topic>
</subject>
<identifier type="DOI">10.1007/978-1-4612-0441-1</identifier>
<identifier type="ISBN">978-1-4612-6761-4</identifier>
<identifier type="eISBN">978-1-4612-0441-1</identifier>
<identifier type="BookTitleID">40494</identifier>
<identifier type="BookID">978-1-4612-0441-1</identifier>
<identifier type="BookChapterCount">33</identifier>
<identifier type="BookVolumeNumber">94</identifier>
<identifier type="BookSequenceNumber">93</identifier>
<part><date>1991</date>
<detail type="volume"><number>94</number>
<caption>vol.</caption>
</detail>
<extent unit="pages"><start>249</start>
<end>262</end>
</extent>
</part>
<recordInfo><recordOrigin>Birkhäuser Boston, 1991</recordOrigin>
</recordInfo>
</relatedItem>
<relatedItem type="series"><titleInfo><title>Progress in Mathematics</title>
</titleInfo>
<name type="personal"><namePart type="given">J.</namePart>
<namePart type="family">Oesterlé</namePart>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<name type="personal"><namePart type="given">A.</namePart>
<namePart type="family">Weinstein</namePart>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<originInfo><publisher>Springer</publisher>
<copyrightDate encoding="w3cdtf">1991</copyrightDate>
<issuance>serial</issuance>
</originInfo>
<identifier type="SeriesID">4848</identifier>
<recordInfo><recordOrigin>Birkhäuser Boston, 1991</recordOrigin>
</recordInfo>
</relatedItem>
<identifier type="istex">FC79D43AC0857320A906559061C9E6480F31D35E</identifier>
<identifier type="ark">ark:/67375/HCB-RHL0ZCRL-8</identifier>
<identifier type="DOI">10.1007/978-1-4612-0441-1_17</identifier>
<identifier type="ChapterID">17</identifier>
<identifier type="ChapterID">Chap17</identifier>
<accessCondition type="use and reproduction" contentType="copyright">Birkhäuser Boston, 1991</accessCondition>
<recordInfo><recordContentSource authority="ISTEX" authorityURI="https://loaded-corpus.data.istex.fr" valueURI="https://loaded-corpus.data.istex.fr/ark:/67375/XBH-RLRX46XW-4">springer</recordContentSource>
<recordOrigin>Springer Science+Business Media New York, 1991</recordOrigin>
</recordInfo>
</mods>
<json:item><extension>json</extension>
<original>false</original>
<mimetype>application/json</mimetype>
<uri>https://api.istex.fr/ark:/67375/HCB-RHL0ZCRL-8/record.json</uri>
</json:item>
</metadata>
<annexes><json:item><extension>txt</extension>
<original>true</original>
<mimetype>text/plain</mimetype>
<uri>https://api.istex.fr/ark:/67375/HCB-RHL0ZCRL-8/annexes.txt</uri>
</json:item>
</annexes>
</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 003C56 | SxmlIndent | more

HfdSelect -h $EXPLOR_AREA/Data/Istex/Corpus/biblio.hfd -nk 003C56 | 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:FC79D43AC0857320A906559061C9E6480F31D35E
   |texte=   Elementary constructive theory of ordered fields
}}

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022

	Serveur d'exploration sur la recherche en informatique en Lorraine
	Attention, ce site est en cours de développement ! Attention, site généré par des moyens informatiques à partir de corpus bruts. Les informations ne sont donc pas validées.

Serveur d'exploration sur la recherche en informatique en Lorraine

Elementary constructive theory of ordered fields

Elementary constructive theory of ordered fields

Source :

Abstract

Links to Exploration step

Le document en format XML

Pour manipuler ce document sous Unix (Dilib)

Pour mettre un lien sur cette page dans le réseau Wicri