Indian English literature continued to write till his death. He was discovered by Graham Greene in the sense that the latter helped him find a publisher in England. Greene and Narayan remained close friends till the end. Similar to the way Thomas Hardy used Wessex, Narayan created the fictitious town of Malgudi where he set his novels. Some criticise Narayan for the parochial, detached and closed world that he created in the face of the changing conditions in India at the times in which the stories are set. Others, such as Greene, however, feel that through Malgudi they could vividly understand the Indian
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