A theory of two-sided containers, denoted ZF2, is introduced. This theory is then shown to be synonymous to ZF in the sense of Visser (2006), via an interpretation involving Quine pairs. Several subtheories of ZF2, and their relationships with ZF, are also examined. We include a short discussion of permutation models (in the sense of Rieger–Bernays) over ZF2. We close with highlighting some areas for future research, mostly motivated by the need to understand non-wellfounded games.

This volume looks outward to the twenty-first century and to the dynamics of this first truly global age. It asks the fundamental question: how might human societies live? In contrast to the orthodoxies of academic Philosophy and International Relations in much of the twentieth century, which marginalised or rejected the study of ethics, the contributors here believe that there is nothing more political than ethics, and therefore deserving of scholarly analysis. By exploring some of the oldest questions about duties and (...) obligations within and beyond humanly constructed boundaries, the essays help us ponder the most profound question in world politics today: who will the twenty-first century be for? (shrink)

This article presents a computational model of the learning of diagnostic knowledge, based on observations of human operators engaged in real-world troubleshooting tasks. We present a model of problem solving and learning in which the reasoner introspects about its own performance on the problem-solving task, identifies what it needs to learn to improve its performance, formulates learning goals to acquire the required knowledge, and pursues its learning goals using multiple learning strategies. The model is implemented in a computer system which (...) provides a case study based on observations of troubleshooting operators and protocol analysis of the data gathered in the test area of an operational electronics manufacturing plant. The model not only addresses issues in human learning, but, in addition, is computationally justified as a uniform, extensible framework for multistrategy learning. (shrink)

The multiple activities of the RecA protein in DNA metabolism have inspired over a decade of research in dozens of laboratories around the world. This effort has nevertheless failed to yield an understanding of the mechanism of several RecA protein‐mediated processes, the DNA strand exchange reactions prominent among them. The major factors impeding progress are the invalid constraints placed upon the problem by attempting to understand RecA protein‐mediated DNA strand exchange within the context of an inappropriate biological paradigm – namely, (...) homologous genetic recombination as a mechanism for generating genetic diversity. In this essay I summarize genetic and biochemical data demonstrating that RecA protein evolved as the central component of a recombinational DNA repair system, with the generation of genetic diversity being a sometimes useful byproduct, and review the major in vitro activities of RecA protein from a repair perspective. While models proposed for both recombination and recombinational repair often make use of DNA strand cleavage and transfer steps that appear to be quite similar, the molecular and thermodynamic requirements of the two processes are very different. The recombinational repair function provides a much more logical and informative framework for thinking about the biochemical properties of RecA and the strand exchange reactions it facilitates. (shrink)