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

DOI10.1007/BF00671569zbMath0716.03034OpenAlexW2052008745MaRDI QIDQ752702

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

Publication date: 1988

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

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

zbMATH Keywords

Fraissé-Ehrenfeucht- Taimanov gamefunctors between categories of structuresMostowski quantifiersrepresentation of formulas

Mathematics Subject Classification ID

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

Cites Work

• Catégories inductives et pseudogroupes
• The infinite groups of Lie and Cartan. I: The transitive groups
• An application of games to the completeness problem for formalized theories
• Unnamed Item
• Unnamed Item

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