scientific article; zbMATH DE number 1531924

zbMath0980.03045MaRDI QIDQ4513967

Rodney G. Downey, Jeffery B. Remmel

Publication date: 16 January 2002

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

zbMATH Keywords

surveyundecidabilityBoolean algebrasdecidabilityordered groupslatticescomputable structurespartial orderinglinear orderingsalgorithmic propertiescomputable algebrapolynomial-time computabilitycomputable combinatoricscomputable graph theorygroups of computable automorphisms

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Recursively (computably) enumerable sets and degrees (03D25) Theory of numerations, effectively presented structures (03D45)

Related Items (9)

Degree spectra and computable dimensions in algebraic structures ⋮ Equivalence between Fraïssé's conjecture and Jullien's theorem ⋮ Computable completely decomposable groups ⋮ Computable torsion abelian groups ⋮ Some Questions in Computable Mathematics ⋮ Prime models of theories of computable linear orderings ⋮ LEFT-ORDERABLE COMPUTABLE GROUPS ⋮ Computable presentability of countable linear orders ⋮ COMPUTABILITY, ORDERS, AND SOLVABLE GROUPS

This page was built for publication: