axiom PA1 is partition axiom 1:

forall n=>2, O can be partitioned in 2^n equally likely events. There exists {E1n,..,E2^nn} s.t. Ein intersect Ejn = empty set forall i!=j and Union(i=1,2^n,Ein)=O with Ein ~ Ejn.

=>

Define K(n,A) = Union(i=1,k, Ein)"<="B

Proposition:
"=>" a qualitative probability(QP) /\ satisfies PA1 =>


source
jl@crush.caltech.edu index
tight
fine