Publikation:

A valuation theoretic characterization of recursively saturated real closed fields

Vorschaubild

Dateien

DAquino_0-288863.pdf
DAquino_0-288863.pdfGröße: 166.68 KBDownloads: 216

Datum

2015

Autor:innen

D'Aquino, Paola
Lange, Karen

Herausgeber:innen

Kontakt

ISSN der Zeitschrift

Electronic ISSN

ISBN

Bibliografische Daten

Verlag

Schriftenreihe

Auflagebezeichnung

URI (zitierfähiger Link)
http://nbn-resolving.de/urn:nbn:de:bsz:352-0-288863
DOI (zitierfähiger Link)
https://doi.org/10.1017/jsl.2014.21
ArXiv-ID

Internationale Patentnummer

Link zur Lizenz
Urheberrechtlich geschützt

Angaben zur Forschungsförderung

Projekt

Open Access-Veröffentlichung
Open Access Green

Sammlungen

Mathematik und Statistik: Publikationen
Core Facility der Universität Konstanz

Gesperrt bis

Titel in einer weiteren Sprache

Publikationstyp
Zeitschriftenartikel
Publikationsstatus
Published

Erschienen in

The Journal of Symbolic Logic. 2015, 80(1), pp. 194-206. ISSN 0022-4812. eISSN 1943-5886. Available under: doi: 10.1017/jsl.2014.21

Zusammenfassung

We give a valuation theoretic characterization for a real closed field to be recursively saturated. This builds on work in [9], where the authors gave such a characterization for κ≥N0. Our result extends the characterization of Harnik and Ressayre [7] for a divisible ordered abelian group to be recursively saturated.

Zusammenfassung in einer weiteren Sprache

Fachgebiet (DDC)
510 Mathematik

Schlagwörter

Recursive saturation, Scott sets, natural valuation, value group, residue field, valuation rank, pseudo-Cauchy sequences

Konferenz

Rezension
undefined / . - undefined, undefined

Forschungsvorhaben

Organisationseinheiten

Zeitschriftenheft

Zugehörige Datensätze in KOPS

Zitieren

ISO 690D'AQUINO, Paola, Salma KUHLMANN, Karen LANGE, 2015. A valuation theoretic characterization of recursively saturated real closed fields. In: The Journal of Symbolic Logic. 2015, 80(1), pp. 194-206. ISSN 0022-4812. eISSN 1943-5886. Available under: doi: 10.1017/jsl.2014.21
BibTex
@article{DAquino2015valua-31379,
  year={2015},
  doi={10.1017/jsl.2014.21},
  title={A valuation theoretic characterization of recursively saturated real closed fields},
  number={1},
  volume={80},
  issn={0022-4812},
  journal={The Journal of Symbolic Logic},
  pages={194--206},
  author={D'Aquino, Paola and Kuhlmann, Salma and Lange, Karen}
}
RDF
<rdf:RDF
    xmlns:dcterms="http://purl.org/dc/terms/"
    xmlns:dc="http://purl.org/dc/elements/1.1/"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:bibo="http://purl.org/ontology/bibo/"
    xmlns:dspace="http://digital-repositories.org/ontologies/dspace/0.1.0#"
    xmlns:foaf="http://xmlns.com/foaf/0.1/"
    xmlns:void="http://rdfs.org/ns/void#"
    xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > 
  <rdf:Description rdf:about="https://kops.uni-konstanz.de/server/rdf/resource/123456789/31379">
    <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2015-07-07T13:56:51Z</dcterms:available>
    <dcterms:issued>2015</dcterms:issued>
    <foaf:homepage rdf:resource="http://localhost:8080/"/>
    <dc:rights>terms-of-use</dc:rights>
    <dc:creator>D'Aquino, Paola</dc:creator>
    <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/31379/1/DAquino_0-288863.pdf"/>
    <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/31379/1/DAquino_0-288863.pdf"/>
    <dc:contributor>Lange, Karen</dc:contributor>
    <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/31379"/>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/39"/>
    <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2015-07-07T13:56:51Z</dc:date>
    <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/>
    <dcterms:abstract xml:lang="eng">We give a valuation theoretic characterization for a real closed field to be recursively saturated. This builds on work in [9], where the authors gave such a characterization for κ≥N&lt;sub&gt;0&lt;/sub&gt;. Our result extends the characterization of Harnik and Ressayre [7] for a divisible ordered abelian group to be recursively saturated.</dcterms:abstract>
    <dc:creator>Kuhlmann, Salma</dc:creator>
    <dc:creator>Lange, Karen</dc:creator>
    <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
    <dcterms:title>A valuation theoretic characterization of recursively saturated real closed fields</dcterms:title>
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/39"/>
    <dc:contributor>Kuhlmann, Salma</dc:contributor>
    <dc:language>eng</dc:language>
    <dc:contributor>D'Aquino, Paola</dc:contributor>
  </rdf:Description>
</rdf:RDF>

Interner Vermerk

xmlui.Submission.submit.DescribeStep.inputForms.label.kops_note_fromSubmitter

Kontakt
URL der Originalveröffentl.

Prüfdatum der URL

Prüfungsdatum der Dissertation

Finanzierungsart

Kommentar zur Publikation

Allianzlizenz
Corresponding Authors der Uni Konstanz vorhanden
Internationale Co-Autor:innen
Universitätsbibliographie
Ja
Begutachtet
Diese Publikation teilen