On the quantifier complexity of definable canonical henselian valuations

Zitieren

Dateien zu dieser Ressource

Dateien Größe Format Anzeige

Zu diesem Dokument gibt es keine Dateien.

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>

Das Dokument erscheint in:

KOPS Suche


Stöbern

Mein Benutzerkonto