1 citations · 2 across the 5 of their papers we have counts for
6 papers
Forking in valued fields and related structures
Akash Hossain
This thesis is a contribution to the model theory of valued fields. We study forking in valued fields and some of their reducts. We focus particularly on pseudo-local fields, the u…
Transfer principles for forking and dividing in expansions of pure short exact sequences of Abelian groups
Akash Hossain
In their article about distality in valued fields, Aschenbrenner, Chernikov, Gehret and Ziegler proved resplendent Ax-Kochen-Ershov principles for quantifier elimination in pure sh…
Forking and invariant types in regular ordered Abelian groups
Akash Hossain
We give a characterization of forking in regular ordered Abelian groups. In particular, we prove that the type of C over AB does not fork over A if and only if the type over AB of…
Extension bases in Henselian valued fields
Akash Hossain
We study the behaviour of forking in valued fields, and we give several sufficient conditions for parameter sets in a Henselian valued field of residue characteristic zero to be an…
QCTL model-checking with QBF solvers
A. Hossain, F. Laroussinie
Quantified CTL (QCTL) extends the temporal logic CTL with quantifications over atomic propositions. This extension is known to be very expressive: QCTL allows us to express complex…
From Quantified CTL to QBF
Akash Hossain, Francois Laroussinie
QCTL extends the temporal logic CTL with quantifications over atomic propositions. This extension is known to be very expressive: QCTL allows us to express complex properties over…