2 papers
math.LO2014
A Sequent Calculus for Dynamic Topological Logic
Samuel Reid
We introduce a sequent calculus for the temporal-over-topological fragment $\textbf{DTL}_{0}^{\circ * \slash \Box}$ of dynamic topological logic , prove soundness sem…
math.AG2014
General Linear and Symplectic Nilpotent Orbit Varieties
Samuel Reid
The condition of nilpotency is studied in the general linear Lie algebra and the symplectic Lie algebra over an alg…