New posts in Linear Orders

Ordinal notations within non-standard models of arithmetic

Associative mean