scientific article

zbMath0434.03025MaRDI QIDQ3872438

Xavier Caicedo

Publication date: 1980

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

elementary equivalenceback-and-forth systemsfragments of bounded quantifier rankhigher order quantifiersLindström's quantifier

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Other infinitary logic (03C75)

Related Items (5)

Generalized quantifiers and pebble games on finite structures ⋮ An Extension of the Ehrenfeucht-Fraïssé Game for First Order Logics Augmented with Lindström Quantifiers ⋮ A representation theorem for languages with generalized quantifiers through back-and-forth methods ⋮ On simplicity of formulas ⋮ Definability hierarchies of generalized quantifiers

This page was built for publication: