The number of one-generated cylindric set algebras of dimension greater than two

Journal of Symbolic Logic 50 (1):59-71 (1985)
  Copy   BIBTEX

Abstract

S. Ulam asked about the number of nonisomorphic projective algebras with k generators. This paper answers his question for projective algebras of finite dimension at least three and shows that there are the maximum possible number, continuum many, of nonisomorphic one-generated structures of finite dimension n, where n is at least three, of the following kinds: projective set algebras, projective algebras, diagonal-free cylindric set algebras, diagonal-free cylindric algebras, cylindric set algebras, and cylindric algebras. The results of this paper extend earlier results to the collection of cylindric set algebras and provide a uniform proof for all the results. Extensions of these results for dimension two are discussed where some modifications on the hypotheses are needed. Furthermore for α |geq 2, the number of isomorphism classes of regular locally finite cylindric set algebras of dimension α of the following two kinds are computed: ones of power κ for infinite $\kappa \geq|\alpha|$ , and ones with a single generator

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,127

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

A Completeness Theorem For Higher Order Logics.Gabor Sagi - 2000 - Journal of Symbolic Logic 65 (2):857-884.
Finite Diagonal-free Two-dimensional Cylindric Algebras.Marttín Figallo - 2004 - Logic Journal of the IGPL 12 (6):509-523.
A completeness theorem for higher order logics.Gábor Sági - 2000 - Journal of Symbolic Logic 65 (2):857-884.
Bare canonicity of representable cylindric and polyadic algebras.Jannis Bulian & Ian Hodkinson - 2013 - Annals of Pure and Applied Logic 164 (9):884-906.
Undecidable Theories of Lyndon Algebras.Vera Stebletsova & Yde Venema - 2001 - Journal of Symbolic Logic 66 (1):207-224.

Analytics

Added to PP
2009-01-28

Downloads
9 (#1,281,906)

6 months
37 (#101,767)

Historical graph of downloads
How can I increase my downloads?