Skip to content
March 27, 2010 / porton

False proof of an open problem

I earlier proclaimed that I positively solved this conjecture:

Conjecture f\cap^{\mathsf{FCD}} g = f\cap g for every binary relations f and g.

There were error in my proof and I deleted it. See the draft of Funcoids and Reloids article for details on the current state of the problem.


Leave a Comment
  1. porton / Jun 9 2010 16:34

    A counter-example for this conjecture appears in the appendix “Some counter-examples” of the last version of Funcoids and Reloids article.



  1. A counterexample against “Meet of discrete funcoids is discrete” « Victor Porton's Math Blog

Leave a Reply

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

You are commenting using your 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: