Ben Ellison

Publication Activity (10 Years)

Years Active: 2007-2008
Publications (10 Years): 0

Publications

Ben Ellison, Jonathan Fleischmann, Dan McGinn, Wim Ruitenburg
Quantifier Elimination for a Class of Intuitionistic Theories. Notre Dame J. Formal Log. 49 (3) (2008)
Ben Ellison, Jonathan Fleischmann, Dan McGinn, Wim Ruitenburg
Kripke submodels and universal sentences. Math. Log. Q. 53 (3) (2007)