https://everything2.com/title/Prenex+and+Skolem+normal+forms
Prenex and Skolem normal forms
When working with sentences in predicate logic it is generally useful to rewrite in a normal form which (as rp observes in the writeup of that title)...
prenexskolemnormalforms
https://easychair.org/publications/keyword/sdPp
Keyword: Skolem's paradox
keywordskolemparadox
https://arxiv.org/abs/2504.14413v3
[2504.14413v3] On the $p$-adic Skolem Problem
Abstract page for arXiv paper 2504.14413v3: On the $p$-adic Skolem Problem
on thep adic2504skolemproblem