|
|||||
|
|
Universal Induction and True Universal Arithmetic |
|
| Authors: | Teresa Bigorajska |
| 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. |
| Keywords: | Universal induction True universal arithmetic |