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

1985 ◽  
Vol 50 (1) ◽  
pp. 59-71 ◽  
Author(s):  
Jean A. Larson
Keyword(s):  
Finite Dimension ◽  
Cylindric Algebras ◽  
Locally Finite ◽  
Isomorphism Classes ◽  
Single Generator ◽  
Cylindric Set Algebras

AbstractS. Ulam asked about the number of nonisomorphic projective algebras with κ 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 α ≥ 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 κ ≥ ∣α∣, and ones with a single generator.

Nonfinitizability of classes of representable cylindric algebras

1969 ◽  
Vol 34 (3) ◽  
pp. 331-343 ◽  
Author(s):  
J. Donald Monk
Keyword(s):  
Predicate Logic ◽  
Infinite Dimension ◽  
Fundamental Result ◽  
Cylindric Algebra ◽  
Cylindric Algebras ◽  
Locally Finite ◽  
First Order ◽  
Alfred Tarski ◽  
Sentential Logic ◽  
Algebraic Counterpart

Cylindric algebras were introduced by Alfred Tarski about 1952 to provide an algebraic analysis of (first-order) predicate logic. With each cylindric algebra one can, in fact, associate a certain, in general infinitary, predicate logic; for locally finite cylindric algebras of infinite dimension the associated predicate logics are finitary. As with Boolean algebras and sentential logic, the algebraic counterpart of completeness is representability. Tarski proved the fundamental result that every locally finite cylindric algebra of infinite dimension is representable.

STONE SPACE OF CYLINDRIC ALGEBRAS AND TOPOLOGICAL MODEL SPACES

2016 ◽  
Vol 81 (3) ◽  
pp. 1069-1086
Author(s):  
CHARLES C. PINTER
Keyword(s):  
Boolean Algebra ◽  
Model Theory ◽  
Representation Theorem ◽  
Stone Space ◽  
Equivalence Relations ◽  
Cylindric Algebra ◽  
Cylindric Algebras ◽  
Locally Finite ◽  
Abstract Model Theory ◽  
Image Position

AbstractThe Stone representation theorem was a milestone for the understanding of Boolean algebras. From Stone’s theorem, every Boolean algebra is representable as a field of sets with a topological structure. By means of this, the structural elements of any Boolean algebra, as well as the relations between them, are represented geometrically and can be clearly visualized. It is no different for cylindric algebras: Suppose that ${\frak A}$ is a cylindric algebra and ${\cal S}$ is the Stone space of its Boolean part. (Among the elements of the Boolean part are the diagonal elements.) It is known that with nothing more than a family of equivalence relations on ${\cal S}$ to represent quantifiers, ${\cal S}$ represents the full cylindric structure just as the Stone space alone represents the Boolean structure. ${\cal S}$ with this structure is called a cylindric space.Many assertions about cylindric algebras can be stated in terms of elementary topological properties of ${\cal S}$. Moreover, points of ${\cal S}$ may be construed as models, and on that construal ${\cal S}$ is called a model space. Certain relations between points on this space turn out to be morphisms between models, and the space of models with these relations hints at the possibility of an “abstract” model theory. With these ideas, a point-set version of model theory is proposed, in the spirit of pointless topology or category theory, in which the central insight is to treat the semantic objects (models) homologously with the corresponding syntactic objects so they reside together in the same space.It is shown that there is a new, purely algebraic way of introducing constants in cylindric algebras, leading to a simplified proof of the representation theorem for locally finite cylindric algebras. Simple rich algebras emerge as homomorphic images of cylindric algebras. The topological version of this theorem is especially interesting: The Stone space of every locally finite cylindric algebra ${\frak A}$ can be partitioned into subspaces which are the Stone spaces of all the simple rich homomorphic images of ${\frak A}$. Each of these images completely determines a model of ${\frak A}$, and all denumerable models of ${\frak A}$ appear in this representation.The Stone space ${\cal S}$ of every cylindric algebra can likewise be partitioned into closed sets which are duals of all the types in ${\frak A}$. This fact yields new insights into miscellaneous results in the model theory of saturated models.

scholarly journals Locally finite groups with finitely many isomorphism classes of derived subgroups

2013 ◽  
Vol 393 ◽  
pp. 102-119 ◽  
Author(s):  
Patrizia Longobardi ◽  
Mercede Maj ◽  
Derek J.S. Robinson
Keyword(s):  
Finite Groups ◽  
Locally Finite ◽  
Locally Finite Groups ◽  
Isomorphism Classes

