Skip to content
April 25, 2017 / porton

A counter-example to my conjecture

I’ve found the following counter-example, to this conjecture:

Example For a set S of binary relations

\forall X_0,\dots,X_n\in S:\mathrm{up}(X_0\sqcap^{\mathsf{FCD}}\dots\sqcap^{\mathsf{FCD}} X_n)\subseteq S

does not imply that there exists funcoid f such that S=\mathrm{up}\, f.

The proof is currently available at this PDF file and this wiki page.

Advertisements

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 )

w

Connecting to %s

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

%d bloggers like this: