2 search results - page 1 / 1 » Vitali's Theorem and WWKL |
AML
2002
13 years 7 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...
LICS
2003
IEEE
14 years 22 days ago
2003
IEEE
We present decidability results for the verification of cryptographic protocols in the presence of equational theories corresponding to xor and Abelian groups. Since the perfect ...