In this article, we study the lattice of Lawvere-Tierney topologies on Hyland’s effective topos. For purpose, introduce a new computability-theoretic reducibility notion, which is common extension notions Turing and generalized Weihrauch reducibility. Based work by Lee van Oosten [Ann. Pure Appl. Logic 164 (2013), pp. 866-883], utilize notion for providing concrete description As an application...

Even though the future of work has become a significant public concern, political theory not yet considered to be central concept within discipline. The five papers in this symposium provide range perspectives on what it means take seriously thought. This introduction will give an account why should as important by theorists, contextualize broader landscape into which these intervene (character...