Category Archives: Initial Segments Groisser Style

David Groisser Initial Segments before addition from Peano Axioms

Richard Dedekind in 1888 did order before addition.  Dedekind first did properties of closed sets under a function that is 1 to 1.   Then he applied this to tail sets under successor in effect.  Tail sets are natural numbers from … Continue reading

Posted in David Groisser, David Pierce, Head Segments of Natural Numbers, Initial Segments Groisser Style, Initial Segments of Natural Numbers, MOOC, Order First | 1 Comment