KOPS - The Institutional Repository of the University of Konstanz

On the quantifier complexity of definable canonical henselian valuations

On the quantifier complexity of definable canonical henselian valuations

Cite This

Files in this item

Files Size Format View

There are no files associated with this item.

FEHM, Arno, Franziska JAHNKE, 2014. On the quantifier complexity of definable canonical henselian valuations

@unpublished{Fehm2014quant-31210, title={On the quantifier complexity of definable canonical henselian valuations}, year={2014}, author={Fehm, Arno and Jahnke, Franziska} }

<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/31210"> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2015-06-19T07:45:20Z</dcterms:available> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/39"/> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/39"/> <dc:contributor>Fehm, Arno</dc:contributor> <dc:creator>Jahnke, Franziska</dc:creator> <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> <dc:language>eng</dc:language> <dcterms:title>On the quantifier complexity of definable canonical henselian valuations</dcterms:title> <dc:creator>Fehm, Arno</dc:creator> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2015-06-19T07:45:20Z</dc:date> <dcterms:issued>2014</dcterms:issued> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/31210"/> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dc:contributor>Jahnke, Franziska</dc:contributor> </rdf:Description> </rdf:RDF>

This item appears in the following Collection(s)

Search KOPS


Browse

My Account