Effective choice of constructivizations and recursive consistency of problems on constructive models
The author considers a constructive (recursive) model \(\mathfrak M\) of some language \(L\) is a domain over which problems are defined. A problem on \(\mathfrak M\) is a relation on \(\mathfrak M\) that is invariant under automorphisms of \(\mathfrak M\). Suppose that \(\pi=\{\nu_ 0,\nu_ 1,\dots\}\) is a class of constructivizations of \({\mathfrak M}\), \(\Sigma=\{R_ 0,R_ 1,\dots\}\) is a computable family of problems, and for each \(R\in\Sigma\) there exists \(\nu\in\pi\) such that \(\nu^{-1}(R)\) is recursive. We say that the problem of the effective choice has a solution if there is a recursive function \(g\) for which \(\nu^{- 1}_{g(i)}(R_ i)\) is recursive for all \(i\in N\), \(R_ i\in\Sigma\), \(\nu_{g(i)}\in\pi\). A criterion for the problem of the effective choice to have a solution is given.
- Effective choice for relations and reducibilities in classes of constructive and positive models
- Effective choice operations on constructive and positive models
- scientific article; zbMATH DE number 4035802
- Structural properties of computable classes of contructive models
- Effective model theory vs. recursive model theory
- scientific article; zbMATH DE number 1302873
- On effective choice of constructivizations
- scientific article; zbMATH DE number 1302878
- scientific article; zbMATH DE number 16546
- scientific article; zbMATH DE number 1136113
- Effective choice for relations and reducibilities in classes of constructive and positive models
- Effective choice operations on constructive and positive models
- On effective choice of constructivizations
- Exact effective enumerations of total functional structures
- Effective model theory vs. recursive model theory
- Groups of recursive automorphisms of constructive Boolean algebras
- On a complexity-based way of constructivizing the recursive functions
This page was built for publication: Effective choice of constructivizations and recursive consistency of problems on constructive models
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2366356)
