Séminaire Lotharingien de Combinatoire, B26i (1991), 6 pp.
[Formerly: Publ. I.R.M.A. Strasbourg, 1992, 476/S-26, p.
7-12.]
Degen
Josef Wolfgang Degen
Some Contributions to the Model Theory of Mono-Unaries
Abstract.
A mono-unary is as tructure of the form
(A,f),where A is a non-empty set,and f
is a unary function
from Ato A.
Many of the definitions and results apply also to (first-order)
structures of a more general and richer type than mono-unaries.
We describe mono-unaries in first-order logic with just one
unary function symbol and equality (always interpreted as identity).
We investigate rigidity in this context.
The following version is available: