Publikation:

Embedding the prime model of real exponentiation into o-minimal exponential fields

Lade...
Vorschaubild

Dateien

Krapp_2-5ai4i6waxtbt6.pdf
Krapp_2-5ai4i6waxtbt6.pdfGröße: 118.42 KBDownloads: 17

Datum

2024

Herausgeber:innen

Kontakt

ISSN der Zeitschrift

Electronic ISSN

ISBN

Bibliografische Daten

Verlag

Schriftenreihe

Auflagebezeichnung

DOI (zitierfähiger Link)
ArXiv-ID

Internationale Patentnummer

Link zur Lizenz

Angaben zur Forschungsförderung

Projekt

Open Access-Veröffentlichung
Open Access Hybrid
Core Facility der Universität Konstanz

Gesperrt bis

Titel in einer weiteren Sprache

Publikationstyp
Zeitschriftenartikel
Publikationsstatus
Published

Erschienen in

Bulletin of the London Mathematical Society. Wiley. 2024, 56(3), S. 907-913. ISSN 0024-6093. eISSN 1469-2120. Verfügbar unter: doi: 10.1112/blms.12972

Zusammenfassung

Motivated by the decidability question for the theory of real exponentiation and by the Transfer Conjecture for o-minimal exponential fields, we show that, under the assumption of Schanuel's Conjecture, the prime model of real exponentiation is embeddable into any o-minimal exponential field, where the embedding is not necessarily elementary. This is a consequence of an unconditional model theoretic embeddability result that we obtain by applying Kőnig's Lemma.

Zusammenfassung in einer weiteren Sprache

Fachgebiet (DDC)
510 Mathematik

Schlagwörter

Konferenz

Rezension
undefined / . - undefined, undefined

Forschungsvorhaben

Organisationseinheiten

Zeitschriftenheft

Zugehörige Datensätze in KOPS

Zitieren

ISO 690KRAPP, Lothar Sebastian, 2024. Embedding the prime model of real exponentiation into o-minimal exponential fields. In: Bulletin of the London Mathematical Society. Wiley. 2024, 56(3), S. 907-913. ISSN 0024-6093. eISSN 1469-2120. Verfügbar unter: doi: 10.1112/blms.12972
BibTex
@article{Krapp2024-03Embed-68933,
  year={2024},
  doi={10.1112/blms.12972},
  title={Embedding the prime model of real exponentiation into o-minimal exponential fields},
  number={3},
  volume={56},
  issn={0024-6093},
  journal={Bulletin of the London Mathematical Society},
  pages={907--913},
  author={Krapp, Lothar Sebastian}
}
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/68933">
    <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2024-01-05T08:10:37Z</dcterms:available>
    <dcterms:abstract>Motivated by the decidability question for the theory of real exponentiation and by the Transfer Conjecture for o-minimal exponential fields, we show that, under the assumption of Schanuel's Conjecture, the prime model of real exponentiation is embeddable into any o-minimal exponential field, where the embedding is not necessarily elementary. This is a consequence of an unconditional model theoretic embeddability result that we obtain by applying Kőnig's Lemma.</dcterms:abstract>
    <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
    <dcterms:rights rdf:resource="http://creativecommons.org/licenses/by-nc-nd/4.0/"/>
    <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/68933/1/Krapp_2-5ai4i6waxtbt6.pdf"/>
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/39"/>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/39"/>
    <dc:contributor>Krapp, Lothar Sebastian</dc:contributor>
    <dc:rights>Attribution-NonCommercial-NoDerivatives 4.0 International</dc:rights>
    <dc:creator>Krapp, Lothar Sebastian</dc:creator>
    <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/68933"/>
    <dcterms:title>Embedding the prime model of real exponentiation into o-minimal exponential fields</dcterms:title>
    <foaf:homepage rdf:resource="http://localhost:8080/"/>
    <dcterms:issued>2024-03</dcterms:issued>
    <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2024-01-05T08:10:37Z</dc:date>
    <dc:language>eng</dc:language>
    <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/68933/1/Krapp_2-5ai4i6waxtbt6.pdf"/>
  </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
Ja
Diese Publikation teilen