The Journal of Symbolic Logic (JSL) was founded in 1936 and it has become the leading research journal in the field. It is issued quarterly. Volume 71, being published during 2006, will consist of ...

The study of computable structures and equivalence relations lies at the intersection of computability theory, algebra and logic, and provides essential insights into the classification and decision ...

In this paper precomplete equivalence relations are introduced in dominical and recursion categories. After recalling definitions in $\S2$, in $\S3$ an analogue of Ersov's Fixed Point Theorem is ...

Equivalence‐based instruction (EBI) is an instructional methodology grounded in the principles of stimulus equivalence, whereby teaching a limited set of direct relations gives rise to the emergence ...