We show that if we add any number of Cohen reals to the ground model then, in the generic extension, a locally compact scattered space has at most (2 ℵ0) V many levels of size ω. We also give a complete ZF C characterization of the cardinal sequences of regular scattered spaces. Although the classes of the regular and of the 0-dimensional scattered spaces are different, we prove that they have ...

The lower bound on the number of n-variable balanced symmetric functions over finite fields GF(p) presented in [1] is improved in this paper.

Over the last decennia, many systems for formal argumentation have been defined. The problem, however, is that these systems do not always satisfy reasonable properties. In this paper, we focus on the particular property that a conflict between two arguments cannot keep other unrelated arguments from becoming justified. Although this property appears obvious, it is in fact violated by several e...

This paper presents strategies and conditions for non-failing persuasion using a dialogue model using argumentation. A novel concept of the predicted knowledge of the other agent participating in the dialogue is introduced. In the dialogue model, an agent’s knowledge is updated as the dialogue proceeds; an argumentation framework is constructed from the current knowledge; and only the content o...

In this paper, the theory of generic structures is put in a general, unified framework. The framework is applied to Hrushovski’s [8] universal domains and Poizat’s [11] bicoloured fields. Of particular interest will be the conditions under which generic structures are saturated.

Article history: Received 8 May 2015 Received in revised form 16 December 2016 Accepted 23 December 2016 Available online 30 December 2016

Translations between different nonmonotonic formalisms always have been an important topic in the field, in particular to understand the knowledgerepresentation capabilities those formalisms offer. We provide such an investigation in terms of different semantics proposed for abstract argumentation frameworks, a nonmonotonic yet simple formalism which received increasing interest within the last...

We prove that the range of a symmetric matrix over GF (2) always contains its diagonal. This is best possible in several ways, for example GF (2) cannot be replaced by any other field.