Skip to content
February 8, 2014 / porton

A failed attempt to prove a theorem

I have claimed that I have proved this theorem:

Theorem Let f is a T_1-separable (the same as T_2 for symmetric transitive) compact funcoid and g is an reflexive, symmetric, and transitive endoreloid such that ( \mathsf{FCD}) g = f. Then g = \langle f \times f \rangle \uparrow^{\mathsf{RLD}} \Delta.

The proof is with errors and omissions however.

Please help me to correct the proof. See also this question.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.

%d bloggers like this: