Abstract The late antique rabbis of Roman Palestine were seasoned jurists, experts on exegesis and legal interpretation. Yet rabbinic literature does not theorize. A positive account conceptions language therefore remains a desideratum. I choose an alternative approach. Legal reasoning relies to ground the determinacy law. Jurists must thus confront when it threatens undermine latter. Conversel...

We show that the semi-linear ordering principle for continuous functions implies the determinacy of all Wadge and Lipschitz games. c © 2006 Elsevier B.V. All rights reserved.

This chapter describes, following the historical development, the investigation of large cardinal hypotheses using the method of forcing. Large cardinal hypotheses, also regarded as strong axioms of infinity, have stimulated a vast mainstream of modern set theory, and William Mitchell’s chapter in this volume deals with their investigation through inner models, Menachem Kojman’s chapter with th...

Software is becoming ubiquitous in everyday life, from todays smartphones and servers to tomorrows self-driving cars, drones, and Internet of Things devices. However, the distributed, always-on nature of this software poses significant new challenges for reliability, security, and programmer productivity. Better programming tools are needed to enable next-generation applications to achieve thei...

We investigate the reverse mathematical strength of Turing determinacy up to Σ5 which is itself not provable in second order arithmetic.