A representation theorem for languages with generalized quantifiers through back-and-forth methods

DOI10.1007/BF00671569zbMATH Open0716.03034OpenAlexW2052008745MaRDI QIDQ752702FDOQ752702

Authors: Renato H. L. Pedrosa, Antonio M. A. Sette 

Publication date: 1988

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00671569

Recommendations

• scientific article; zbMATH DE number 1163950
• Generalized quantifiers and modal logic
• scientific article; zbMATH DE number 5853298
• An extension of the Ehrenfeucht-Fraïssé game for first order logics augmented with Lindström quantifiers
• Rank hierarchies for generalized quantifiers

zbMATH Keywords

functors between categories of structuresMostowski quantifiersrepresentation of formulasFraissé-Ehrenfeucht- Taimanov game

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Categorical logic, topoi (03G30) Other infinitary logic (03C75)

Cites Work

• The infinite groups of Lie and Cartan. I: The transitive groups
• An application of games to the completeness problem for formalized theories
• Title not available (Why is that?)
• Title not available (Why is that?)
• Catégories inductives et pseudogroupes

This page was built for publication: A representation theorem for languages with generalized quantifiers through back-and-forth methods

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q752702)