User:Inthar/Endoparticular extensions

This is a problematic page or section. It lacks sufficient justification, content, or organization, and is subject to future overhaul or deletion.

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)`.