Comparison of Exponential-Logarithmic and Logarithmic-Exponential series

Lade...
Vorschaubild
Dateien
Zu diesem Dokument gibt es keine Dateien.
Datum
2012
Autor:innen
Tressl, Marcus
Herausgeber:innen
Kontakt
ISSN der Zeitschrift
Electronic ISSN
ISBN
Bibliografische Daten
Verlag
Schriftenreihe
Auflagebezeichnung
ArXiv-ID
Internationale Patentnummer
Angaben zur Forschungsförderung
Projekt
Open Access-Veröffentlichung
Core Facility der Universität Konstanz
Gesperrt bis
Titel in einer weiteren Sprache
Forschungsvorhaben
Organisationseinheiten
Zeitschriftenheft
Publikationstyp
Zeitschriftenartikel
Publikationsstatus
Published
Erschienen in
Mathematical Logic Quarterly. 2012, 58(6), pp. 434-448. ISSN 0942-5616. eISSN 1521-3870. Available under: doi: 10.1002/malq.201100113
Zusammenfassung

We explain how the field of logarithmic-exponential series constructed in L. van den Dries, A. Macintyre, and D. Marker: "Logarithmic-Exponential power series" and L. van den Dries, A. Macintyre, and D. Marker: "Logarithmic-Exponential series" embeds as an exponential field in any field of exponential-logarithmic series constructed in F.-V. Kuhlmann and S. Kuhlmann: "Explicit construction of exponential-logarithmic power series", S. Kuhlmann: "Ordered Exponential Fields" and S. Kuhlmann and S. Shelah: "κ–bounded Exponential Logarithmic Power Series Fields". On the other hand, we explain why no field of exponential-logarithmic series embeds in the field of logarithmic-exponential series. This clarifies why the two constructions are intrinsically different, in the sense that they produce non-isomorphic models of Th(Ran, exp); the elementary theory of the ordered field of real numbers, with the exponential function and restricted analytic functions.

Zusammenfassung in einer weiteren Sprache
Fachgebiet (DDC)
510 Mathematik
Schlagwörter
generalized power series, Hahn groups, exponential extension, exponential closure, growth axioms, morphisms of prelogarithmic fields
Konferenz
Rezension
undefined / . - undefined, undefined
Zitieren
ISO 690KUHLMANN, Salma, Marcus TRESSL, 2012. Comparison of Exponential-Logarithmic and Logarithmic-Exponential series. In: Mathematical Logic Quarterly. 2012, 58(6), pp. 434-448. ISSN 0942-5616. eISSN 1521-3870. Available under: doi: 10.1002/malq.201100113
BibTex
@article{Kuhlmann2012Compa-21244,
  year={2012},
  doi={10.1002/malq.201100113},
  title={Comparison of Exponential-Logarithmic and Logarithmic-Exponential series},
  number={6},
  volume={58},
  issn={0942-5616},
  journal={Mathematical Logic Quarterly},
  pages={434--448},
  author={Kuhlmann, Salma and Tressl, Marcus}
}
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/21244">
    <dc:contributor>Kuhlmann, Salma</dc:contributor>
    <dcterms:issued>2012</dcterms:issued>
    <dc:creator>Tressl, Marcus</dc:creator>
    <foaf:homepage rdf:resource="http://localhost:8080/"/>
    <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/21244"/>
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/39"/>
    <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
    <dc:contributor>Tressl, Marcus</dc:contributor>
    <dcterms:abstract xml:lang="eng">We explain how the field of logarithmic-exponential series constructed in L. van den Dries, A. Macintyre, and D. Marker: "Logarithmic-Exponential power series" and L. van den Dries, A. Macintyre, and D. Marker: "Logarithmic-Exponential series" embeds as an exponential field in any field of exponential-logarithmic series constructed in F.-V. Kuhlmann and S. Kuhlmann: "Explicit construction of exponential-logarithmic power series", S. Kuhlmann: "Ordered Exponential Fields" and S. Kuhlmann and S. Shelah: "κ–bounded Exponential Logarithmic Power Series Fields". On the other hand, we explain why no field of exponential-logarithmic series embeds in the field of logarithmic-exponential series. This clarifies why the two constructions are intrinsically different, in the sense that they produce non-isomorphic models of Th(Ran, exp); the elementary theory of the ordered field of real numbers, with the exponential function and restricted analytic functions.</dcterms:abstract>
    <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/>
    <dcterms:title>Comparison of Exponential-Logarithmic and Logarithmic-Exponential series</dcterms:title>
    <dc:rights>terms-of-use</dc:rights>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/39"/>
    <dc:language>eng</dc:language>
    <dc:creator>Kuhlmann, Salma</dc:creator>
    <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2013-01-25T10:44:58Z</dc:date>
    <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2013-01-25T10:44:58Z</dcterms:available>
    <dcterms:bibliographicCitation>Mathematical Logic Quarterly ; 58 (2012), 6. - S. 434-448</dcterms:bibliographicCitation>
  </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