Theories of generalized Pascal triangles

DOI10.1016/S0168-0072(97)00006-7zbMath0889.11009MaRDI QIDQ1377634

Ivan Korec

Publication date: 22 June 1998

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

decidabilitybinomial coefficientsfirst order theoriesgeneralized Pascal trianglessmall algebras

Mathematics Subject Classification ID

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

• On Pascal triangles modulo a prime power
• Weak Second‐Order Arithmetic and Finite Automata
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item