"Henkin pointed out that in both cases one could give a natural semantics in terms of Skolem functions. For example the second sentence can be paraphrased as
∃f∃g ∀v1 ∀v3R(v1,f(v1),v 3,g(v3)),
which has a straightforward Tarski truth condition in second order logic."
My emphasis.
I think you...
What a completely fascinating set of responses, with most seemingly being prepared to engage with the question, a few posting amusing (to different degrees) one-liners, and a couple taking another opportunity to have a pop at someone, without engaging with the question posed by the thread at...
Wow. That's an extremely interesting insight - thanks. It had never occurred to me that people may consistently temper their postings because they feel that they are in some way representing a whole group and need to portray a positive light on that group - or at least not portray a negative one.
For sure Binfests on any topic are sometimes such threads. But there are others too, where a poster posts, say, a rant which is out of keeping with their normal style and the thread continues without turning into a binfest.
Perhaps, where a poster makes a single post or two that seems out of...
I started typing a reply listing generic thread types and stopped for two reasons. Firstly, I had got to six types of thread and had another two types in mind. This made me think that there isn't a specific genre of thread. Instead, it's all threads that create a strong dynamic tension...
There have been a few threads recently where I and others have been left wondering if some of the posters are posting as themselves or whether they have developed a new persona either for a specific thread or, in some instances, for all their NSC musing.
So, do you take the opportunity to...