published in Annals of Pure and Applied Logic Journal Mathematical Theory and Computational Practice, Springer Journal