↧
Answer by ℋolo for Distinction between Built-in and Definable Skolem Functions
$\newcommand{\L}{\mathcal{L}}$First let me define better those 2 terms:$T_\L$ is a Skolem theory(or, has built in Skolem functions, same thing) if:For every $n+1$-ary formula $φ$, there exists in$\L$...
View ArticleDistinction between Built-in and Definable Skolem Functions
In A Course on Basic Model Theory ( Haimanti Sarbadhikari, Shashi Mohan Srivastava, pp. 27-28) and other textbooks, I have found the following distinction:A theory T has Built-in Skolem Functions iff...
View Article