DOCSLIB.ORG

883 Cylindric

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
883 Cylindric Lecture Notes in Mathematics Edited by A. Dold and B. Eckmann 883 Cylindric Set Cylindric Set Algebras and Related Structures By L. Henkin, J. D. Monk, and A Tarski On Cylindric-Relativized Set Algebras By H. Andreka and I. Nemeti Springer-Verlag Berlin Heidelberg New York 1981 Authors Leon Henkin Department of Mathematics, University of California Berkeley, CA 94720, USA J. Donald Monk Department of Mathematics, University of Colorado Boulder, CO 80309, USA Alfred Tarski 462 Michigan Ave. Berkeley, CA 94707, USA Hajnalka Andreka Istvan Nemeti Mathematical Institute, Hungarian Academy of Sciences Realtanoda u. 13-15, 1053 Budapest, Hungary AMS Subject Classifications (1980): 03C55, 03G15 ISBN 3-540-10881-5 Springer-Verlag Berlin Heidelberg New York ISBN 0-387-10881-5 Springer-Verlag New York Heidelberg Berlin This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically those of translation, reprinting, re-use of illustrations, broadcasting, reproduction by photocopying machine or similar means, and storage in data banks. Under § 54 of the German Copyright Law where copies are made for other than private use, a fee is payable to "Verwertungsgesellschaft Wort", Munich. © by Springer-Verlag Berlin Heidelberg 1981 Printed in Germany Printing and binding: Beltz Offsetdruck, Hemsbach/Bergstr. 2141/3140-543210 Introduction This volume is devoted to a comprehensive treatment of certain set- theoretical structures which consist of fields of sets enhanced by addi- tional fundamental operations and distinguished elements. The treatment is largely self-contained. Each of these structures has an associated dimension a , a finite or infinite ordinal: their basic form is well illustrated in the case a 3 R be an arbitrary set, and let be afield of subsets of the set of all triples of elements of R. Thus is a non-empty collection of subsets of 3R closed under union, intersection, and complementation 3 relative to R• We shall assume that is closed under the three opera- tions CO' C C of cylindrification, where CO' for example, is the l' 2 operation given by: COX = £(x,y,z): (u,y,z) E X for some u, with xER}; COX is the cylinder formed by moving X parallel to the first axis. ClX and C are similarly related to the second and third axes. We also assume 2X that the diagonal planes DOl' D D are in here, for example, 02' 12 £(x,x,y) x,y E R} • Similarly D (resp., D consists of all triples of 3 whose first 02 12) R and third (resp., second and third) coordinates coincide. A collection satisfying all of these conditions is called a cylindric field of sets (of dimensicn 3). Cylindric fields of sets and certain closely related structures are the objects of study in this volume. Considered not merely as collections of sets, but as algebraic objects endOWed with fundamental IV operations and distinguished elements, cylindric fields of sets are called cylindric set algebras. Cs is the class of all cylindric set algebras of dimension a , and ICs is the class of algebras isomorphic to them. a In much of the work, general algebraic notions are studied in their application to cylindric set algebras. We consider subalgebras, homomorphisms, products, and ultraproducts of them, paying special attention, for example, to the closure of ICs and related classes under these operations. In a addition, there are natural operations upon these structures which are specific to their form as certain Boolean algebras with operators, such as relativization to subsets of 3R and isomorphism to algebras of subsets of 38 with SiR, and there are relationships between set algebras of different dimensions. Although, as mentioned, the volume is largely self-contained, we shall often refer to the book Cylindric Algebras, Part I, by Henkin, Monk, and Tarski. Many notions touched on briefly in the present volume are treated in detail in that one, and motivation for considering certain questions can be found there. Indeed, the present work had its genesis in the decision by Henkin, Monk, and Tarski to publish a series of papers which would form the bulk of Part II of their earlier work. Their contribution to the present volume is, in fact, the first of this proposed series. As their writing I proceeded, they learned of the closely related results obtained by Andreka and and invited the latter to publish jointly with themselves. Thus, the present volume consists of two parts. The first, by Henkin, Monk, and Tarski, contains the basic defintions and results on various kinds of cylindric set algebras. The second, by and is organized parallel to the first. In it, certain aspects of the theory are investigated more thoroughly; in particular, many results which are merely formulated v in Part I, are provided with proofs in Part II. In both parts, many open problems concerning the structures considered are presented. The authors Berkeley Boulder Budapest Table of contents First Part: Cylindric set algebras and related structures, by L. Henkin, J.D. Monk, and A. Tarski 1 1. Various set algebras 4 2. Relativization 12 3. Change of base 33 4. Subalgebras 56 5. Homomorphisms 66 6. Products 73 7. Ultraproducts ..................................... 86 8. Reducts 122 9. Problems 126 References 12tl Second Part: On cylindric-relativized set algebras, by H. Andr§ka and I. N§meti 131 O. Basic concepts and notations ... .. .. .... .... ..... .. 132 1. Regular cylindric set algebras 145 2. Relativization 153 3. Change of base 155 4. Subalgebras ........................................ ltl5 5. Homomorphisms .................................... .. 209 6. Products 222 7. Ultraproducts 229 8. Reducts 261 9. Problems 310 References 314 Index of symbols .......................................•....... 317 Index of defined terms 322 Cylindric set algebras and related structures 1) by L. Henkin, J.D. Monk, and A. Tarski The abstract theory of cylindric algebras is extensively developed in the book [HMT] by the authors. Several kinds of special set algebras were mentioned, primarily for motivational purposes, in that book. It is the purpose of this article to begin the examination of these set algebras in more detail. The simplest and most important kind of set algebras are the cylindric set algebras introduced in 1.1.5. (Throughout this article we shall refer to items from [HMT] by number without explicitly mentioning that book). Recall that the unit element of any a - dimensional cylindric set algebra (Cs ) is the Cartesian power aU of a set U (the base), a and the other elements of A are subsets of U• The diagonal element a of is the set [x E U·.Kx = x } for each < a fundamental Boolean operations of are union, intersection, and comple- mentation; and for each K < a the fundamental operation C consists K of cylindrification by translation parallel to the Kth axis of the space. Several other kinds of set algebras were briefly considered in [HMTJ, and their definition is similar to that of a cylindric set algebra: weak cylindric set algebras (cf. 2.2.11), generalized cylindric set algebras (cf. 1.1.13), and shall now call generalized weak cylindric set algebras (cf. 2.2.11). The algebras of each of these kinds have for their unit element! subsets of a special kind of some Cartesian space au, while 1) This article is the first in a series intended to form a large portion of the second volume of the work Cylindric Algebras, of which Part I has appeared ([HMTJ in the bibliography). The research and writing were sup- ported in part by NSF grants MPS 75-03583, MCS 77-22913. the fundamental operations of any such algebra are obtained from those of a Cs , with unit element aU , by relativization (in the sense of 2.2) a to the unit element of the algebra discussed. To unify our treatment of these several classes of cylindric set algebras we use here as the most general class of set algebras that of the cylindric-relativized set algebras, in which the unit elements may be arbitrary subsets of a Cartesian space. These algebras are simply subalgebras of those algebras that are obtained by arbitrary relativizations from full cylindric set algebras. We shall not discuss here, however, the class of all cylindric-relativized set algebras in any detail, restricting ourselves to the aspects of relativization directly relevant to our discussion of those set algebras which are GA's Much of the importance of cylindric set algebras stems from the following construction. Given any relational structure and any first-order discourse language A for , the collection c;f: CjJ a formula of A} forms an a - dimensional cylindric field of sets, where a is the length of the sequence of variables of A (for the notation used here, see the Preliminaries of [HMT]). Thus the above collection is the universe of a cylindric set algebra . This algebra is locally finite dimensional in the sense of 1.11.1 since K except possibly for the finitely many K < a such that the Kth variable of A occurs free in CjJ Furthermore, has an additional property of a regularity: if x E B f E x g EC and flx1f !:,x1g , then g E x (Here fix the dimension set of x ,is LK E a : cKx I x} see 1.6.1.) Regular set algebras will be discussed extensively later. The article has nine sections. In section I we give formal defini- tions of the classes of set algebras which are studied in this article and we state the simplest relationships between them; the proofs are found in later sections of the paper. In section 2 some deeper relation- ships are established, using the notion of relativization. Section 3 is concerned with change of base, treating the question of conditions 3 under which a set algebra with base U is isomorphic to one with a different base W; the main results are algebraic versions of the Lowenheim, Skolem, Tarski theorems (some results on change of base are also found in section 7).
Load more

