|
|
Article: Reports outline symbolic logic study results from University of Ghent.
- Article from:
- Robotics & Machine Learning
- Article date:
- October 5, 2009
CopyrightCOPYRIGHT 2009 NewsRX. This material is published under license from the publisher through the Gale Group, Farmington Hills, Michigan. All inquiries regarding rights should be directed to the Gale Group. (Hide copyright information)
|
"Elementary Recursive Nonstandard Analysis, in short ERNA, is a constructive system of nonstandard analysis with a PRA consistency proof, proposed around 1995 by Patrick Suppes and Richard Sommer. It is built on a previous system by Rolando Chuaqui and Patrick Suppes, which was recently reconsidered by Michal Rossler and Emil Jerabek," investigators in Ghent, Belgium report.
"A Pi(1)-transfer principle has already been added to ERNA and the consistency of the resulting theory proved in PRA. Here, we equip ERNA with Sigma(2)-transfer and a saturation principle, while keeping the consistency proof inside PRA," wrote C. Impens and colleagues, University of Ghent.
...