Definability of henselian valuations by conditions on the value group

Cite This

Files in this item

Files Size Format View

There are no files associated with this item.

KRAPP, Lothar Sebastian, Salma KUHLMANN, Moritz LINK, 2022. Definability of henselian valuations by conditions on the value group. In: The Journal of Symbolic Logic. Cambridge University Press (CUP). 31(11). ISSN 0022-4812. eISSN 1943-5886. Available under: doi: 10.1017/jsl.2022.34

@article{Krapp2022-06-13Defin-57827, title={Definability of henselian valuations by conditions on the value group}, year={2022}, doi={10.1017/jsl.2022.34}, number={11}, volume={31}, issn={0022-4812}, journal={The Journal of Symbolic Logic}, author={Krapp, Lothar Sebastian and Kuhlmann, Salma and Link, Moritz} }

<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/rdf/resource/123456789/57827"> <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/57827"/> <dc:rights>terms-of-use</dc:rights> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dc:language>eng</dc:language> <dcterms:abstract xml:lang="eng">Given a henselian valuation, we study its definability (with and without parameters) by examining conditions on the value group. We show that any henselian valuation whose value group is not closed in its divisible hull is definable in the language of rings, using one parameter. Thereby we strengthen known definability results. Moreover, we show that in this case, one parameter is optimal in the sense that one cannot obtain definability without parameters. To this end, we present a construction method for a $t$-henselian non-henselian ordered field elementarily equivalent to a henselian field with a specified value group.</dcterms:abstract> <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/> <dc:creator>Krapp, Lothar Sebastian</dc:creator> <dc:contributor>Kuhlmann, Salma</dc:contributor> <dcterms:title>Definability of henselian valuations by conditions on the value group</dcterms:title> <dcterms:issued>2022-06-13</dcterms:issued> <dc:contributor>Krapp, Lothar Sebastian</dc:contributor> <dc:contributor>Link, Moritz</dc:contributor> <dc:creator>Kuhlmann, Salma</dc:creator> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/39"/> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/39"/> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2022-06-22T15:10:48Z</dcterms:available> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2022-06-22T15:10:48Z</dc:date> <dc:creator>Link, Moritz</dc:creator> </rdf:Description> </rdf:RDF>

This item appears in the following Collection(s)

Search KOPS


Browse

My Account