Skip to content

Math Research of Victor Porton

  • SCIENCE
  • Home
    • Blog
    • Soft
  • Algebraic General Topology
    • Paperback
    • Ebook
    • PDF
  • Axiomatic Theory of Formulas
    • Paperback
    • Ebook
    • PDF
  • Limit of a Discontinuous Function
  • More
    • Donate
    • Review
    • Publish
    • Politics
  • Prize

Tag: formalized mathematics

  • Home
  • Blog
  • formalized mathematics
Uncategorized

Generalization in ZF

By Victor Porton
On December 23, 2010

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…

read more
#formalized mathematics#generalization#ZF#ZFC
Top

Copyright © 2023 Math Research of Victor Porton - WordPress Theme : By Sparkle Themes

  • SCIENCE
  • Home
  • Algebraic General Topology
  • Axiomatic Theory of Formulas
  • Limit of a Discontinuous Function
  • More
  • Prize
  • SCIENCE
  • Home
    • Blog
    • Soft
  • Algebraic General Topology
    • Paperback
    • Ebook
    • PDF
  • Axiomatic Theory of Formulas
    • Paperback
    • Ebook
    • PDF
  • Limit of a Discontinuous Function
  • More
    • Donate
    • Review
    • Publish
    • Politics
  • Prize