id	author	title	date	pages	extension	mime	words	sentence	flesch	summary	cache	txt
ejpam-5835	Kumduang, Thodsaporn; Wattanatripop, Khwancheewa	Multisorted Algebras of Trees of a Weakly Fixed Variable	2025	16	.pdf	application/pdf	6166	515	81	Then we prove the following theorem which gives a necessary condition for any variety V to be weakly fixed variable. On a variety V of type τ , we let s ≈ t ∈ HIdwfv n (V ) and (σn)n∈N ∈ (Hypwfv n (τ))n∈N. Applying Theorem 2, we have σ̂n[s] ≈ σ̂n[t] ∈ Idn(V ) for all n ∈ N. Hence, s ≈ t is a weakly fixed variable hyperidentity in V , whence, a variety V is weakly fixed variable.	cache/ejpam-5835.pdf	txt/ejpam-5835.txt