Skip Page Header and Navigation
Book of Paragon

Consistency of Transreal Arithmetic


A machine proof of the consistency of transreal arithmetic has been released. The source code is in Isabelle/HOL and will be useful only to mathematicians familiar with that machine-proof system. Further information is available in an accompanying paper.


For further details please email the author.

  Home  -  Email
James A. D. W. Anderson 2007
Back to top
Last updated 09 January 2007