Fragment of Nonstandard Analysis with a Finitary Consistency Proof. - Michal Rössler; Emil Jerábek (Bull. Symb. Log., 2007)