FRAGMENT OF NONSTANDARD ANALYSIS WITH A FINITARY CONSISTENCY PROOF

by Michal Rössler , Emil Jerabek