Learn More
I present a notion of invariance under arbitrary surjective mappings for operators on a relational finite type hierarchy generalizing the so called Tarski-Sher criterion for logicality and I(More)