scientific article; zbMATH DE number 1302671

MaRDI QIDQ4249223zbMATH OpenFDO

Authors Paweł M. Idziak

Publication date 5 October 1999

Full work available at URL https://eudml.org/doc/208917

zbMATH Keywords

decidabilityuniversal algebralocally finite varietiesfinitely generated varietiesvarieties of finite typefinitely decidable varieties

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Congruence modularity, congruence distributivity (08B10) Products, amalgamated products, and other kinds of limits and colimits (08B25)

Recommendations

• Decidability in analysis
• scientific article; zbMATH DE number 7644092
• Complexity and decidability
• Decidability of definability
• scientific article; zbMATH DE number 4087623
• scientific article; zbMATH DE number 50606
• Complexity, decidability and completeness
• Definability, decidability, complexity
• scientific article; zbMATH DE number 1159716
• Undecidability in Some Structures Related to Computation Theory

Cited in

(5)

• scientific article; zbMATH DE number 777294 (Why is no real title available?)
• Elementary classification and decidability of theories of derived structures
• Decidable discriminator varieties with lattice stalks
• Decidable structures between Church-style and Curry-style
• scientific article; zbMATH DE number 1159716 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4249223)