An introduction to cylindric set algebras
From MaRDI portal
Publication:4511601
DOI10.1093/JIGPAL/8.4.451zbMATH Open0979.03046OpenAlexW2165661406MaRDI QIDQ4511601FDOQ4511601
Authors: J. Donald Monk
Publication date: 26 February 2002
Published in: Logic Journal of the IGPL (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/jigpal/8.4.451
Recommendations
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Cylindric and polyadic algebras; relation algebras (03G15)
Cited In (14)
- First order logic without equality on relativized semantics
- Geometrical representation theorems for cylindric-type algebras
- Computation with semialgebraic sets represented by cylindrical algebraic formulas
- Neat embeddings, omitting types, and interpolation: an overview
- Quantum cylindric set algebras
- A FINITE AXIOMATIZATION OF LOCALLY SQUARE CYLINDRIC-RELATIVIZED SET ALGEBRAS
- Strongly representable atom structures of cylindric algebras
- Title not available (Why is that?)
- Observational and behavioural equivalences for soft concurrent constraint programming
- Freeing Structural Realism from Model Theory
- Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations
- Atoms in infinite dimensional free sequence-set algebras
- A spatial logic with time and quantifiers
- Measures on cylindric algebras
This page was built for publication: An introduction to cylindric set algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4511601)