Currently displaying 1 – 19 of 19

Showing per page

Order by Relevance | Title | Year of publication

Definability within structures related to Pascal’s triangle modulo an integer

Alexis BèsIvan Korec — 1998

Fundamenta Mathematicae

Let Sq denote the set of squares, and let S Q n be the squaring function restricted to powers of n; let ⊥ denote the coprimeness relation. Let B n ( x , y ) = ( x + y x ) M O D n . For every integer n ≥ 2 addition and multiplication are definable in the structures ⟨ℕ; Bn,⊥⟩ and ⟨ℕ; Bn,Sq⟩; thus their elementary theories are undecidable. On the other hand, for every prime p the elementary theory of ⟨ℕ; Bp,SQp⟩ is decidable.

Page 1

Download Results (CSV)