VLDB 2026 Research / reviewers in the wild / expert
Nigel Pynn-Coates
dblp:428/2252
· DBLP profile ↗
2ranked-venue papers
2as first author
2since 2021 · last 2027
0000-0001-6649-5518ORCID · reported
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 2 · 2 first-author · 2 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2027 | Dimension and topology in transserial tame pairs
Nigel Pynn-Coates |
Ann. Pure Appl. Log. | 1 |
| 2025 | Model Theory of differential-Henselian pre- H -FieldsabstractAbstract Pre- H -fields are ordered valued differential fields satisfying some basic axioms coming from transseries and Hardy fields. We study pre- H -fields that are differential-Hensel–Liouville closed, that is, differential-henselian, real closed, and closed under exponential integration, establishing an Ax–Kochen/Ershov theorem for such structures: the theory of a differential-Hensel–Liouville closed pre- H -field is determined by the theory of its ordered differential residue field; this result fails if the assumption of closure under exponential integration is dropped. In a two-sorted setting with one sort for a differential-Hensel–Liouville closed pre- H -field and one sort for its ordered differential residue field, we eliminate quantifiers from the pre- H -field sort, from which we deduce that the ordered differential residue field is purely stably embedded and if it has NIP, then so does the two-sorted structure. Similarly, the one-sorted theory of differential-Hensel–Liouville closed pre- H -fields with closed ordered differential residue field has quantifier elimination, is the model completion of the theory of pre- H -fields with gap $0$ , and is complete, distal, and locally o-minimal. Nigel Pynn-Coates |
J. Symb. Log. | 1 |