British regional literature of London and the south of England. John Cowper Powys has been seen as a successor to Thomas Hardy, and "Wolf Solent", "A Glastonbury Romance" (1932), along with "Weymouth Sands" (1934) and "Maiden Castle" (1936), are often referred to as his Wessex novels. As with Hardy's novels, the landscape plays a major role in Powys's works, and an elemental philosophy is important in the lives of his characters. Powys's first novel "Wood and Stone" was dedicated to Thomas Hardy. "Maiden Castle", the last of the Wessex novels, is set in Dorchester, Thomas Hardy's Casterbridge, and which he intended to be
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