Isomorphic but not lower base-isomorphic cylindric algebras of finite dimension

DOI10.1305/ndjfl/1093635082zbMath0686.03036OpenAlexW2030001795MaRDI QIDQ1262310

Balázs Biró

Publication date: 1989

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093635082

zbMATH Keywords

cylindric algebraalgebraic version of Vaught's theorem on the existence of prime modelsbase isomorphism

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15)

Related Items

Complexity of equations valid in algebras of relations. I: Strong non-finitizability, Omitting types for algebraizable extensions of first order logic, Epimorphisms in cylindric algebras and definability in finite variable logic