Publication:4839134

zbMath0822.03008MaRDI QIDQ4839134

Ivan Korec

Publication date: 28 September 1995

zbMATH Keywords

relational structure; many-sorted algebra; generalized Pascal triangle; elementary theory

Mathematics Subject Classification ID

05A10: Factorials, binomial coefficients, combinatorial functions

11B65: Binomial coefficients; factorials; (q)-identities

11U05: Decidability (number-theoretic aspects)

11B75: Other combinatorial number theory

03B25: Decidability of theories and sets of sentences

Related Items

A list of arithmetical structures complete with respect to the first-order definability, Theories of generalized Pascal triangles