/usr/lib/open-axiom/input/cardinal.input is in open-axiom-test 1.5.0~svn3056+ds-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 | --Copyright The Numerical Algorithms Group Limited 1991.
)clear all
(c0, c1, c2, c3, A0, A1): CardinalNumber
c0 := 0::NNI
c1 := 1::NNI
c2 := 2::NNI
c3 := 3::NNI
A0 := Aleph 0
A1 := Aleph 1
[finite? c2, finite? A0]
[finite? c2, finite? A0]
[countable? c2, countable? A0, countable? A1]
[c2 + c2, c2 + A1]
[c2 - c1, c2 - c2, c2 - c3, A1 - c2, A1 - A0, A1 - A1]
[c0 * c2, c1 * c2, c2 * c2, c0 * A1, c1 * A1, c2 * A1, A0 * A1]
[c2**c0, c2**c1, c2**c2, A1**c0, A1**c1, A1**c2]
generalizedContinuumHypothesisAssumed true
[c0**A0, c1**A0, c2**A0, A0**A0, A0**A1, A1**A0, A1**A1]
|