scientific article; zbMATH DE number 472855
From MaRDI portal
Publication:4272745
zbMath0797.11024MaRDI QIDQ4272745
Publication date: 20 October 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Decidability (number-theoretic aspects) (11U05) Other combinatorial number theory (11B75) Decidability of theories and sets of sentences (03B25)
Related Items
Some new results in monadic second-order arithmetic ⋮ On Pascal triangles modulo a prime power ⋮ Theories of generalized Pascal triangles ⋮ A list of arithmetical structures complete with respect to the first-order definability ⋮ Unnamed Item