My charge in this chapter is to set out the positive case supporting massively modular models of the human mind. 1 Unfortunately, there is no generally accepted understanding of what a massively modular model of the mind is. So at least some of our discussion will have to be terminological. I shall begin by laying out the range of things that can be meant by " modularity. " I shall then adopt a...

We prove a q-analog of a classical binomial congruence due to Ljunggren which states that ap bp ! ≡ a b ! modulo p for primes p > 5. This congruence subsumes and builds on earlier congruences by Babbage, Wolstenholme and Glaisher for which we recall existing q-analogs. Our congruence generalizes an earlier result of Clark. Résumé. Nous démontrons un q-analogue d’une congruence binomiale classiq...

The definition of open bisimilarity on the χ-processes does not give rise to a sensible relation on the χ-processes with the mismatch operator. The paper proposes ground open congruence as a principal open congruence on the χ-processes with the mismatch operator. The algebraic properties of the ground congruence is studied. The paper also takes a close look at barbed congruence. This relation i...