Thomas Hardy's Wessex Thomas Hardy's Wessex The English author Thomas Hardy set all of his major novels in the south and southwest of England. He named the area "Wessex" after the medieval Anglo-Saxon kingdom that existed in this part of that country prior to the unification of England by Æthelstan. Although the places that appear in his novels actually exist, in many cases he gave the place a fictional name. For example, Hardy's home town of Dorchester is called Casterbridge in his books, notably in "The Mayor of Casterbridge". In an 1895 preface to the novel "Far From the Madding Crowd" he described
S (set theory) a set "x" whose members are just those sets satisfying "A"("y"). The role of "Spec" in S is analogous to that of the axiom schema of specification of Z. Boolos’s name for Zermelo set theory minus extensionality was "Z-". Boolos derived in S all axioms of "Z-" except the axiom of choice. The purpose of this exercise was to show how most of conventional set theory can be derived from the iterative conception of set, assumed embodied in S. Extensionality does not follow from the iterative conception, and so is not a theorem of S. However, S + Extensionality is