4 papers
Separation and Gluing of Explanations on Sites of Dynamical Systems
Paul Z. Wang
We construct a Grothendieck site whose objects are Mealy machines over definable sets in an o-minimal structure and whose coverings are jointly surjective families of definable ope…
Nondeterministic Behaviours in Double Categorical Systems Theory
Paul Zhongpeng Wang
In this paper, we build double theories capturing the idea of nondeterministic behaviors and trajectories. Following Libkind and Myers' Double Operadic Theory of Systems, we constr…
Residually Dominated Groups in Henselian Valued Fields of Equicharacteristic Zero
Dicle Mutlu, Paul Z. Wang
We introduce \emph{residually dominated groups} in pure henselian valued fields of equicharacteristic zero, as an analogue of stably dominated groups introduced by Hrushovski and R…
On groups and fields interpretable in fields
Paul Z. Wang
This paper aims at developing model-theoretic tools to study interpretable fields and definably amenable groups, mainly in or settings. An abstract…