In 1998, a chapter on realizability by his hand came out in the Handbook of Proof Theory. Characteristically, Anne’s text had been finished a few years before, faithfully meeting his deadline, but delays by other authors kept him updating, somewhat grumblingly, with all new results in the area. What he published had to be the complete state of the art.
Johan van Benthem and Dick de Jongh: Anne Troelstra (1939-2019)
Enjoy your day and don't be too grown-uppy!
Anything is a bedroom if you sleep there.
Reading behavior is also tied to gender: female respondents report having read male and female authors, with a slight preference for the former. Male respondents mainly report to have read male authors. The men who do read female authors, give higher scores to their novels than female respondents do; female respondents give lower average scores to works by female authors than male respondents. The idea that more female judges would benefit female authors, is thus most likely incorrect. Respondents were also asked to motivate one rating of a novel. Again, there are differences between female and male authors — even when I only isolate the female respondents. The first are judged according to content, the second to structural and formal characteristics.
