2016/12/08 by Mike Lambert, Michael Lambert, Lambert, Michael
Mathematics · #Advanced Topics in Algebra #Algebraic structures and combinatorial models #Homotopy and Cohomology in Algebraic Topology #math.RT
paper · pdf · doi:10.48550/arxiv.1612.02497
13 pages
arxiv created 2017/11/07 · arxiv updated 2017/11/09
A representation embedding between cartesian theories can be defined to be a functor between respective categories of models that preserves finitely-generated projective models and that preserves and reflects certain epimorphisms. This recalls standard definitions in the representation theory of associative algebras. The main result of this paper is that a representation embedding in the general sense preserves undecidability of theories. This result is applied to obtain an affirmative resolution of a reformulation in cartesian logic of a conjecture of M. Prest that every wild algebra over an algebraically closed field has an undecidable theory of modules.