Effective identification in the limit of first order sturctures and creative sets

Antônio MN Coelho

Abstract


An alternative criterion of effective identification of first order structures will be proposed. This criterion uses the fact that all creative sets are recursively isomorphic and allows non decidable structures to be effectivelly identifiable.

Full Text:

PDF

Refbacks

  • There are currently no refbacks.