First Author:   Ram Sewak Dubey Montclair State University dubeyr@montclair.edu         Second Author: Giorgio Laguzzi University of Freiburg in the Mathematical Logic Group giorgio.laguzzi.1984@gmail.com