scientific article; zbMATH DE number 1516280

zbMath0974.03007MaRDI QIDQ4509077

Ivan Korec

Publication date: 11 October 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

uniform elementary definability

Mathematics Subject Classification ID

Binomial coefficients; factorials; (q)-identities (11B65) Decidability (number-theoretic aspects) (11U05) Undecidability and degrees of sets of sentences (03D35) Classical first-order logic (03B10) Decidability of theories and sets of sentences (03B25) Models of arithmetic and set theory (03C62)

Related Items (2)

Theories of generalized Pascal triangles ⋮ A list of arithmetical structures complete with respect to the first-order definability

This page was built for publication: