3353 search results - page 71 / 671 » Laver and set theory |
JSYML
2002
14 years 9 months ago
2002
In this article we provide wellordering proofs for metapredicative systems of explicit mathematics and admissible set theory featuring suitable axioms about the Mahloness of the u...
ICIC
2007
Springer
15 years 4 months ago
2007
Springer
Rough set theory has been considered as a useful tool to deal with inexact, uncertain, or vague knowledge. However, in real-world, most of information systems are based on dominanc...
COMPGEOM
2006
ACM
15 years 3 months ago
2006
ACM
Let S be a finite set of n + 3 points in general position in the plane, with 3 extreme points and n interior points. We consider triangulations drawn uniformly at random from the...
ISIPTA
2003
IEEE
15 years 3 months ago
2003
IEEE
We apply random set theory to an analysis of future climate change. Bounds on cumulative probability are used to quantify uncertainties in natural and socio-economic factors that ...
STACS
2000
Springer
15 years 1 months ago
2000
Springer
We show that there is a set that is almost complete but not complete under polynomial-time many-one (p-m) reductions for the class E of sets computable in deterministic time 2lin ...