Talk:Skolem arithmetic

Axiomatization
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)

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