Monadic \(\Pi _ 1^ 1\)-theories of \(\Pi _ 1^ 1\)-properties (Q1264142)

The author studies conservation properties with respect to monadic \(\Pi^ 1_ 1\)-sentences of the following type: Let L be a first-order language containing a binary predicate \(<\) and unary predicates \(U_ 1,...,U_ n\). Let \({\mathfrak M}=(M,<,U_ 1,...,U_ n)\) be a model of the first-order L-schema corresponding to the \(\Pi^ 1_ 1\)-property \(\forall R \phi (R)\). Then for each L-sentence \(\psi (U_ 1,...,U_ n)\) true in \({\mathfrak M}\) there is a model \((N,<)\) of the original \(\Pi^ 1_ 1\)-sentence \(\forall R \phi (R)\) satisfying \(\exists X_ 1...\exists X_ n \psi (X_ 1,...,X_ n).\) The author provides axiomatizations for the monadic universal second- order theories of: scattered orderings, well-orderings, complete orderings, the orderings of the natural numbers, of the reals, and of well-founded trees. The author calls attention to the fact that these results overlap to some extent with those of \textit{J. P. Burgess} and \textit{Y. Gurevich} [ibid. 26, 115-128 (1985; Zbl 0573.03004)], but were obtained independently.