1,449 research outputs found
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
- …