scientific article; zbMATH DE number 1302671

zbMATH Open0935.03016MaRDI QIDQ4249223FDOQ4249223

Authors: Paweł M. Idziak 

Publication date: 5 October 1999

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

Title of this publication is not available (Why is that?)

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

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)

Cited In (5)

• Elementary classification and decidability of theories of derived structures
• Decidable discriminator varieties with lattice stalks
• Decidable structures between Church-style and Curry-style
• Title not available (Why is that?)
• Title not available (Why is that?)

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)