Studia Logica: An International Journal for Symbolic Logic, Vol. 109, No. 4 (August 2021), pp. 829-857 (29 pages) Positive monotone modal logic is the negation- and implication-free fragment of ...
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.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback