A reduct embedding extends to a $\Sigma^+$-homomorphism of $T^+$-models · Prove2Me

P

Initializing...

A reduct embedding extends to a $\Sigma^+$-homomorphism of $T^+$-models · Prove2Me