Pages that link to "Item:Q4511601"
From MaRDI portal
The following pages link to An introduction to cylindric set algebras (Q4511601):
Displaying 12 items.
- Neat embeddings, omitting types, and interpolation: an overview (Q558739) (← links)
- Measures on cylindric algebras (Q788718) (← links)
- First order logic without equality on relativized semantics (Q1791054) (← links)
- Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations (Q2304538) (← links)
- Atoms in infinite dimensional free sequence-set algebras (Q2328129) (← links)
- Observational and behavioural equivalences for soft concurrent constraint programming (Q2403819) (← links)
- Computation with semialgebraic sets represented by cylindrical algebraic formulas (Q2946521) (← links)
- Strongly representable atom structures of cylindric algebras (Q3399179) (← links)
- A FINITE AXIOMATIZATION OF LOCALLY SQUARE CYLINDRIC-RELATIVIZED SET ALGEBRAS (Q4780286) (← links)
- Freeing Structural Realism from Model Theory (Q5015979) (← links)
- Geometrical representation theorems for cylindric-type algebras (Q5215389) (← links)
- A spatial logic with time and quantifiers (Q6546610) (← links)