Publication:3842688
From MaRDI portal
zbMath0905.11013MaRDI QIDQ3842688
Publication date: 4 February 1999
Full work available at URL: https://eudml.org/doc/212264
11B65: Binomial coefficients; factorials; (q)-identities
11U05: Decidability (number-theoretic aspects)
03B25: Decidability of theories and sets of sentences
03F30: First-order arithmetic and fragments
Related Items
A list of arithmetical structures complete with respect to the first-order definability, Some new results in monadic second-order arithmetic