Re: [isabelle] Zorn's Lemma



The title of this article is "Towards the Mechanization of the Proofs of some Classical Theorems of Set Theory".

I couldn't find the text on the web. I was given a hard copy by Mike Gordon about 20 years ago.

It is just possible that some of this material was published in the B-Book.

Larry

On 17 Jan 2013, at 07:01, Christian Sternagel <c.sternagel at gmail.com> wrote:

> Dear all,
> 
> where can I get hold of the unpublished article that is mentioned in
> 
>  http://isabelle.in.tum.de/dist/library/HOL/HOL-Library/Zorn.html
> 
> The reason for being interested is that I feel the need to modify the proof of Zorn's lemma in the Library to a version with explicit carrier sets (in the spirit of my wqo AFP entry).
> 
> cheers
> 
> chris
> 






This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.