Jump to content

Talk:Skolem arithmetic

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

Axiomatization

[edit]

Did Skolem himself write down any axiomatization for his arithmetic? Can this arithmetic have any complete axiom system, just as Presburger arithmetic can? 185.46.78.67 (talk) 07:16, 3 May 2019 (UTC)[reply]

Definition

[edit]

Could someone include an explicit definition of this theory? Thanks! -Filozofo (talk) 22:05, 2 February 2024 (UTC)[reply]