×

zbMATH — the first resource for mathematics

A new representation for the symmetric binomial coefficient and its applications. (English) Zbl 0499.03028

MSC:
03D25 Recursively (computably) enumerable sets and degrees
03D35 Undecidability and degrees of sets of sentences
11U05 Decidability (number-theoretic aspects)
12L05 Decidability and field theory
03D20 Recursive functions and relations, subrecursive hierarchies
PDF BibTeX XML Cite