menu

Return to entry

Multiset_More
Signed_Multiset
Nested_Multiset
Hereditary_Multiset
Signed_Hereditary_Multiset
Syntactic_Ordinal
Signed_Syntactic_Ordinal
Syntactic_Ordinal_Bridge
McCarthy_91
Hydra_Battle
Goodstein_Sequence
Unary_PCF

Nested_Multisets_Ordinals.Unary_PCF

HTML Presentation