𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Definability of second order generalized quantifiers

✍ Scribed by Juha Kontinen

Publisher
Springer
Year
2010
Tongue
English
Weight
234 KB
Volume
49
Category
Article
ISSN
0933-5846

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

On second-order generalized quantifiers
On second-order generalized quantifiers and finite structures
✍ Anders Andersson πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 255 KB

We consider the expressive power of second-order generalized quantiΓΏers on ΓΏnite structures, especially with respect to the types of the quantiΓΏers. We show that on ΓΏnite structures with at most binary relations, there are very powerful second-order generalized quantiΓΏers, even of the simplest possi

Second Order Definability Via enumeratio
Second Order Definability Via enumerations
✍ Ivan N. Soskov πŸ“‚ Article πŸ“… 1991 πŸ› John Wiley and Sons 🌐 English βš– 564 KB

SECOND ORDER DEFINABILITY VIA ENUMERATIONS by IVAN N. SOSKOV in Sofia (Bulgaria)') An external characterization of two classes of second order computable objects on abstract structures is presented in this paper. Namely of the search computable functionals [6] and of the operators computable by mea

Characterizing Second Order Logic with F
Characterizing Second Order Logic with First Order Quantifiers
✍ David Harel πŸ“‚ Article πŸ“… 1979 πŸ› John Wiley and Sons 🌐 English βš– 257 KB

CHARACTERIZING SECOND ORDER LOGIC WITH FIRST ORDER QU-4NTIFIERX by DAVID HAREL in Cambridge, Massachusets (U.S.A.) l) ') The author is indebted to W. J. WALKOE, A. R. MEYER, A. SHAMIR and a rcfeiee for comments on previous versions.