Isomorphic but not lower base-isomorphic cylindric algebras of finite dimension
type: Item
instance of: scholarly article
title: Isomorphic but not lower base-isomorphic cylindric algebras of finite dimension
zbMATH Open document ID: 0686.03036
published in: Notre Dame Journal of Formal Logic
publication date: 1989-01-01T00:00:00Z
review text: The author shows that a certain theorem of Serény is best possible; Serény's theorem is an algebraic version of Vaught's theorem on the existence of prime models of atomic theories in countable languages. A corollary of the constructions here is that Vaught's theorem does not extend to languages with finitely many (but at least 2) variables.
reviewed by: J. Donald Monk
Mathematics Subject Classification ID: 03G15
zbMATH DE Number: 4123728
zbMATH Keywords: cylindric algebra
zbMATH Keywords: base isomorphism
zbMATH Keywords: algebraic version of Vaught's theorem on the existence of prime models
author: Balázs Biró
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1305/ndjfl/1093635082
OpenAlex ID: W2030001795
DOI: 10.1305/NDJFL/1093635082
description: scientific article; zbMATH DE number 4123728