Vector spaces and binary quantifiers

DOI10.1305/NDJFL/1093870519zbMATH Open0543.03020OpenAlexW2026347847MaRDI QIDQ795826FDOQ795826

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

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

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)

Cited In (8)

• Title not available (Why is that?)
• The hierarchy theorem for generalized quantifiers
• Title not available (Why is that?)
• Definability hierarchies of generalized quantifiers
• Directions in generalized quantifier theory
• \(N\)-dimensional binary vector spaces
• Frame theory for binary vector spaces
• Definability properties and the congruence closure

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)