Quantcast
Browsing latest articles
Browse All 2 View Live

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 Article


Distinction 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

Browsing latest articles
Browse All 2 View Live