3 ms·
It is also possible to build a model of Presburger arithmetic extended with infinity. We did that a few years back, you can try it out online here - http://lori
by codelion 7y ago
It is also possible to build a model of Presburger arithmetic extended with infinity. We did that a few years back, you can try it out online here - http://loris-5.d2.comp.nus.edu.sg/SLPAInf/ http://loris-5.d2.comp.nus.edu.sg/SLPAInf/