Kripke recently suggested viewing the intuitionistic continuum as an expansion in time of a definite classical continuum. We prove the classical consistency of a three-sorted intuitionistic formal system IC, simultaneously extending Kleene’s intuitionistic analysis I and a negative copy C° of the classically correct part of I, with an “end of time” axiom ET asserting that no choice sequence can be guaranteed not to be pointwise equal to a definite (classical or lawlike) sequence. “Not every sequence is pointwise equal to a definite sequence” is independent of IC. The proofs are by Crealizability interpretations based on classical ω-models ${\cal M}$ = $\left( {\omega ,{\cal C}} \right)$ of C°.

Background: Recent research has indicated that individuals with social interaction anxiety make biased interpretations of positive social interactions, with greater general apprehension in response to such events and more negative predictions about the future. There has also been some preliminary evidence for a second facet of interpretation bias, namely a failure to accept others’ positive reactions at face value, but this has so far not been adequately studied. Method: The present study developed a new measure of this “discounting” dimension and utilized a nonclinical sample of undergraduate students to provide an initial analysis of the scale. Results: Results provide early support for the psychometric properties of our scale, and indicate that discounting mediates the relationship between social interaction anxiety and low positive affect, over and above the previously studied aspect of positive event interpretation bias. Conclusions: The implications for treatment interventions and further research are discussed.