Model theory of the regularity and reflection schemes

Abstract. This paper develops the model theory of ordered structures that satisfy Keisler's regularity scheme, and its strengthening REF(L) (the reflection scheme) which is an analogue of the reflection principle of Zermelo-Fraenkel set theory. Here L is a language with a distinguished linear order <, and REF(L) consists of the universal closure of formulas of the form xy1 < x

• Type: Journal
• Year: 2008
• Where: AML
• Authors: Ali Enayat, Shahram Mohsenipour
• Keywords: AML 2007, AML 2008, Distinguished Linear Order, Regularity Scheme, Theory