Skip to content
December 23, 2010 / porton

Generalization in ZF

I wrote short article “Generalization in ZF” accompanied with Isabelle/ZF sources.

This is a draft and alpha. I await your comments on both the article and Isabelle sources.

I’m sure my Isabelle sources may be substantially improved (and I plan to work over this). Comments are welcome.

After hearing your comments and improving the files, I plan to submit to a math logic journal.

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: