An introduction to cylindric set algebras
From MaRDI portal
Publication:4511601
Recommendations
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
- Strongly representable atom structures of cylindric algebras
- A FINITE AXIOMATIZATION OF LOCALLY SQUARE CYLINDRIC-RELATIVIZED SET ALGEBRAS
- scientific article; zbMATH DE number 475197 (Why is no real title available?)
- 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)