# Mathematical Logic Quarterly

## Universal Induction and True Universal Arithmetic

### 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.

View all

View all