Peano models with many generic classes
Peano models with many generic classes
The famous theorem of MacDowell and Specker asserts that every model of Peano arithmetic has a proper elementary end-extension.A consequence of their theorem (and its proof) is that every model of Peano arithmetic of cardinality less than /c has a /-like elementary end-extension, and, in addition, if tt is regular, …