scientific article; zbMATH DE number 3065841

zbMath0043.01102MaRDI QIDQ5804999

A. A. jun. Markoff

Publication date: 1951

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

zbMATH Keywords

logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (14)

An equational logic sampler ⋮ Restrictions of congruences generated by finite canonical string-rewriting systems ⋮ A note on decidability questions on presentations of word semigroups ⋮ Undecidable properties of monoids with word problem solvable in linear time. II: Cross sections and homological and homotopical finiteness conditions. ⋮ Undecidable properties of monoids with word problem solvable in linear time. ⋮ It is undecidable whether a finite special string-rewriting system presents a group ⋮ When is an extension of a specification consistent? Decidable and undecidable cases ⋮ A field guide to equational logic ⋮ Syntactic and Rees indices of subsemigroups ⋮ Cancellativity in finitely presented semigroups ⋮ On equational theories, unification, and (un)decidability ⋮ Questions in algebra and mathematical logic. Scientific heritage of S. I. Adian ⋮ Undecidable questions related to Church-Rosser Thue systems ⋮ On one-relator groups and units of special one-relation inverse monoids

This page was built for publication: