User contributions for Metachirality
A user with 6 edits. Account created on 5 September 2022.
5 September 2022
- 20:5120:51, 5 September 2022 diff hist +6 Epsilon numbers No edit summary
- 20:5020:50, 5 September 2022 diff hist +70 Epsilon numbers No edit summary
- 20:4820:48, 5 September 2022 diff hist +339 N Normal function Created page with "A normal function is a function on ordinals that preserves limits and is strictly increasing. That is, \(f\) is normal if and only if it satisfies the following properties: * \(\alpha<\beta \Leftrightarrow f(\alpha)<f(\beta)\) * \(f(\alpha)=\sup f(\beta)\) if and only if \(\beta<\alpha\) and \(\alpha\) is a limit ordinal."
- 20:3720:37, 5 September 2022 diff hist +95 N Bashicu matrix system Created page with "'''Bashicu matrix system''' is an ordinal notation and term system invented by Bashicu."
- 20:3220:32, 5 September 2022 diff hist −5 Main Page No edit summary