?? (peculiar ... ?? ...) relationship between ellerman's "partition logic" and "unary predicate logic" ?? ...

?? binariness of equality .... ???? ....

?? theory where model is point of given stone space ... ???

?? theory where model is set over (?? or surjectively ?? ... ??? or injectively ?? ...) given stone space ... ?? ...