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