On the number of generators of cylindric algebras

1985 ◽  
Vol 50 (4) ◽  
pp. 865-873
Author(s):  
H. Andréka ◽  
I. Németi
Keyword(s):  
Model Theory ◽  
Order Logic ◽  
First Order Logic ◽  
Single Element ◽  
Abstract Model ◽  
Finitely Generated ◽  
Cylindric Algebras ◽  
Abstract Model Theory ◽  
First Order ◽  
Cylindric Set Algebras

The theory of cylindric algebras (CA's) is the algebraic theory of first order logics. Several ideas about logic are easier to formulate in the frame of CA-theory. Such are e.g. some concepts of abstract model theory (cf. [1] and [10]–[12]) as well as ideas about relationships between several axiomatic theories of different similarity types (cf. [4] and [10]). In contrast with the relationship between Boolean algebras and classical propositional logic, CA's correspond not only to classical first order logic but also to several other ones. Hence CA-theoretic results contain more information than their counterparts in first order logic. For more about this see [1], [3], [5], [9], [10] and [12].Here we shall use the notation and concepts of the monographs Henkin-Monk-Tarski [7] and [8]. ω denotes the set of natural numbers. CAα denotes the class of all cylindric algebras of dimension α; by “a CAα” we shall understand an element of the class CAα. The class Dcα ⊆ CAα was defined in [7]. Note that Dcα = 0 for α ∈ ω. The classes Wsα, and Csα were defined in 1.1.1 of [8], p. 4. They are called the classes of all weak cylindric set algebras, regular cylindric set algebras and cylindric set algebras respectively. It is proved in [8] (I.7.13, I.1.9) that ⊆ CAα. (These inclusions are proper by 7.3.7, 1.4.3 and 1.5.3 of [8].)It was proved in 2.3.22 and 2.3.23 of [7] that every simple, finitely generated Dcα is generated by a single element. This is the algebraic counterpart of a property of first order logics (cf. 2.3.23 of [7]). The question arose: for which simple CAα's does “finitely generated” imply “generated by a single element” (see p. 291 and Problem 2.3 in [7]). In terms of abstract model theory this amounts to asking the question: For which logics does the property described in 2.3.23 of [7] hold? This property is roughly the following. In any maximal theory any finite set of concepts is definable in terms of a single concept. The connection with CA-theory is that maximal theories correspond to simple CA's (the elements of which are the concepts of the original logic) and definability corresponds to generation.

Groups whose irreducible representations have finite degree

1981 ◽  
Vol 90 (3) ◽  
pp. 411-421 ◽  
Author(s):  
B. A. F. Wehrfritz
Keyword(s):  
Nilpotent Group ◽  
Positive Solution ◽  
Finite Dimension ◽  
Systematic Investigation ◽  
Polycyclic Group ◽  
Irreducible Representations ◽  
Finitely Generated ◽  
Finite Degree ◽  
Commutative Field ◽  
Locally Finite

Throughout this paper F denotes a (commutative) field. Let XF denote the class of all groups G such that every irreducible FC-module has finite dimension over F. In (1) P. Hall showed that if F is not locally finite and if G is polycyclic, then G∈XF if and only if G is abelian-by-finite. Also in (1), if F is locally finite he proved that every finitely generated nilpotent group is in XF and he conjectured that XF should contain every polycyclic group. This turned out to be very difficult, but a positive solution was eventually found by Roseblade, see (8). Meanwhile Levič in (4) had started a systematic investigation of the classes XF. Although his paper contains a number of errors, obscurities and omissions, it remains an interesting work, and it, or more accurately its recent translation, stimulated this present paper.

Isomorphic but not lower base-isomorphic cylindric set algebras

1988 ◽  
Vol 53 (3) ◽  
pp. 846-853 ◽  
Author(s):  
B. Biró ◽  
S. Shelah
Keyword(s):  
Model Theory ◽  
Algebraic Logic ◽  
Algebraic Model ◽  
Locally Finite ◽  
Lower Base ◽  
Cylindric Set Algebras

AbstractThis paper belongs to cylindric-algebraic model theory understood in the sense of algebraic logic. We show the existence of isomorphic but not lower base-isomorphic cylindric set algebras. These algebras are regular and locally finite. This solves a problem raised in [N 83] which was implicitly present also in [HMTAN 81]. This result implies that a theorem of Vaught for prime models of countable languages does not continue to hold for languages of any greater power.

Sign in / Sign up

Export Citation Format

Share Document