91 search results - page 12 / 19 » aml 2007 |
AML
2002
13 years 9 months ago
2002
Continuing the investigations of X. Yu and others, we study the role of set existence axioms in classical Lebesgue measure theory. We show that pairwise disjoint countable additivi...
AML
2005
13 years 9 months ago
2005
We perform a proof-theoretical investigation of two modal predicate logics: global intuitionistic logic GI and global intuitionistic fuzzy logic GIF. These logics were introduced b...
AML
2002
13 years 9 months ago
2002
We present a self-contained exposition of the basic aspects of simple theories while developing the fundamentals of forking calculus. We expound also the deeper aspects of S. Shela...
AML
2007
13 years 10 months ago
2007
We study countable universes similar to a free action of a group G. It turns out that this is equivalent to the study of free semi-actions of G, with two universes being transforma...
AML
2006
13 years 10 months ago
2006
Abstract Let L be a propositional language with standard Boolean connectives plus two modalities: an S4-ish topological modality and a temporal modality , understood as `next'...