scientific article; zbMATH DE number 93462

zbMATH Open0774.08004MaRDI QIDQ4019364FDOQ4019364

Authors: Dietlinde Lau 

Publication date: 16 January 1993

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

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

zbMATH Keywords

maximal clonesRosenberg's completeness theorem

Mathematics Subject Classification ID

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

Cited In (7)

• Relative completeness
• Title not available (Why is that?)
• 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)