Talk:Lindström quantifier

There are two separate pages for Lindström quantifier and generalized quantifier, but really they are the same thing. They should be merged in some way, but I'm too lazy to care about it. Nortexoid 20:10, 28 January 2007 (UTC)[reply]

Sorry, at a very first glance they appear to be different notions.--Popopp (talk) 16:37, 16 March 2009 (UTC)[reply]

Algorithmic characterization section

There is an empty section called "Algorithmic characterization". Is this supposed to be about computational complexity? In which papers should it be based?

Jose Brox (talk) 15:16, 16 April 2020 (UTC)[reply]