scientific article; zbMATH DE number 93462

MaRDI QIDQ4019364zbMATH OpenFDO

Authors Dietlinde Lau

Publication date 16 January 1993

zbMATH Keywords

maximal clonesRosenberg's completeness theorem

Mathematics Subject Classification ID

Subalgebras, congruence relations (08A30) Operations and polynomials in algebraic structures, primal algebras (08A40)

Recommendations

• Publication:3470521
• Relative completeness
• scientific article; zbMATH DE number 480529
• A maximal clone of monotone operations which is not finitely generated
• scientific article; zbMATH DE number 991157

Cited in

(7)

• Relative completeness
• scientific article; zbMATH DE number 4137843 (Why is no real title available?)
• On Rosser's Provability Predicate
• A simplification of the completeness proofs for Guaspari and Solovay's R
• A brief proof of the full completeness of Shin's Venn diagram proof system
• A relative completeness theorem
• Rosser provability and the second incompleteness theorem

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 Q4019364)