Publication:3837800

zbMath0944.03004MaRDI QIDQ3837800

Ivan Korec

Publication date: 20 September 2000

zbMATH Keywords

elementary definability; undecidable theories; Pascal's triangle modulo \(n\)

Mathematics Subject Classification ID

11B65: Binomial coefficients; factorials; (q)-identities

03B10: Classical first-order logic

03B25: Decidability of theories and sets of sentences

03C07: Basic properties of first-order languages and structures

Related Items

A list of arithmetical structures complete with respect to the first-order definability