scientific article; zbMATH DE number 806746

zbMath0846.03014MaRDI QIDQ4850547

Douglas Cenzer, Jeffery B. Remmel

Publication date: 22 September 1996

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Abelian groupsfeasibilityrecursive structureinjection structures\(p\)-time structuresfeasible categoricityrecursively categorical structures

Mathematics Subject Classification ID

Applications of logic to group theory (20A15) Model-theoretic algebra (03C60) Computable structure theory, computable model theory (03C57) Categoricity and completeness of theories (03C35)

Related Items

On the lattices of NP-subspaces of a polynomial time vector space over a finite field, Complexity and categoricity, Punctual copies of algebraic structures, Feasibly categorical models, Automatic presentations of structures, AUTOMATIC AND POLYNOMIAL-TIME ALGEBRAIC STRUCTURES, Space complexity of abelian groups, Effective Categoricity of Injection Structures, Feasible graphs with standard universe