Definable Henselian Valuation Rings

Zitieren

Dateien zu dieser Ressource

Prüfsumme: MD5:fae1c5f2a1ff0da1783e2f1c1c300b7c

PRESTEL, Alexander, 2015. Definable Henselian Valuation Rings. In: The Journal of Symbolic Logic. 80(04), pp. 1260-1267. ISSN 0022-4812. eISSN 1943-5886

@article{Prestel2015Defin-32915, title={Definable Henselian Valuation Rings}, year={2015}, doi={10.1017/jsl.2014.52}, number={04}, volume={80}, issn={0022-4812}, journal={The Journal of Symbolic Logic}, pages={1260--1267}, author={Prestel, Alexander} }

<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:bibo="http://purl.org/ontology/bibo/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:dcterms="http://purl.org/dc/terms/" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > <rdf:Description rdf:about="https://kops.uni-konstanz.de/rdf/resource/123456789/32915"> <dc:creator>Prestel, Alexander</dc:creator> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2016-02-10T09:06:12Z</dcterms:available> <dc:contributor>Prestel, Alexander</dc:contributor> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2016-02-10T09:06:12Z</dc:date> <dc:language>eng</dc:language> <dcterms:rights rdf:resource="http://nbn-resolving.de/urn:nbn:de:bsz:352-20150914100631302-4485392-8"/> <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/32915"/> <dcterms:issued>2015</dcterms:issued> <dcterms:title>Definable Henselian Valuation Rings</dcterms:title> <dcterms:abstract xml:lang="eng">We give model theoretic criteria for the existence of ∃∀ and ∀∃- formulas in the ring language to define uniformly the valuation rings O of models (K,O) of an elementary theory Σ of henselian valued fields. As one of the applications we obtain the existence of an ∃∀-formula defining uniformly the valuation rings O of valued henselian fields (K,O) whose residue class field k is finite, pseudofinite, or hilbertian. We also obtain ∀∃-formulas φ2 and φ4 such that φ2 defines uniformly k[[t]] in k(t) whenever k is finite or the function field of a real or complex curve, and φ4 replaces φ2 if k is any number field.</dcterms:abstract> </rdf:Description> </rdf:RDF>

Dateiabrufe seit 10.02.2016 (Informationen über die Zugriffsstatistik)

Prestel_0-319892.pdf 8

Das Dokument erscheint in:

KOPS Suche


Stöbern

Mein Benutzerkonto