AN AX-KOCHEN-ERSHOV THEOREM FOR MONOTONE DIFFERENTIAL-HENSELIAN FIELDS

AN AX-KOCHEN-ERSHOV THEOREM FOR MONOTONE DIFFERENTIAL-HENSELIAN FIELDS

Scanlon [5] proves Ax-Kochen-Ershov type results for differential-henselian monotone valued differential fields with many constants. We show how to get rid of the condition with many constants.

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:The Journal of symbolic logic 2018-06, Vol.83 (2), p.804-816
1. Verfasser: HAKOBYAN, TIGRAN
Format: Artikel
Sprache:eng
Schlagworte:
Logic
Mathematics
Philosophy
Valuation
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Scanlon [5] proves Ax-Kochen-Ershov type results for differential-henselian monotone valued differential fields with many constants. We show how to get rid of the condition with many constants.
ISSN:0022-4812
1943-5886
DOI:10.1017/jsl.2017.64