Comparison of fine structural mice via coarse iteration

Let M be a fine structural mouse. Let D be a fully backgrounded L[E]-construction computed inside an iterable coarse premouse S. We describe a process comparing M with D, through forming iteration trees on M and on S. We then prove that this process succeeds

Developments in the theory and practice of cognitive and behavioural therapies

In 1993 Behavioural and Cognitive Psychotherapy published a supplement edited by Ann Hackmann with the title “Behavioural and Cognitive Psychotherapies: Past History, Current Applications and Future Registration Issues”. This was the journal's first ever supplement and it provided an overview of the state of behavioural and cognitive psychotherapies at that time. It was intended to provide a context for discussions concerning the future of the field, and as Paul Salkovskis said in his editorial, “[the supplement]. . .will be an important reference source for years to come.

Martin's conjecture, arithmetic equivalence, and countable Borel equivalence relations

There is a fascinating interplay and overlap between recursion theory and descriptive set theory. A particularly beautiful source of such interaction has been Martin's conjecture on Turing invariant functions. This longstanding open problem in recursion theory has connected to many problems in descriptive set theory, particularly in the theory of countable Borel equivalence relations. In this paper, we shall give an overview of some work that has been done on Martin's conjecture, and applications that it has had in descriptive set theory. We will present a long unpublished result of Slaman and Steel that arithmetic equivalence is a universal countable Borel equivalence relation. This theorem has interesting corollaries for the theory of universal countable Borel equivalence relations in general. We end with some open problems, and directions for future research.Comment: Corrected typo

Freedom to Hear: A Political Justification of the First Amendment

Historical analysis of the first amendment reveals that it was adopted primarily to safeguard and promote self-government through the communication of political ideas and attitudes among citizens. The author argues that these political underpinnings support the recognition of a freedom to hear corresponding to the freedoms of speech and press. Implementation of this freedom, recognizing its political basis, would eliminate many infringements on activity the Framers intended to protect. A freedom to hear would also provide a useful analytic tool in alleviating much of the repressive influence on political activity exerted by the private sector