Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: Pascal's triangle modulo n

Sortuj według:

Ogranicz wyniki do:

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

100%

Bès A., Korec I.

Fundamenta Mathematicae

1998

tom 156

nr 2

111-129

Let Sq denote the set of squares, and let $SQ_n$ be the squaring function restricted to powers of n; let ⊥ denote the coprimeness relation. Let $B_n(x,y)=({x+y \atop x}) MOD n$. For every integer n ≥ 2 addition and multiplication are definable in the structures ⟨ℕ; B_n,⊥⟩ and ⟨ℕ; B_n,Sq⟩; thus their elementary theories are undecidable. On the other hand, for every prime p the elementary theory of ⟨ℕ; B_p,SQ_p⟩ is decidable.

Ograniczanie wyników

1 Fundamenta Mathematicae

1 Bès A.

1 Korec I.

1 1998

Wyniki wyszukiwania

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