Theories of generalized Pascal triangles
From MaRDI portal
Publication:1377634
DOI10.1016/S0168-0072(97)00006-7zbMath0889.11009MaRDI QIDQ1377634
Publication date: 22 June 1998
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Binomial coefficients; factorials; (q)-identities (11B65) Decidability (number-theoretic aspects) (11U05) Decidability of theories and sets of sentences (03B25)
Related Items
On Pascal triangles modulo a prime power ⋮ A list of arithmetical structures complete with respect to the first-order definability
Cites Work