Effective choice operations on constructive and positive models
The author considers some computable enumeration of all possible r.e. subdiagrams in a finite language. This enumeration generates some natural enumeration of constructivizations and positive enumerations of modeles. The author poses questions like this: When, given a number of a positive enumeration of a fixed model \(M\), can one uniformly find an algorithm to enumerate a relation \(R\) with respect to this enumeration? More precisely, he gives a definition of (weakly) effective choice operation, which is some version of an effective extensional recursive operator on r.e. sets, and shows the above property to be equivalent to definability of \(R\) by \(\Sigma^ r_ 1\)-formulas: Theorem. For a relation \(R\) on \(M\) with a positive enumeration, there is a (weakly) effective choice operation of an r.e. set if and only if \(R\) is positively \(\Sigma^ r_ 1\)-definable on \(M\) (with a finite sequence of parameters). A similar result is proved for constructivizable models and the choice operation of a characteristic function for recursive relations. The author also proves these results are not valid without requirement of extensionality for operators.
- Effective choice for relations and reducibilities in classes of constructive and positive models
- Effective choice of constructivizations and recursive consistency of problems on constructive models
- scientific article; zbMATH DE number 218551
- On effective choice of constructivizations
- Effectively infinite classes of weak constructivizations of models
- scientific article; zbMATH DE number 3625564 (Why is no real title available?)
- scientific article; zbMATH DE number 4116737 (Why is no real title available?)
- scientific article; zbMATH DE number 3412816 (Why is no real title available?)
- Prime Rings Satisfying a Polynomial Identity
- Regular elements in P. I.-rings
- Rings of quotients of some semiprime. P.I. rings
- Rings with involution and chain conditions on bi-ideals
- Some examples in PI ring theory
- Some results on the center of a ring with polynomial identity
- Effective choice for relations and reducibilities in classes of constructive and positive models
- On effective choice of constructivizations
- Effective choice of constructivizations and recursive consistency of problems on constructive models
- scientific article; zbMATH DE number 4164816 (Why is no real title available?)
- scientific article; zbMATH DE number 2090084 (Why is no real title available?)
This page was built for publication: Effective choice operations on constructive and positive models
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1317639)
