Talk:Skolem arithmetic
 | This article is rated Start-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||
| |||||||||||
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)
Definition
[edit]Could someone include an explicit definition of this theory? Thanks! -Filozofo (talk) 22:05, 2 February 2024 (UTC)
Complexity
[edit]The quote given in the complexity section says that the theory has triple exponential space complexity but the intro seems to reframe this as triple exponential time complexity. Are both true? Or is one wrong. I don't have access to the Springer book given as a source but it would be wonderful if someone could clarify and perhaps cite the original proofs. 79.148.199.46 (talk) 14:23, 11 October 2025 (UTC)