Resumen de The complexity of the dependence operator

Paul J. Welch

• We show that Leitgeb’s dependence operator of Leitgeb (Journal of Philosophical Logic, 34, 155–192, 2005) is a Π 1 1 -operator and that this is best possible