Universal Induction and True Universal Arithmetic
Teresa Bigorajska · Mathematical logic quarterly · 1994
Abstract We prove that every finitely generated (as a ring) model for induction for universal formulas without parameters satisfies also all true universal sentences. Mathematics Subject Classification: 03C62.