Theories of generalized Pascal triangles
type: Item
instance of: scholarly article
title: Theories of generalized Pascal triangles
zbMATH Open document ID: 0889.11009
DOI: 10.1016/S0168-0072(97)00006-7
author: Ivan Korec
published in: Annals of Pure and Applied Logic
publication date: 1998-06-22T00:00:00Z
review text: Generalized Pascal triangles (GPT) are mappings of the set \[ \mathbb{D}_n= \bigl\{ (x,y) \in\mathbb{N} \times \mathbb{N}\mid x+ y\geq n-1\bigr\},\;n>0, \] into finite sets associated to some finite algebras, analogous to the way in which the classical Pascal triangle can be associated to the (infinite) algebra \(\langle\mathbb{N}; +,0\rangle\) and ``the word'' 1 (of length 1). In this paper the author summarizes some of his results concerning first order theories of GPT. The paper consists of the following parts: Definition of GPT and a motivation, Structures associated to GPT, An example of a GPT (for which decidability of its theory surprisingly strongly depends on the chosen structure), Decidability results for theories of GPT modulo an integer (in this case decidability or undecidability of the theory of a GPT mainly depends on the factorization of the modulus), and Decidability results for theories of small algebras (the smallest cardinalities of the underlying algebras are shown where the theories of the corresponding GPT can be undecidable).
Mathematics Subject Classification ID: 11B65
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 11U05
zbMATH DE Number: 1109915
zbMATH Keywords: generalized Pascal triangles
zbMATH Keywords: binomial coefficients
zbMATH Keywords: first order theories
zbMATH Keywords: decidability
zbMATH Keywords: small algebras
reviewed by: Dimitru Buşneag
MaRDI profile type: Publication
cites work: On Pascal triangles modulo a prime power
cites work: Q3996802
cites work: Weak Second‐Order Arithmetic and Finite Automata
cites work: Q3753492
cites work: Q4272745
cites work: Q4327098
cites work: Q4763283
cites work: Q4886957
cites work: Q4839134
cites work: Q4509077
cites work: Q4152588
cites work: Q4002149
Recommended article: Q3361903
Recommended article: Q3145680
Recommended article: A generalization of hyperbolic Pascal triangles
Recommended article: Q3734411
Recommended article: Q4398225
Recommended article: Q4382153
Recommended article: Q3745841
Recommended article: On some Pascal's like triangles
Recommended article: On Two Families of Generalizations of Pascal's Triangle
description: scientific article; zbMATH DE number 1109915