Algebraic analysis of the logic with the quantifier there exist uncountably many
From MaRDI portal
Publication:1076011
DOI10.1007/BF01191497zbMath0593.03021MaRDI QIDQ1076011
Publication date: 1984
Published in: Algebra Universalis (Search for Journal in Brave)
Logic with extra quantifiers and operators (03C80) Cylindric and polyadic algebras; relation algebras (03G15)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Algebraic logic with generalized quantifiers
- Model-Theoretic Forcing in Logic With a Generalized Quantifier
- Cylindric Algebras with Filter Quantifiers
- Compact extensions of L(Q) (part 1a)
- Some model theory for monotone quantifiers
- On Automorphisms of Polyadic Algebras
- Amalgamation of Polyadic Algebras
- Logic with the quantifier “there exist uncountably many”
- Representation theory for polyadic algebras