Reasoning about Generic ω-Sequences
Leon Horsten · Cambridge University Press eBooks · 2019
This chapter is logical in character. The focus is on the logical properties of one particular generic structure: the generic omega-sequence. I take the perspective that is internal to arithmetic, from which arithmetic investigates \emph{one} structure.