Abstract
This paper introduces a new theory of constant regions, which generalizes that of interstices, in nonstandard models of arithmetic. In particular, we show that two homogeneity notions introduced by Richard Kaye and the author, namely, constantness and pregenericity, are equivalent. This led to some new characterizations of generic cuts in terms of existential closedness.
Citation
Tin Lok Wong. "Constant Regions in Models of Arithmetic." Notre Dame J. Formal Logic 56 (4) 603 - 624, 2015. https://doi.org/10.1215/00294527-3153615
Information