diff options
Diffstat (limited to 'src/algebra/card.spad.pamphlet')
| -rw-r--r-- | src/algebra/card.spad.pamphlet | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/algebra/card.spad.pamphlet b/src/algebra/card.spad.pamphlet index 1bd14450..10f67729 100644 --- a/src/algebra/card.spad.pamphlet +++ b/src/algebra/card.spad.pamphlet @@ -144,7 +144,7 @@ CardinalNumber: Join(OrderedSet, AbelianMonoid, Monoid, [FINord,x.ival**(y.ival):NNI] x = 0 => 0 x = 1 => 1 - GCHypothesis() => [max(x.order-1, y.order) + 1, DUMMYval] + deref GCHypothesis => [max(x.order-1, y.order) + 1, DUMMYval] error "Transfinite exponentiation only implemented under GCH" finite? x == x.order = FINord @@ -159,8 +159,8 @@ CardinalNumber: Join(OrderedSet, AbelianMonoid, Monoid, "failed" -- State manipulation - generalizedContinuumHypothesisAssumed?() == GCHypothesis() - generalizedContinuumHypothesisAssumed b == (GCHypothesis() := b) + generalizedContinuumHypothesisAssumed?() == deref GCHypothesis + generalizedContinuumHypothesisAssumed b == setref(GCHypothesis,b) @ \section{License} |