Euripides’ Critique of Athletics in Autolykus, fr. 282 N2

[ES] Son numerosos los testimonios, tanto en la literatura como en el arte, que dan cuenta del importante papel que el tema del deporte tuvo en la Antigüedad. Aunque la mayor parte de ellos ofrecen una imagen positiva de la figura del atleta, no faltaron tampoco las críticas a su modo de vida por parte de poetas, filósofos y médicos, que mostraban su desacuerdo ante un régimen que ponía en peligro su salud y consideraban escandalosa la excesiva valoración social de la que gozaban. El fr. 282 N2, perteneciente al drama satírico Autólico de Eurípides, resulta muy representativo en este sentido al hacerse eco de todos estos puntos de vista.

An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction

23 p. -- An extended abstract of this work appears in the proceedings of the 2012 ACM/IEEE Symposium on Logic in Computer Science

Beyond Q-Resolution and Prenex Form: a Proof System for Quantified Constraint Satisfaction

We consider the quanti fied constraint satisfaction problem (QCSP) which is to decide, given a structure and a first-order sentence (not assumed here to be in prenex form) built from conjunction and quanti fication, whether or not the sentence is true on the structure. We present a proof system for certifying the falsity of QCSP instances and develop its basic theory; for instance, we provide an algorithmic interpretation of its behavior. Our proof system places the established Q-resolution proof system in a broader context, and also allows us to derive QCSP tractability results.