keywords Logic Pfaffian function Rolle leaf Science & Technology Science & Technology - Other Topics o-minimalstructure