scientific article; zbMATH DE number 742857

MaRDI QIDQ4763283zbMATH OpenFDO

Authors Ivan Korec

Publication date 11 April 1995

zbMATH Keywords

decidabilityundecidabilityfinite algebrasgeneralized Pascal trianglesextension of Presburger arithmetic

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25)

Recommendations

• Theories of generalized Pascal triangles
• scientific article; zbMATH DE number 740351
• Publication:4886957
• scientific article; zbMATH DE number 774079
• On Pascal triangles modulo a prime power

Cited in

(9)

• scientific article; zbMATH DE number 740351 (Why is no real title available?)
• scientific article; zbMATH DE number 1192199 (Why is no real title available?)
• scientific article; zbMATH DE number 1046302 (Why is no real title available?)
• scientific article; zbMATH DE number 3981169 (Why is no real title available?)
• scientific article; zbMATH DE number 774079 (Why is no real title available?)
• scientific article; zbMATH DE number 908170 (Why is no real title available?)
• Theories of generalized Pascal triangles
• A list of arithmetical structures complete with respect to the first-order definability
• scientific article; zbMATH DE number 3978388 (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 Q4763283)