Typo in example 6 in sets-functions-relations/size-of-sets/enumerability.tex
furcyd opened this issue · 4 comments
furcyd commented
Typo location:
What is the typo:
g(n) as defined excludes 1 from the range
Proposed correction:
g(n) = 2n - 1
rzach commented
Good catch, yes. There is an alternate version of this (and two other) sections in this chapter that define enumerability differently, and use \Nat instead of \PosInt. (The definition of g is correct if you are looking for functions Nat -> Nat.) You might like that better for your purposes.
rzach commented
PS see https://github.com/OpenLogicProject/set-theory/blob/master/settheory.tex for how they are imported in the Set Theory book.
furcyd commented
PS see https://github.com/OpenLogicProject/set-theory/blob/master/settheory.tex for how they are imported in the Set Theory book.
Thanks!