[opentheory-users] Troubleshooting an article reader

[Ramana Kumar]

On Thu, Oct 16, 2014 at 8:36 AM, Mario Carneiro <di.gama at gmail.com> wrote:

> Assuming that (abs (rep a)) = a is the shortest way to express the
> original claim, I am confident that this is the symbol-minimal quantified
> version of the same formula.
>

What if we relax that assumption?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gilith.com/opentheory/mailing-list/attachments/20141016/f38df759/attachment.html>