Structures with Non-Standard Computability Approach

One constructs a series of computable structures which computable uncomputable sets. As a corollary, 1-computable but undecidable structures with elimination quantifiers are presented. Furthermore, a problem of the description of a fixed point structure under a jump operator is mentioned.