Definable Henselian Valuation Rings

Cite This

Files in this item

Checksum: 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. Available under: doi: 10.1017/jsl.2014.52

@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:dcterms="" xmlns:dc="" xmlns:rdf="" xmlns:bibo="" xmlns:dspace="" xmlns:foaf="" xmlns:void="" xmlns:xsd="" > <rdf:Description rdf:about=""> <dcterms:hasPart rdf:resource=""/> <dcterms:rights rdf:resource=""/> <dc:creator>Prestel, Alexander</dc:creator> <dcterms:available rdf:datatype="">2016-02-10T09:06:12Z</dcterms:available> <dc:contributor>Prestel, Alexander</dc:contributor> <dc:date rdf:datatype="">2016-02-10T09:06:12Z</dc:date> <dc:language>eng</dc:language> <dcterms:isPartOf rdf:resource=""/> <bibo:uri rdf:resource=""/> <dcterms:issued>2015</dcterms:issued> <dcterms:title>Definable Henselian Valuation Rings</dcterms:title> <dc:rights>terms-of-use</dc:rights> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dspace:hasBitstream rdf:resource=""/> <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> <dspace:isPartOfCollection rdf:resource=""/> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> </rdf:Description> </rdf:RDF>

Downloads since Feb 10, 2016 (Information about access statistics)

Prestel_0-319892.pdf 247

This item appears in the following Collection(s)

Search KOPS


My Account