Tell me more ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.
up vote 0 down vote favorite

Show that T(X)ùP≈q iff p = q (thus TpXq does not satisfy any interesting identities). given a type F and a set of variables X and p,qϵT(X)

share|improve this question
1  
Can you please do something about the formatting? We can't help you if your question is not clear! – Zhen Lin Dec 23 '12 at 8:17
1  
Isn't this the same question as the other question you posted today? – Martin Sleziak Dec 23 '12 at 11:23

Know someone who can answer? Share a link to this question via email, Google+, Twitter, or Facebook.

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.