Given a set A in the unit interval and associated Lebesgue measure ?, it is natural question whether we may (in some sense) compute ? ( ) terms of A. Under moniker theoretic uniformity, Tanaka Sacks have (independently) provided positive answer for well-known class hyperarithmetical sets reals, basis theorem such measure. The are exactly computable functional 2 E, sense Kleene’s S1–S9. In turn,...

This article examines a previously undocumented way in which the presence of more than two interlocutors matters for the organization of repair (Schegloff, Jefferson, & Sacks, 1977): when the repair initiation is addressed to—and thereby selects as the next speaker—somebody other than the speaker of the trouble-source turn (“other”-selection, for short). The speaker of the trouble-source turn i...

From my perspective as a mechanical designer and developer of theory and computation tools for mechanical design, Sacks and Doyle have provided a convincing and overdue challenge to qualitative simulation. SPQR is interesting, but involves a reduction from the expressive power of differential equations. Engineers generally need more rather than less expressive power; I am unaware of any success...