We construct a model of ZF in which there is a measurable cardinal but there is no normal ultrafilter over it.

In this paper we consider the notion of deadlines in the context of dense time. We show that obligations and actions are essential elements for the speciication of deadlines. These notions can be relatively easy combined when a discrete temporal framework is used. However, we show that, once a dense time is introduced , several problems appear. In solving these problems we cannot use the same f...

The aim of this paper is to provide a logical framework which enables reasoning about institutions and their dynamics. In our approach an institution is grounded on the acceptances of its members. We devote special emphasis to the role of legislator. We characterize the legislator as the role whose function is the creation and the modification of legal facts (e.g. permissions, obligations, etc....

We prove the following Main Theorem: ZF + AD + V L(R) =>DC. As a corollary we have that Con(ZF + AD) Con(ZF + AD + DC). Combined with the result of Woodin that Con(ZF + AD) Con(ZF + AD + AC') it follows that DC (as well as AC') is independent relative to ZF + AD. It is finally shown (jointly with H. Woodin) that ZF + AD + DCR, where DCR is DC restricted to reals, implies the consistency of ZF +...

s -----------------------------------------------------------------------------------------------------------------51 Poster Session ---------------------------------------------------------------------------------------------------------254 Index of Participants --------------------------------------------------------------------------------------------------266

! " $# % & ' ( % ) * + , . 0/ 1 % 2 $3546 7 384( % 9 : + * ;< >=> ?= , 19 % " A@ B 4 3 C A :DA 2 :3 1 EF G 19 B '3 H3 6 : + JILKM NPO Q R384 #+ ' S " T U#+3 L;V=S19 : 2 '3 T T % W 19 X384Y R ZL '3 1 :3L#+ + Q384Y= : 2 ,=> 2 '3 [4+ :3 E\ . U3S@'] # ^ %E[ _=A LN!O . :3+ .3 (# % & ' ` % # 1 S F + aD, % Y A " ,3 0 % ! S# 21 ; =A !#+3 _;b= 19 2 '3 c384 . F=S S NdO e % EF 2 '# f384 % hgW : 2 iQ R . ^...

In this paper we present an abstract argumentation framework for the support of agreement processes in agent societies. This framework takes into account arguments, attacks between them and the social contex of the agents that put forward arguments. Then, we define the semantics of the framework, providing a mechanism to evaluate arguments in view of other arguments posed in the argumentation p...

Let M be a countable model of ZF~ . There exists a family & of 2 models of ZF each obtained from M by adjoining an A/-generic family of 2W Cohen reals, such that no two distinct models in !F have a common extension to a model of ZF~ with the same ordinals.