Publication:4509077
From MaRDI portal
zbMath0974.03007MaRDI QIDQ4509077
Publication date: 11 October 2000
11B65: Binomial coefficients; factorials; (q)-identities
11U05: Decidability (number-theoretic aspects)
03D35: Undecidability and degrees of sets of sentences
03B10: Classical first-order logic
03B25: Decidability of theories and sets of sentences
03C62: Models of arithmetic and set theory
Related Items
A list of arithmetical structures complete with respect to the first-order definability, Theories of generalized Pascal triangles