User:Inthar/Endoparticular extensions

This page or section is a work in progress. It may lack sufficient justification, content, or organization, and is subject to future overhaul.

Goal: Formalize temp extension naturalness or a naturalness' that is stronger than naturalness.

Special case 1

Suppose the base temp tempers out `(Sk)^m S(k+1)^n` for nonzero integers m and n. An extension by one basis element is natural if it tempers out `Sk` and `S(k+1)`.