Talk:Skolem arithmetic
Latest comment: 8 months ago by 79.148.199.46 in topic Complexity
 | This article is rated Start-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||
| |||||||||||
Axiomatization
editDid 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
editCould someone include an explicit definition of this theory? Thanks! -Filozofo (talk) 22:05, 2 February 2024 (UTC)
Complexity
editThe 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)