On the quantifier complexity of definable canonical henselian valuations

No Thumbnail Available
Files
There are no files associated with this item.
Date
2014
Authors
Jahnke, Franziska
Editors
Contact
Journal ISSN
Electronic ISSN
ISBN
Bibliographical data
Publisher
Series
URI (citable link)
DOI (citable link)
ArXiv-ID
1411.6844
International patent number
Link to the license
oops
EU project number
Project
Open Access publication
Collections
Mathematik und Statistik
Restricted until
Title in another language
Research Projects
Organizational Units
Journal Issue
Publication type
Preprint
Publication status
Published in
Abstract
We discuss definability in the language of rings without parameters of the unique canonical henselian valuation of a field. We show that in most cases where the canonical henselian valuation is definable, it is already definable by a universal-existential or an existential-universal formula.
Summary in another language
Subject (DDC)
510 Mathematics
Keywords
Conference
Review
undefined / . - undefined, undefined. - (undefined; undefined)
Cite This
ISO 690FEHM, Arno, Franziska JAHNKE, 2014. On the quantifier complexity of definable canonical henselian valuations
BibTex
@unpublished{Fehm2014quant-31210,
  year={2014},
  title={On the quantifier complexity of definable canonical henselian valuations},
  author={Fehm, Arno and Jahnke, Franziska}
}
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/31210">
    <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2015-06-19T07:45:20Z</dc:date>
    <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/31210"/>
    <dcterms:issued>2014</dcterms:issued>
    <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2015-06-19T07:45:20Z</dcterms:available>
    <dc:contributor>Fehm, Arno</dc:contributor>
    <dc:creator>Fehm, Arno</dc:creator>
    <dcterms:title>On the quantifier complexity of definable canonical henselian valuations</dcterms:title>
    <dc:creator>Jahnke, Franziska</dc:creator>
    <foaf:homepage rdf:resource="http://localhost:8080/"/>
    <dcterms:abstract xml:lang="eng">We discuss definability in the language of rings without parameters of the unique canonical henselian valuation of a field. We show that in most cases where the canonical henselian valuation is definable, it is already definable by a universal-existential or an existential-universal formula.</dcterms:abstract>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/39"/>
    <dc:language>eng</dc:language>
    <dc:contributor>Jahnke, Franziska</dc:contributor>
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/39"/>
    <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
  </rdf:Description>
</rdf:RDF>
Internal note
xmlui.Submission.submit.DescribeStep.inputForms.label.kops_note_fromSubmitter
Contact
URL of original publication
Test date of URL
Examination date of dissertation
Method of financing
Comment on publication
Alliance license
Corresponding Authors der Uni Konstanz vorhanden
International Co-Authors
Bibliography of Konstanz
Yes
Refereed