On the 0-1 law for the class of existential second order minimal Godel sentences with equality | IEEE Conference Publication | IEEE Xplore