Recommended publications
  • A Formalization of Logic in Diagonal-Free Cylindric Algebras Andrew John Ylvisaker Iowa State University
    Iowa State University Capstones, Theses and Graduate Theses and Dissertations Dissertations 2012 A formalization of logic in diagonal-free cylindric algebras Andrew John Ylvisaker Iowa State University Follow this and additional works at: https://lib.dr.iastate.edu/etd Part of the Mathematics Commons Recommended Citation Ylvisaker, Andrew John, "A formalization of logic in diagonal-free cylindric algebras" (2012). Graduate Theses and Dissertations. 12536. https://lib.dr.iastate.edu/etd/12536 This Dissertation is brought to you for free and open access by the Iowa State University Capstones, Theses and Dissertations at Iowa State University Digital Repository. It has been accepted for inclusion in Graduate Theses and Dissertations by an authorized administrator of Iowa State University Digital Repository. For more information, please contact [email protected]. A formalization of logic in diagonal-free cylindric algebras by Andrew John Ylvisaker A dissertation submitted to the graduate faculty in partial fulfillment of the requirements for the degree of DOCTOR OF PHILOSOPHY Major: Mathematics Program of Study Committee: Roger D. Maddux, Major Professor Maria Axenovich Cliff Bergman Bill Robinson Paul Sacks Iowa State University Ames, Iowa 2012 Copyright c Andrew John Ylvisaker, 2012. All rights reserved. ii TABLE OF CONTENTS LIST OF TABLES . iii LIST OF FIGURES . iv CHAPTER 1. BACKGROUND MATERIAL . 1 1.1 Introduction . .1 1.2 First-order logic . .4 1.3 General algebra and Boolean algebras with operators . .6 1.4 Relation algebras . 11 1.5 Cylindric algebras . 17 CHAPTER 2. RELATION ALGEBRAIC REDUCTS . 21 2.1 Definitions . 21 2.2 Preliminary lemmas . 27 + 2.3 Q RA reducts in Df3 .....................................
    [Show full text]
  • Intuitionistic Databases and Cylindric Algebra
    Intuitionistic Databases and Cylindric Algebra Ali Moallemi A thesis In the Department of Computer Science and Software Engineering Presented in Partial Fulfillment of the Requirements For the Degree of Doctor of Philosophy (Computer Science) at Concordia University Montr´eal,Qu´ebec, Canada February 2019 © Ali Moallemi, 2019 Abstract Intuitionistic Databases and Cylindric Algebra Ali Moallemi, Ph.D. Concordia University, 2019 The goal of this thesis is to introduce a logical view of databases based on four-valued logic, to revisit the foundations of the relational model and unearth universal nulls, and to handle finitely representable cases of infinite databases. In order to achieve this, we develop an intuitionistic relevance-logic based semantics that allows us to handle Full First Order queries similar to monotone First Order queries. Universal Null represents all the possible values in the Domain. Next, we fully investigate the relational model and universal nulls, showing that they can be treated on par with the usual existential nulls. To do so, we show that a suitable finite representation mechanism, called Star-Cylinders, handling universal nulls can be de- veloped based on the Cylindric Set Algebra of Henkin, Monk and Tarski. We provide a finitary version of the Cylindric Set Algebra, called Star Cylindric Algebra, and show that our star-cylinders are closed under this algebra. Moreover, we show that any First Order Relational Calculus query over databases containing universal nulls can be translated into an equivalent expression in our star cylindric algebra, and vice versa. All star cylindric algebra expressions can be evalu- ated in time polynomial in the size of the database.
    [Show full text]
  • 31 Aug 2013 Cylindric and Polyadic Algebras, New Perspectives
    Cylindric and polyadic algebras, new perspectives Tarek Sayed Ahmed September 22, 2018 Abstract We generalize the notions of Monk’s system of varieties definable by a schema to integrate finite dimensions. We give a general method in this new framework that allows one to lift a plethora of results on neat embeddings to the infinite dimensional case. Several examples are given. We prove that that given α ≥ ω, r ∈ ω and k ≥ 1, there is r an algebra B ∈ NrαKα+k ∼ SNrαKα+k such that ΠrAr/F ∈ Kα for any r ∈ ω, where K is either the class of cylindric algebras or quasi- polyadic equality algebras (QEA). We discuss its analogue for diagonal free algebras like Pinter’s algebras and quasi-polyadic algebras. In another direction, we use Andr´eka’s methods of splitting to show that RQEAα (representable QEAαs) cannot be axiomatized by a finite schema over its substitution free reduct discarding substitution opera- tions indexed by transpositions, and is not finitely axiomatizable over its diagonal free reduct. We also give a general definition encompassing the two notions of Monk’s and Halmos’ schema, in infinite dimensions, which we call a gen- arXiv:1309.0681v1 [math.LO] 31 Aug 2013 eralized system of varieties definable by schema, and give many concrete examples. In this context we show that the free MV polyadic algebras, and free algebras in various countable reducts of Heyting polyadic al- gebras, have an interpolation property, deducing that the former class have the super-amalgamation property. We also show that Ferenczi’s cylindric-polyadic algebras have the super-amalgamation property.
    [Show full text]
  • Proceedings of the Tarski Symposium *
    http://dx.doi.org/10.1090/pspum/025 PROCEEDINGS OF THE TARSKI SYMPOSIUM *# <-r ALFRED TARSKI To ALFRED TARSKI with admiration, gratitude, and friendship PROCEEDINGS OF SYMPOSIA IN PURE MATHEMATICS VOLUME XXV PROCEEDINGS of the TARSKI SYMPOSIUM An international symposium held to honor Alfred Tarski on the occasion of his seventieth birthday Edited by LEON HENKIN and JOHN ADDISON C. C. CHANG WILLIAM CRAIG DANA SCOTT ROBERT VAUGHT published for the ASSOCIATION FOR SYMBOLIC LOGIC by the AMERICAN MATHEMATICAL SOCIETY PROVIDENCE, RHODE ISLAND 1974 PROCEEDINGS OF THE TARSKI SYMPOSIUM HELD AT THE UNIVERSITY OF CALIFORNIA, BERKELEY JUNE 23-30, 1971 Co-sponsored by The University of California, Berkeley The Association for Symbolic Logic The International Union for History and Philosophy of Science- Division of Logic, Methodology and Philosophy of Science with support from The National Science Foundation (Grant No. GP-28180) Library of Congress Cataloging in Publication Data nv Tarski Symposium, University of California, Berkeley, 1971. Proceedings. (Proceedings of symposia in pure mathematics, v. 25) An international symposium held to honor Alfred Tarski; co-sponsored by the University of California, Berkeley, the Association for Symbolic Logic [and] the International Union for History and Philosophy of Science-Division of Logic, Methodology, and Philosophy of Science. Bibliography: p. 1. Mathematics-Addresses, essays, lectures. 2. Tarski, Alfred-Bibliography. 3. Logic, Symbolic and mathematical-Addresses, essays, lectures. I. Tarski, Alfred. II. Henkin, Leon, ed. III. California. University. IV. Association for Symbolic Logic. V. International Union of the History and Philosophy of Sci• ence. Division of Logic, Methodology and Philosophy of Science. VI. Series. QA7.T34 1971 51l'.3 74-8666 ISBN 0-8218-1425-7 Copyright © 1974 by the American Mathematical Society Second printing, with additions, 1979 Printed in the United States of America All rights reserved except those granted to the United States Government.
    [Show full text]
  • On the Finitizability Problem in Algebraic Logic; Recent Results
    The Finitizability Problem in Algebraic Logic, recent results and developments: From neat embeddings to Erdos’ graphs Tarek Sayed Ahmed Department of Mathematics, Faculty of Science, Cairo University, Giza, Egypt. October 8, 2018 Abstract . This is an article on the so-called Finitizability Problem in Algebraic Logic. We take a magical tour from the early works of Tarski on relation algebras in the forties all the way to neat embeddings and recent resuts in algebraic logic using Erdos probabilistic graphs. Several deep theorems proved for cylindric algebras are surveyed refined and slightly generalized to other algebraisations of first order logic, like polyadic algebras and diagonal free cylindric algebras. A hitherto unpublished presentation of this problem in a categorial setting is presented. Techniques from stability theory are applied to representation problems in algebraic logic. Philosoph- ical implications are extensively discussed. 1 Algebraic logic starts from certain special logical considerations, abstracts from them, places them in a general algebraic context and via this generaliza- arXiv:1302.1368v1 [math.LO] 6 Feb 2013 tion makes contact with other branches of mathematics (like set theory and topology). It cannot be overemphasized that algebraic logic is more algebra than logic, nor more logic than algebra; in this paper we argue that algebraic logic, particularly the theory of cylindric algebras, has become sufficiently in- teresting and deep to acquire a distinguished status among other subdisciplines of mathematical logic. The principal ideas of the theory of cylindric algebras which is the algebraic setting of first order logic were elaborated by Tarski in cooperation with his students L. H.
    [Show full text]