Any finite calculation of superexponentiation will be valid. But as I understand it you can’t in general in Nelson’s formulation prove that superexponentation is well-defined in general.
Any finite calculation of superexponentiation will be valid. But as I understand it you can’t in general in Nelson’s formulation prove that superexponentation is well-defined in general.