Ordinal Arithmetic And Set Theory

← Back to Domain-Specific Abstractions by Domain

1 domain-specific abstractions whose origin domain is Ordinal Arithmetic And Set Theory.

• Additively indecomposable ordinal — A nonzero ordinal alpha that cannot be reached or exceeded by adding two smaller ordinals, equivalently an ordinal of the form omega raised to an ordinal power.