Vector spaces and binary quantifiers

DOI10.1305/NDJFL/1093870519MaRDI QIDQ795826zbMATH OpenOpenAlexFDO

Authors Michał Krynicki, Jouko Väänänen, Alistair H. Lachlan

Publication date 1984

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1093870519

zbMATH Keywords

binary quantifiersdimension of vector spacesternary quantifier

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Vector spaces, linear dependence, rank, lineability (15A03)

Recommendations

• Polyadic quantifiers
• On vectorizations of unary generalized quantifiers
• ELIMINATION OF QUANTIFIERS OVER VECTORS IN SOME THEORIES OF VECTOR SPACES
• Definability of second order generalized quantifiers
• Definability hierarchies of generalized quantifiers

Cited in

(8)

• Definability hierarchies of generalized quantifiers
• Directions in generalized quantifier theory
• scientific article; zbMATH DE number 35114 (Why is no real title available?)
• \(N\)-dimensional binary vector spaces
• scientific article; zbMATH DE number 761292 (Why is no real title available?)
• The hierarchy theorem for generalized quantifiers
• Definability properties and the congruence closure
• Frame theory for binary vector spaces

This page was built for publication: Vector spaces and binary quantifiers

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