Geodesic
Some Contributions to the Model Theory of Mono-Unaries
Séminaire lotharingien de combinatoire, Tome 26 (1991) 
Josef Wolfgang Degen. Some Contributions to the Model Theory of Mono-Unaries. Séminaire lotharingien de combinatoire, Tome 26 (1991). http://geodesic.mathdoc.fr/item/SLC_1991_26_a8/
@article{SLC_1991_26_a8,
     author = {Josef Wolfgang Degen},
     title = {Some {Contributions} to the {Model} {Theory} of {Mono-Unaries}},
     journal = {S\'eminaire lotharingien de combinatoire},
     year = {1991},
     volume = {26},
     url = {http://geodesic.mathdoc.fr/item/SLC_1991_26_a8/}
}
TY  - JOUR
AU  - Josef Wolfgang Degen
TI  - Some Contributions to the Model Theory of Mono-Unaries
JO  - Séminaire lotharingien de combinatoire
PY  - 1991
VL  - 26
UR  - http://geodesic.mathdoc.fr/item/SLC_1991_26_a8/
ID  - SLC_1991_26_a8
ER  - 
%0 Journal Article
%A Josef Wolfgang Degen
%T Some Contributions to the Model Theory of Mono-Unaries
%J Séminaire lotharingien de combinatoire
%D 1991
%V 26
%U http://geodesic.mathdoc.fr/item/SLC_1991_26_a8/
%F SLC_1991_26_a8

Voir la notice de l'acte provenant de la source Séminaire Lotharingien de Combinatoire website

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.