Iain T. Adamson
University of Dundee
Network
Latest external collaboration on country level. Dive into details by clicking on the dots.
Publication
Featured researches published by Iain T. Adamson.
Archive | 1998
Iain T. Adamson
76. Let R be a well-ordering on a class X. Let a and b be elements of X. Then the subset {a,b} has an R-least member. If the R-least member is a then (a,b) ∈ R; if the R-least member is b then (b,a) ∈ R.
Archive | 1998
Iain T. Adamson
53. (1) Let (a,b) ∈ R∪R-1. If (a,b) ∈ R then (b,a) ∈ R-1 and so (b,a) ∈ R∪R-1. Similarly if (a,b) ∈ R-1 then (b,a) ∈ R∪R-1. So R ∪R-1 is symmetric. Of course R ∪R-1 ⊇ R.
Archive | 1998
Iain T. Adamson
40. (1) Let x ∈ ∪k∈KX f (k). Then there is an index k1 in K such that x ∈ X f (k1). Sincefk1) ∈ I it follows that x ∈ ∪i∈IX. So ∪k∈KX f (k) + ∪i∈IX i .
Archive | 1998
Iain T. Adamson
23. Let R be functional and let Y be any class. Let b be any element of R→(R←(Y)). Then there is an element a of R←(Y) such that (a,b) ∈ R. Since a ∈ R←(Y) there is an element y of Y such that (a,y) ∈ R. Since R is functional and both (a,b) and (a,y) belong to R it follows that b = y. So b ∈ Y.
Archive | 1998
Iain T. Adamson
135. Let f and g be bijections from a to A and b to B respectively. Define the mapping h from (a × 0) ∪ (b × 1) to A ∪ B by setting n n
Archive | 1998
Iain T. Adamson
Archive | 1998
Iain T. Adamson
hleft( x right) = left{ {begin{array}{*{20}c}{fleft( a right) if x = left( {a,0} right)} {gleft( b right) if x = left( {b,1} right).} end{array} } right.
Archive | 1998
Iain T. Adamson
Archive | 1998
Iain T. Adamson
n nThen h is a bijection and hence it follows that a+b = Card ((a × 0)∪ (b × 1)) = Card (A ∪ B).
Archive | 1998
Iain T. Adamson
121. As suggested, let x = n: (n ∈ ω)∧( every subset of n is finite). Then O ∈ x since the only subset of ∈ is ∈ itself which is finite, being equipotent to the natural number O.