LATTICE THEORY.
|
|
- Elijah Edwards
- 5 years ago
- Views:
Transcription
1
2 LATTICE THEORY
3 PROCEEDINGS OF THE SECOND SYMPOSIUM IN PURE MATHEMATICS OF THE AMERICAN MATHEMATICAL SOCIETY Held at the U.S. Naval Postgraduate School Monterey, California April 16-18, 1959 WITH THE FINANCIAL SUPPORT OF THE NATIONAL SCIENCE FOUNDATION R. P. Dilworth EDITOR
4 PROCEEDINGS OP SYMPOSIA IN PURE MATHEMATICS VOLUME II LATTICE THEORY AMERICAN MATHEMATICAL SOCIETY 190 HOPE STREET, PROVIDENCE, RHODE ISLAND 1961
5 Library of Congress Catalog Number Prepared by the American Mathematical Society under Grant No. NSF-G8292 with the National Science Foundation Copyright 1960 by the American Mathematical Society. Printed in the United States of America. All rights reserved except those granted to the United States Government. Otherwise, this book, or parts thereof, may not be reproduced in any form without permission of the publishers.
6 CONTENTS PREFACE vii PART I. LATTICE STRUCTURE THEORY Structure and decomposition theory of lattices... 3 By R. P. DILWORTH Status of word problems for lattices By P. M. WHITMAN Generalized partitions and lattice embedding theorems By JURIS HARTMANIS Sublattices of free lattices By R. A. DEAN Prime ideal characterization of generalized Post algebras.. 43 By C. C. CHANG and ALFRED HORN PART II. COMPLEMENTED MODULAR LATTICES Complemented modular lattices By ISRAEL HALPERIN Extensions of von Neumann's coordinatization theorem.. 65 By B. JONSSON Coordinates in non-desarguesian complemented modular lattices. 71 By K. D. FRYER The normal completion of a complemented modular point lattice. 78 By J. E. MCLAUGHLIN PART III. BOOLEAN ALGEBRAS Cylindric algebras By LEON HENKIN and ALFRED TARSKI Injective and projective Boolean algebras By P. R. HALMOS
7 vi CONTENTS Cardinal and ordinal multiplication of relation types By C. C. CHANG Some questions about complete Boolean algebras By R. S. PIERCE Retracts in Boolean algebras By PHILIP DWINGER PART IV. APPLICATIONS OF LATTICE THEORY Lattices in applied mathematics By GARRETT BIRKHOFF On the lattice of normal subgroups of a group By MARSHALL HALL, JR. Locally compact topological lattices By L. W. ANDERSON Function lattices By F. W. ANDERSON INDEX
8 PREFACE This volume contains the papers presented at the Symposium on Partially Ordered Sets and Lattice Theory held in conjunction with the Monterey meeting of the American Mathematical Society in April The Symposium was sponsored by the American Mathematical Society and supported by a grant from the National Science Foundation. The interest and support of these organizations is gratefully acknowledged. Some twenty-one years earlier, on April 15, 1938, the first general symposium on lattice theory was held in Charlottesville in conjunction with a regular meeting of the American Mathematical Society. The three principal addresses on that occasion were entitled: Lattices and their Applications, On the Application of Structure Theory to Groups, and The Representation of Boolean Algebras. It is interesting to observe that the first and last of these titles appear again as section titles for the present Symposium. Furthermore the second title is still of current interest as evidenced by the paper of Marshall Hall. Nevertheless there have been major changes in emphasis and interest during the intervening years and thus some general comments concerning the present state of the subject and its relationship to other areas of mathematics appear to be appropriate. The theory of groups provided much of the motivation and many of the technical ideas in the early development of lattice theory. Indeed it was the hope of many of the early researchers that lattice-theoretic methods would lead to the solution of some of the important problems in group theory. Two decades later, it seems to be a fair judgment that, while this hope has not been realized, lattice theory has provided a useful framework for the formulation of certain topics in the theory of groups (for example, generalizations of the Jordan-Holder theorem) and has produced some interesting and difficult group-theoretic problems (cf. the excellent monograph of M. Suzuki). On the other hand, the fundamental problems of lattice theory have, for the most part, not come from this source but have arisen from attempts to answer intrinsically natural questions concerning lattices and partially ordered sets; namely, questions concerning the decompositions, representations, imbedding, and free structure, of such systems. It should be pointed out that group theory and other areas of mathematics have furnished concepts and methods which have proved to be useful in the study of these questions. Thus the techniques associated with the study of composition series and chief series in group have been successfully applied to the structure of modular and semi-modular lattices. Set topology and ring theory have been the source of many fruitful ideas in the study of Boolean algebras. Also the theory of linear vector spaces and projective vii
9 viii PREFACE geometries have contributed some of the basic methods for the development of the theory of complemented modular lattices and, in particular, continuous geometries. Nevertheless, as the study of these basic questions has progressed, there has come into being a sizable body of technical ideas and methods which are peculiarly lattice-theoretic in nature. These conceptual tools are intimately related to the underlying order relation and are particularly appropriate for the study of general lattice structure. At the 1938 Symposium, lattice theory was described as a " vigorous and promising younger brother of group theory". In the intervening years it has developed into a full-fledged member of the algebraic family with an extensive body of knowledge and a collection of exciting problems all of its own. Such outstanding problems as the construction of a set of structure invariants for certain classes of Boolean algebras, the characterization of the lattice of congruence relations of a lattice, the imbedding of finite lattices in finite partitions lattices, the word problem for free modular lattices, and the construction of a dimension theory for continuous, non-complemented, modular lattices, have an intrinsic interest independent of the problems associated with other algebraic systems. Furthermore, these and other current problems are sufficiently difficult that imaginative and ingenious methods will be required in their solutions. A vigorous group of mathematicians are attacking these problems and the results of some recent progress may be found in the papers included in this volume. R. P. DILWORTH CALIFORNIA INSTITUTE OF TECHNOLOGY
10 INDEX Abstract (L)-space, 174, 180 Addition cardinal, 123 ordinal, 123 square, 123 Algebra a-dimensional cylindric, 97 a-dimensional quantifier, 97 Baer, 76 cylindric, 83 cylindric set of dimension a. 100 /-, 167 free, 94, 116 generalized Post, 44 Z-, 167 of formulas, 84, 86 Post, 43 projective, 111 quantifier, 83 quotient, 90 relation, 111 relativized cylindric set, 104 special cylindric, 87 special cylindric set, 92 special quantifier, 87 Algebra, Boolean, 10, 23, 25, 83, 85, 114, 174 cardinal property of, 130 complete, 114 countable, 117 free, 19 homogeneous, 129 K-, 200 Algebraic, 59 a-complete retract, 141, 144 a-dimensional cylindric algebra, 97 a-dimensional quantifier algebra, 97 Alternative ring, 58 Arguesian, 65 Arithmetical class, 96 Ascending chain condition, 9 continuity, 51 Atomistic CA a, 100 Atoms, 55 Automorphism, 60 Averaging ergodic, 172 operators, 163, 165 Axiomatizability, finite, 96, 107 Baer algebra, 76 non-desarguesian complemented modular lattices, 75 Base, 92, 100 Basis, 66 homogeneous, 57 homogeneous of order n, 71 Bernstein (See Cantor) Boolean algebra, 10, 23, 25, 83, 85, 114, 174 cardinal property of, 130 complete, 114 countable, 117 free, 19 homogeneous, 129 K- y 200 CA a atomistic, 100 dimensionally complemented, 98 ideal J in, 99 locally finite dimensional, 98 representable, 100 Calculus predicate, 85 predicate with a variables, 105 sentential, 83 Cancellation problem for cardinal multiplication, 127 for ordinal multiplication, 125 Canonical forms, 32 Cantor-Bernstein problems for cardinal multiplication, 126 for ordinal multiplication, 127 Cardinal addition, 123 factorization, 124 property of Boolean algebras, 130 relation, 123 type, 124
11 204 INDEX Cardinal multiplication, 123 cancellation problem for, 127 Cantor-Bernstein problems for, 126 square root problem for, 127 Cartesian number system, 76 Center, 52 Central cover, 55 decomposition, 55 Chain separating, 200 weakly separating n-, 199 Chain condition, 51 ascending, 9 Close, 24 Compact, 11 Compactly generated, Comparability theorem, Complemented, 51 dimensionally CA a, 98 Complemented modular lattices Baer non-desarguesian, 75 Desarguesian, 71 Moufang non-desarguesian, 72 normal completion of, 78 Complete Boolean algebra, 114 lattice, 51 retract, 141, 145 Completely free lattice, 18, 32 sublattices, 32 Completeness theorem, 107 for predicate calculus, 94 Congruence relations, 3, 90 permuting, 5 Connected, 123 Continuity ascending, 51 descending, 51 Continuous geometry, 51 lattice operations, 51 lattices of functions, 201 part, 55 ring, 59 Convex, locally, 195 Coordinatization procedure, 58 theorem, 57 Countable Boolean algebras, 117 Criticality, 178 Cylindric algebras, 83 a-dimensional, 97 special, 87 Cylindric field, 92, 100 of subsets, 92 Cylindric set algebra of dimension a, 100 relativized, 104 special, 92 Cylindrification, 88 parallel to the kth axis, 92 Decision problem, 19, 96, 107 Decompositions central, 55 irredundant, 6 replaceable, 12 Desargues, Theorem of, 185 Desarguesian complemented lattices, 71 Baer non-, 75 Moufang non-, 72 Descending continuity, 51 Detachment, 84, 86 Diagonal element, 88 set, 92 Dimension function, set, 89, 98 Dimensionally complemented CA Direct product, 118 union, 4 Discrete part, 55 Distributive free lattices, 19 locally, 9 quotients, 192 Domain, 123 Dual ideal, 9 Elementary class, 96 universal, 101 Embedded, 26 neatly, 100, 102 Embedding, 22 neat, 99 theorems, 26 Equational class, 96, 105 Equidimensionality, 54 Equivalence relations, 54 lattices of, 22
12 INDEX 205 Ergodic averaging, 172 quasi hypothesis, 173 theorem, 173 Extension, 115 /-algebra, 167 Factor, 51 Factorization cardinal, 124 ordinal, 125 Field, 123 cylindric, 92, 100 cylindric of subsets, 92 Finite axiomatizability, 96 dimensional lattice, 7 locally dimensional CA a, 98 Finitely generated subalgebra, 101 Finiteness, 54 Frame, normalized, 71 Free algebra, 94, 116 Boolean algebra, 19 completely sublattices, 32 sum, 118 Free lattice, 17 completely, 18, 32 distributive, 19 modular, 18, 190 on n generators, 31 Generalized partitions, 22 Post algebra, 44 regular ring, 67 Geometric lattice, 185 Geometries lattice of, 22, 24 lattice of all, 22 Geometry, continuous, 51 projective, 28-29, 51 Group modular lattice, 191 Hilbert space, 51 Homogeneous, 66 basis, 57 basis of order n, 71 Boolean algebras, 129 Homomorphic images, 90, 104 Homomorphisms, 26, 29 Ideal dual, 9 in an SCA, 91 J in a CA«, 99 principal right, 57 R-, 168 Idempotent, R-, 168 Importance function, 183 Indecomposable directly, 90 subdirectly, 90 Independence, 52 Independent residually, 53 strongly, 53 Injective, 115 retract, 115 Irreducible, 6, 51 completely, 6 r-, 11 subdirectly, 4 Irredundant decompositions, 6 Isomorphism, 123 Isotone operators, 164 i -Boolean algebras, 200 X-function lattice, 199 Z-algebra, 167 (L)-space, abstract, 174, 180 Lattice, 22 complete, 51 continuous operations, 51 finite dimensional, 7 geometric, 185 group modular, 191 identity, 58 X-function, 199 non-modular, 161 normal completion of complemented modular, 78 of all geometries, 22 of continuous functions, 201 of equivalence relations, 22 of geometries, 22, 24 of subspaces, 23-24, 26, orthocomplemented modular, 156 semi-modular, 161 skew, 19 symmetric orthocomplemented, 161 topological, 195 word, 32
13 206 INDEX Lattice, free, 17 completely, 18, 32 distributive, 19 modular, 18, 190 on n generators, 31 Lattices, Desarguesian complemented modular, 71 Baer non-, 75 Moufang non-, 72 Lifting, 115 Linear operator, primitive, 180 Locallyconvex, 195 distributive, 9 finite dimensional CA a, 98 modular, 9 projective, 67 Markoff Hypothesis of, 175 processes, 174 Matrix, primitive, 179 Metric completion, 60 projective, 181 Model, 94, 106 Modular, 51 locally, 9 pair, 56 Modular lattice free, 18, 190 group, 191 non-, 161 orthocomplemented, 156 semi-, 161 Modular lattices, complemented Baer non-desarguesian, 75 Desarguesian, 71 Moufang non-desarguesian, 72 normal completion of, 78 Moufang non-desarguesian complemented modular lattices, 72 Multiplication, cardinal, 123 cancellation problems for, 127 Cantor - Bernstein problems for, 126 square root problem for, 127 Multiplication, ordinal, 123 cancellation problems for, 125 Cantor - Bernstein problems for, 127 square root problem for, 126 Multiplicative processes, 178, 180?i-chain, weakly separating, 199 Non-modular lattice, 161 Normalized frame, 71 Number system, cartesian, 76 Numerical dimension function, 54 Observables, 157 Operators averaging, 163, 165 isotone, 164 primitive linear, 180 regular Reynolds, 169 Reynolds, 165 transition, 178 Order, 66 type, 124 Ordered relation, 123 Ordinal addition, 123 factorization, 125 Ordinal multiplication, 123 cancellation problems for, 125 Cantor-Bernstein problems for, 127 square root problem for, 126 Ore's theorem, 15 Orthocomplemented, 53 modular lattice, 156 symmetric lattice, 161 Partitions, 22 generalized, 22 of type n, 23 superposing, 56 Permuting congruence relations, 5 Perspective, 53 Perspectivity, transitivity of, 53 Positive, uniformly, 180 Post algebra, 43 generalized, 44 Predicate calculus, 85 completeness theorem, 94 with a variables, 105 Predictions, 157 Primitive linear operator, 180 matrix, 179 Principal right ideals, 57 Product direct, 118 subdirect, 98 Projective, 53, 115 algebras, 111 geometry, 28-29, 51
14 INDEX 207 Projective continued locally, 67 metric, 181 retract, 115 spaces, 56 Quantification, universal, 86 Quantifier algebras, 83 a-dimensional, 97 special, 87 Quantum logic, 156 mechanical, 61 Quasi-Ergodic Hypothesis, 173 Quotient algebras, 90 distributive, 192.R-ideal, 168 i?-idempotent, 168 r-irreducible, 14 Range, 123 Rank, 59 Recursive, 96 Reduct, 99 finite, 99 Reflexive relations, 123 Regular Reynolds operators, 169 Regular ring, 57, 65 generalized, 67 Related, 24 Relation algebras, 111 cardinal, 123 ordered, 123 reflexive, 123 square, 123 type of, 123 Relativized cylindric set algebras, 104 Replaceable decompositions, 12 Replacement property, 7 Representable CA«, 100 Representation, subdirect, 56 Representation theorem for BA's, 93 Representation theorem for SCA's, 93 first, 95 second, 95 Retract, 114 a-complete, 141, 144 complete, 141, 145 injective, 115 projective, 115 Reynolds operators, 165 regular, 169 Right ideals, principal, 57 Ring alternative, 58 continuous, 59 regular, 57, 65 regular generalized, 67 Semantical systems, 106 Semiatomic, 13 Semimodular, 8, 10 lattice, 161 Sentential calculus, 83 Separating chain, 200 Separating n-chain, weakly, 199 Set algebra cylindric of dimension a, 100 relativized cylindric, 104 special cylindric, 92 Simple, 90, 100 Simultaneous substitution, 109 for individual variables, Skew lattice, 19 Spaces, projective, 56 Spectral subspaces, 162 Square addition, 123 relation, 123 type, 124 Square root problem for cardinal multiplication, 127 for ordinal multiplication, 126 States, 157 Subalgebra, 90 finitely generated, 101 Subdirect product, 98 representation, 56 union, 4, 198 Subdirectly irreducible, 5 Sublattices, completely free, 32 Subsets, cylindric field of, 92 Subspaces, 23 lattice of, 23-24, 26, Superposing partitions, 56 Symmetric orthocomplemented lattice, 161 Syntactical systems, 106 Transcendental, purely, 59 Transition operators, 178 probabilities, 61 Transitive, 56 Transitivity of perspectivity, 53
15 208 INDEX Type Unit, 59 cardinal, 124 set, 92 of a relation, 123 Universal order, 124 elementary class, 101 square, 124 quantification, 86 Uniformly positive, 180 Weakly separating n-chain, 199 Union Word problems, 17 direct, 4 subdirect, 4, 198
16
Lattice Theory Lecture 4. Non-distributive lattices
Lattice Theory Lecture 4 Non-distributive lattices John Harding New Mexico State University www.math.nmsu.edu/ JohnHarding.html jharding@nmsu.edu Toulouse, July 2017 Introduction Here we mostly consider
More informationABSTRACT ALGEBRA WITH APPLICATIONS
ABSTRACT ALGEBRA WITH APPLICATIONS IN TWO VOLUMES VOLUME I VECTOR SPACES AND GROUPS KARLHEINZ SPINDLER Darmstadt, Germany Marcel Dekker, Inc. New York Basel Hong Kong Contents f Volume I Preface v VECTOR
More informationTopics in Operator Theory
Topics in Operator Theory http://dx.doi.org/10.1090/surv/013 Mathematical Surveys and Monographs Number 13 Topics in Operator Theory Edited by Carl Pearcy American Mathematical Society Providence, Rhode
More informationExtended Index. 89f depth (of a prime ideal) 121f Artin-Rees Lemma. 107f descending chain condition 74f Artinian module
Extended Index cokernel 19f for Atiyah and MacDonald's Introduction to Commutative Algebra colon operator 8f Key: comaximal ideals 7f - listings ending in f give the page where the term is defined commutative
More informationRELATION ALGEBRAS. Roger D. MADDUX. Department of Mathematics Iowa State University Ames, Iowa USA ELSEVIER
RELATION ALGEBRAS Roger D. MADDUX Department of Mathematics Iowa State University Ames, Iowa 50011 USA ELSEVIER AMSTERDAM. BOSTON HEIDELBERG LONDON NEW YORK. OXFORD PARIS SAN DIEGO. SAN FRANCISCO. SINGAPORE.
More informationOn the size of Heyting Semi-Lattices and Equationally Linear Heyting Algebras
On the size of Heyting Semi-Lattices and Equationally Linear Heyting Algebras Peter Freyd pjf@upenn.edu July 17, 2017 The theory of Heyting Semi-Lattices, hsls for short, is obtained by adding to the theory
More informationLATTICES AND THEIR APPLICATIONS*
LATTICES AND THEIR APPLICATIONS* GARRETT BIRKHOFF It is my privilege to introduce to this Society a vigorous and promising younger brother of group theory, by name, lattice theory. Among other things,
More informationList of topics for the preliminary exam in algebra
List of topics for the preliminary exam in algebra 1 Basic concepts 1. Binary relations. Reflexive, symmetric/antisymmetryc, and transitive relations. Order and equivalence relations. Equivalence classes.
More informationStanford Encyclopedia of Philosophy
Stanford Encyclopedia of Philosophy The Mathematics of Boolean Algebra First published Fri Jul 5, 2002; substantive revision Mon Jul 14, 2014 Boolean algebra is the algebra of two-valued logic with only
More informationFoundations of Mathematics
Foundations of Mathematics L. Brian Lawrence Department of Mathematics George Mason University Fairfax, VA 22030 4444 U.S.A. e mail: blawrenc@mail.gmu.edu January 1, 2007 Preface This set of notes is an
More informationMATH 310 Course Objectives
MATH 310 Course Objectives Upon successful completion of MATH 310, the student should be able to: Apply the addition, subtraction, multiplication, and division principles to solve counting problems. Apply
More information8. Distributive Lattices. Every dog must have his day.
8. Distributive Lattices Every dog must have his day. In this chapter and the next we will look at the two most important lattice varieties: distributive and modular lattices. Let us set the context for
More informationP.M. Cohn. Basic Algebra. Groups, Rings and Fields. m Springer
Basic Algebra P.M. Cohn Basic Algebra Groups, Rings and Fields m Springer P.M. Cohn, MA, PhD, FRS Department of Mathematics, University College London, Gower Street, London WC1E 6BT, UK British Library
More informationModel Theory MARIA MANZANO. University of Salamanca, Spain. Translated by RUY J. G. B. DE QUEIROZ
Model Theory MARIA MANZANO University of Salamanca, Spain Translated by RUY J. G. B. DE QUEIROZ CLARENDON PRESS OXFORD 1999 Contents Glossary of symbols and abbreviations General introduction 1 xix 1 1.0
More informationPMATH 300s P U R E M A T H E M A T I C S. Notes
P U R E M A T H E M A T I C S Notes 1. In some areas, the Department of Pure Mathematics offers two distinct streams of courses, one for students in a Pure Mathematics major plan, and another for students
More informationDescription of the book Set Theory
Description of the book Set Theory Aleksander B laszczyk and S lawomir Turek Part I. Basic set theory 1. Sets, relations, functions Content of the chapter: operations on sets (unions, intersection, finite
More informationLecture 8, 9: Tarski problems and limit groups
Lecture 8, 9: Tarski problems and limit groups Olga Kharlampovich October 21, 28 1 / 51 Fully residually free groups A group G is residually free if for any non-trivial g G there exists φ Hom(G, F ), where
More informationMATHEMATICS. Course Syllabus. Section A: Linear Algebra. Subject Code: MA. Course Structure. Ordinary Differential Equations
MATHEMATICS Subject Code: MA Course Structure Sections/Units Section A Section B Section C Linear Algebra Complex Analysis Real Analysis Topics Section D Section E Section F Section G Section H Section
More informationCongruence Boolean Lifting Property
Congruence Boolean Lifting Property George GEORGESCU and Claudia MUREŞAN University of Bucharest Faculty of Mathematics and Computer Science Academiei 14, RO 010014, Bucharest, Romania Emails: georgescu.capreni@yahoo.com;
More informationMATHEMATICS (MATH) Calendar
MATHEMATICS (MATH) This is a list of the Mathematics (MATH) courses available at KPU. For information about transfer of credit amongst institutions in B.C. and to see how individual courses transfer, go
More informationPROCEEDINGS OF THE EIGHTH SYMPOSIUM IN APPLIED MATHEMATICS OF THE AMERICAN MATHEMATICAL SOCIETY. Held at the University of Chicago April 12-13, 1956
http://dx.doi.org/10.1090/psapm/008 PROCEEDINGS OF THE EIGHTH SYMPOSIUM IN APPLIED MATHEMATICS OF THE AMERICAN MATHEMATICAL SOCIETY Held at the University of Chicago April 12-13, 1956 COSPONSORED BY THE
More informationErgebnisse cler Mathematik uncl ihrer Grenzgebiete
Ergebnisse cler Mathematik uncl ihrer Grenzgebiete Band 25 Herausgegeben von P. R. Halmos. P. J. Hilton. R. Remmert. B. Szokefalvi-Nagy Unter Mitwirkung von L. V. Ahlfors. R. Baer. F. L. Bauer' R. Courant
More informationFree Lattices. Department of Mathematics University of Hawaii Honolulu, Hawaii
Free Lattices Ralph Freese Department of Mathematics University of Hawaii Honolulu, Hawaii 96822 ralph@@math.hawaii.edu Jaroslav Ježek MFF, Charles University Sokolovská 83 18600 Praha 8 Czech Republic
More informationFrom Residuated Lattices to Boolean Algebras with Operators
From Residuated Lattices to Boolean Algebras with Operators Peter Jipsen School of Computational Sciences and Center of Excellence in Computation, Algebra and Topology (CECAT) Chapman University October
More informationEmbedding theorems for normal divisible residuated lattices
Embedding theorems for normal divisible residuated lattices Chapman University Department of Mathematics and Computer Science Orange, California University of Siena Department of Mathematics and Computer
More informationContents Propositional Logic: Proofs from Axioms and Inference Rules
Contents 1 Propositional Logic: Proofs from Axioms and Inference Rules... 1 1.1 Introduction... 1 1.1.1 An Example Demonstrating the Use of Logic in Real Life... 2 1.2 The Pure Propositional Calculus...
More informationGraduate Texts in Mathematics 22
Graduate Texts in Mathematics 22 Managing Editors: P. R. Halmos C. C. Moore Donald W. Barnes lohn M. Mack An Aigebraic Introduction to Mathematical Logic Springer Science+Business Media, LLC Donald W.
More informationMEASURE THEORY Volume 4 Topological Measure Spaces
MEASURE THEORY Volume 4 Topological Measure Spaces D.H.Fremlin Research Professor in Mathematics, University of Essex Contents General Introduction 10 Introduction to Volume 4 11 Chapter 41: Topologies
More informationSUBLATTICES OF LATTICES OF ORDER-CONVEX SETS, III. THE CASE OF TOTALLY ORDERED SETS
SUBLATTICES OF LATTICES OF ORDER-CONVEX SETS, III. THE CASE OF TOTALLY ORDERED SETS MARINA SEMENOVA AND FRIEDRICH WEHRUNG Abstract. For a partially ordered set P, let Co(P) denote the lattice of all order-convex
More informationAN ALGEBRAIC APPROACH TO GENERALIZED MEASURES OF INFORMATION
AN ALGEBRAIC APPROACH TO GENERALIZED MEASURES OF INFORMATION Daniel Halpern-Leistner 6/20/08 Abstract. I propose an algebraic framework in which to study measures of information. One immediate consequence
More informationComprehensive Introduction to Linear Algebra
Comprehensive Introduction to Linear Algebra WEB VERSION Joel G Broida S Gill Williamson N = a 11 a 12 a 1n a 21 a 22 a 2n C = a 11 a 12 a 1n a 21 a 22 a 2n a m1 a m2 a mn a m1 a m2 a mn Comprehensive
More informationMV-algebras and fuzzy topologies: Stone duality extended
MV-algebras and fuzzy topologies: Stone duality extended Dipartimento di Matematica Università di Salerno, Italy Algebra and Coalgebra meet Proof Theory Universität Bern April 27 29, 2011 Outline 1 MV-algebras
More informationGraduate Texts in Mathematics 42. Editorial Board. F. W. Gehring P. R. Halmos Managing Editor. c. C. Moore
Graduate Texts in Mathematics 42 Editorial Board F. W. Gehring P. R. Halmos Managing Editor c. C. Moore Jean-Pierre Serre Linear Representations of Finite Groups Translated from the French by Leonard L.
More information586 Index. vertex, 369 disjoint, 236 pairwise, 272, 395 disjoint sets, 236 disjunction, 33, 36 distributive laws
Index absolute value, 135 141 additive identity, 254 additive inverse, 254 aleph, 465 algebra of sets, 245, 278 antisymmetric relation, 387 arcsine function, 349 arithmetic sequence, 208 arrow diagram,
More informationUndergraduate Texts in Mathematics
Undergraduate Texts in Mathematics Editors S. Axler F.W. Gehring K.A. Ribet Springer Books on Elementary Mathematics by Serge Lang MATH! Encounters with High School Students 1985, ISBN 96129-1 The Beauty
More informationA CLASS OF INFINITE CONVEX GEOMETRIES
A CLASS OF INFINITE CONVEX GEOMETRIES KIRA ADARICHEVA AND J. B. NATION Abstract. Various characterizations of finite convex geometries are well known. This note provides similar characterizations for possibly
More informationDuality and Automata Theory
Duality and Automata Theory Mai Gehrke Université Paris VII and CNRS Joint work with Serge Grigorieff and Jean-Éric Pin Elements of automata theory A finite automaton a 1 2 b b a 3 a, b The states are
More information3. Algebraic Lattices. The more I get, the more I want it seems... King Oliver
3. Algebraic Lattices The more I get, the more I want it seems... King Oliver In this section we want to focus our attention on the kind of closure operators and lattices that are associated with modern
More informationPart II. Logic and Set Theory. Year
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 60 Paper 4, Section II 16G State and prove the ǫ-recursion Theorem. [You may assume the Principle of ǫ- Induction.]
More informationwhere m is the maximal ideal of O X,p. Note that m/m 2 is a vector space. Suppose that we are given a morphism
8. Smoothness and the Zariski tangent space We want to give an algebraic notion of the tangent space. In differential geometry, tangent vectors are equivalence classes of maps of intervals in R into the
More informationLecture 1: Lattice(I)
Discrete Mathematics (II) Spring 207 Lecture : Lattice(I) Lecturer: Yi Li Lattice is a special algebra structure. It is also a part of theoretic foundation of model theory, which formalizes the semantics
More informationPart II Logic and Set Theory
Part II Logic and Set Theory Theorems Based on lectures by I. B. Leader Notes taken by Dexter Chua Lent 2015 These notes are not endorsed by the lecturers, and I have modified them (often significantly)
More informationA Class of Infinite Convex Geometries
A Class of Infinite Convex Geometries Kira Adaricheva Department of Mathematics School of Science and Technology Nazarbayev University Astana, Kazakhstan kira.adaricheva@nu.edu.kz J. B. Nation Department
More informationBoolean Algebras, Boolean Rings and Stone s Representation Theorem
Boolean Algebras, Boolean Rings and Stone s Representation Theorem Hongtaek Jung December 27, 2017 Abstract This is a part of a supplementary note for a Logic and Set Theory course. The main goal is to
More informationLecture Notes in Mathematics
Lecture Notes in Mathematics Edited by A. Dold and B. Eckmann 766 Tammo tom Dieck Transformation Groups and Representation Theory Springer-Verlag Berlin Heidelberg New York 1979 Author T. tom Dieck Mathematisches
More informationThe theory of integration says that the natural map
In this course we will discuss applications of the Model theory to Algebraic geometry and Analysis. There is long list of examples and I mention only some of applications: 1) Tarski proved the elimination
More informationTEST CODE: PMB SYLLABUS
TEST CODE: PMB SYLLABUS Convergence and divergence of sequence and series; Cauchy sequence and completeness; Bolzano-Weierstrass theorem; continuity, uniform continuity, differentiability; directional
More informationAdvanced Topics in Relation Algebras
Advanced Topics in Relation Algebras Steven Givant Advanced Topics in Relation Algebras Relation Algebras, Volume 2 123 Steven Givant Department of Mathematics Mills College Oakland, CA, USA ISBN 978-3-319-65944-2
More informationHandbook of Logic and Proof Techniques for Computer Science
Steven G. Krantz Handbook of Logic and Proof Techniques for Computer Science With 16 Figures BIRKHAUSER SPRINGER BOSTON * NEW YORK Preface xvii 1 Notation and First-Order Logic 1 1.1 The Use of Connectives
More informationNotation Index. gcd(a, b) (greatest common divisor) NT-16
Notation Index (for all) B A (all functions) B A = B A (all functions) SF-18 (n) k (falling factorial) SF-9 a R b (binary relation) C(n,k) = n! k! (n k)! (binomial coefficient) SF-9 n! (n factorial) SF-9
More informationOn the variety generated by planar modular lattices
On the variety generated by planar modular lattices G. Grätzer and R. W. Quackenbush Abstract. We investigate the variety generated by the class of planar modular lattices. The main result is a structure
More informationESSAYS ON MATHEMATICAL AND PHILOSOPHICAL LOGIC
ESSAYS ON MATHEMATICAL AND PHILOSOPHICAL LOGIC SYNTHESE LIBRARY STUDIES IN EPISTEMOLOGY, LOGIC, METHODOLOGY, AND PHILOSOPHY OF SCIENCE Managing Editor: JAAKKO HINTIKKA, Academy of Finland and Stanford
More informationDifferential Geometry, Lie Groups, and Symmetric Spaces
Differential Geometry, Lie Groups, and Symmetric Spaces Sigurdur Helgason Graduate Studies in Mathematics Volume 34 nsffvjl American Mathematical Society l Providence, Rhode Island PREFACE PREFACE TO THE
More informationALGEBRA EXERCISES, PhD EXAMINATION LEVEL
ALGEBRA EXERCISES, PhD EXAMINATION LEVEL 1. Suppose that G is a finite group. (a) Prove that if G is nilpotent, and H is any proper subgroup, then H is a proper subgroup of its normalizer. (b) Use (a)
More informationhttp://dx.doi.org/10.1090/pspum/003 DIFFERENTIAL GEOMETRY PROCEEDINGS OF THE THIRD SYMPOSIUM IN PURE MATHEMATICS OF THE AMERICAN MATHEMATICAL SOCIETY Held at the University of Arizona Tucson, Arizona February
More informationAlternative Probability Theories for Cognitive Psychology
Topics in Cognitive Science 6 (2014) 114 120 Copyright 2013 Cognitive Science Society, Inc. All rights reserved. ISSN:1756-8757 print / 1756-8765 online DOI: 10.1111/tops.12071 Alternative Probability
More informationProperties of Generating Sets of Finite Groups
Cornell SPUR 2018 1 Group Theory Properties of Generating Sets of Finite Groups by R. Keith Dennis We now provide a few more details about the prerequisites for the REU in group theory, where to find additional
More informationDuality in Logic. Duality in Logic. Lecture 2. Mai Gehrke. Université Paris 7 and CNRS. {ε} A ((ab) (ba) ) (ab) + (ba) +
Lecture 2 Mai Gehrke Université Paris 7 and CNRS A {ε} A ((ab) (ba) ) (ab) + (ba) + Further examples - revisited 1. Completeness of modal logic with respect to Kripke semantics was obtained via duality
More informationFoundations of non-commutative probability theory
Foundations of non-commutative probability theory Daniel Lehmann School of Engineering and Center for the Study of Rationality Hebrew University, Jerusalem 91904, Israel June 2009 Abstract Kolmogorov s
More informationA Course in Universal Algebra
The Millennium Edition Stanley Burris H. P. Sankappanavar A Course in Universal Algebra With 36 Illustrations c S. Burris and H.P. Sankappanavar All Rights Reserved This Edition may be copied for personal
More informationFrom λ-calculus to universal algebra and back
From λ-calculus to universal algebra and back Giulio Manzonetto 1 and Antonino Salibra 1,2 1 Laboratoire PPS, CNRS-Université Paris 7, 2 Dip. Informatica, Università Ca Foscari di Venezia, Abstract. We
More informationOn varieties of modular ortholattices which are generated by their finite-dimensional members
On varieties of modular ortholattices which are generated by their finite-dimensional members Christian Herrmann and Micheale S. Roddy Abstract. We prove that the following three conditions on a modular
More informationTopological Test Spaces 1 Alexander Wilce Department of Mathematical Sciences, Susquehanna University Selinsgrove, Pa
Topological Test Spaces 1 Alexander Wilce Department of Mathematical Sciences, Susquehanna University Selinsgrove, Pa 17870 email: wilce@susqu.edu Abstract Test spaces (or manuals) provide a simple, elegant
More informationLattice Theory Lecture 5. Completions
Lattice Theory Lecture 5 Completions John Harding New Mexico State University www.math.nmsu.edu/ JohnHarding.html jharding@nmsu.edu Toulouse, July 2017 Completions Definition A completion of a poset P
More informationMonadic MV-algebras I: a study of subvarieties
Algebra Univers. 71 (2014) 71 100 DOI 10.1007/s00012-014-0266-3 Published online January 22, 2014 Springer Basel 2014 Algebra Universalis Monadic MV-algebras I: a study of subvarieties Cecilia R. Cimadamore
More informationAN AXIOMATIC FORMATION THAT IS NOT A VARIETY
AN AXIOMATIC FORMATION THAT IS NOT A VARIETY KEITH A. KEARNES Abstract. We show that any variety of groups that contains a finite nonsolvable group contains an axiomatic formation that is not a subvariety.
More informationIntroduction to Proofs
Introduction to Proofs Notes by Dr. Lynne H. Walling and Dr. Steffi Zegowitz September 018 The Introduction to Proofs course is organised into the following nine sections. 1. Introduction: sets and functions
More informationBoolean Subalgebras of Orthomodular Posets
Boolean Subalgebras of Orthomodular Posets Harding, Heunen, Lindenhovius and Navara New Mexico State University www.math.nmsu.edu/ JohnHarding.html jharding@nmsu.edu Chapman, September 2018 Overview For
More informationMATRICES and ALGEBRA. second edition. Hans Schneider. George Phillip Barker. DOVER PUBLICATIONS, INC., New York
MATRICES and ALGEBRA second edition Hans Schneider James Joseph Sylvester Professor of Mathematics University of Wisconsin-Madison George Phillip Barker University of Missouri-Kansas City DOVER PUBLICATIONS,
More informationMorita-equivalences for MV-algebras
Morita-equivalences for MV-algebras Olivia Caramello* University of Insubria Geometry and non-classical logics 5-8 September 2017 *Joint work with Anna Carla Russo O. Caramello Morita-equivalences for
More informationA fresh perspective on canonical extensions for bounded lattices
A fresh perspective on canonical extensions for bounded lattices Mathematical Institute, University of Oxford Department of Mathematics, Matej Bel University Second International Conference on Order, Algebra
More informationExploring the infinite : an introduction to proof and analysis / Jennifer Brooks. Boca Raton [etc.], cop Spis treści
Exploring the infinite : an introduction to proof and analysis / Jennifer Brooks. Boca Raton [etc.], cop. 2017 Spis treści Preface xiii I Fundamentals of Abstract Mathematics 1 1 Basic Notions 3 1.1 A
More informationChapter 1 : The language of mathematics.
MAT 200, Logic, Language and Proof, Fall 2015 Summary Chapter 1 : The language of mathematics. Definition. A proposition is a sentence which is either true or false. Truth table for the connective or :
More informationCategory Theory (UMV/TK/07)
P. J. Šafárik University, Faculty of Science, Košice Project 2005/NP1-051 11230100466 Basic information Extent: 2 hrs lecture/1 hrs seminar per week. Assessment: Written tests during the semester, written
More informationFive Mini-Courses on Analysis
Christopher Heil Five Mini-Courses on Analysis Metrics, Norms, Inner Products, and Topology Lebesgue Measure and Integral Operator Theory and Functional Analysis Borel and Radon Measures Topological Vector
More informationarxiv:math.lo/ v1 28 Nov 2004
HILBERT SPACES WITH GENERIC GROUPS OF AUTOMORPHISMS arxiv:math.lo/0411625 v1 28 Nov 2004 ALEXANDER BERENSTEIN Abstract. Let G be a countable group. We proof that there is a model companion for the approximate
More informationLattices, closure operators, and Galois connections.
125 Chapter 5. Lattices, closure operators, and Galois connections. 5.1. Semilattices and lattices. Many of the partially ordered sets P we have seen have a further valuable property: that for any two
More informationPMATH 600s. Prerequisite: PMATH 345 or 346 or consent of department.
PMATH 600s PMATH 632 First Order Logic and Computability (0.50) LEC Course ID: 002339 The concepts of formal provability and logical consequence in first order logic are introduced, and their equivalence
More informationDistributive Lattices with Quantifier: Topological Representation
Chapter 8 Distributive Lattices with Quantifier: Topological Representation Nick Bezhanishvili Department of Foundations of Mathematics, Tbilisi State University E-mail: nickbezhanishvilli@netscape.net
More informationContents. Preface for the Instructor. Preface for the Student. xvii. Acknowledgments. 1 Vector Spaces 1 1.A R n and C n 2
Contents Preface for the Instructor xi Preface for the Student xv Acknowledgments xvii 1 Vector Spaces 1 1.A R n and C n 2 Complex Numbers 2 Lists 5 F n 6 Digression on Fields 10 Exercises 1.A 11 1.B Definition
More information, 0, 1, c ξ, d ξη ξ,η<α,
Leon Henkin and cylindric algebras J. Donald Monk Cylindric algebras are abstract algebras which stand in the same relationship to first-order logic as Boolean algebras do to sentential logic. There are
More informationSets and Motivation for Boolean algebra
SET THEORY Basic concepts Notations Subset Algebra of sets The power set Ordered pairs and Cartesian product Relations on sets Types of relations and their properties Relational matrix and the graph of
More informationModules over Non-Noetherian Domains
Mathematical Surveys and Monographs Volume 84 Modules over Non-Noetherian Domains Laszlo Fuchs Luigi Sake American Mathematical Society Table of Contents Preface List of Symbols xi xv Chapter I. Commutative
More informationTree-adjoined spaces and the Hawaiian earring
Tree-adjoined spaces and the Hawaiian earring W. Hojka (TU Wien) Workshop on Fractals and Tilings 2009 July 6-10, 2009, Strobl (Austria) W. Hojka (TU Wien) () Tree-adjoined spaces and the Hawaiian earring
More informationASSIGNMENT - 1, DEC M.Sc. (FINAL) SECOND YEAR DEGREE MATHEMATICS. Maximum : 20 MARKS Answer ALL questions. is also a topology on X.
(DM 21) ASSIGNMENT - 1, DEC-2013. PAPER - I : TOPOLOGY AND FUNCTIONAL ANALYSIS Maimum : 20 MARKS 1. (a) Prove that every separable metric space is second countable. Define a topological space. If T 1 and
More informationBasic Algebraic Logic
ELTE 2013. September Today Past 1 Universal Algebra 1 Algebra 2 Transforming Algebras... Past 1 Homomorphism 2 Subalgebras 3 Direct products 3 Varieties 1 Algebraic Model Theory 1 Term Algebras 2 Meanings
More informationClasses of Commutative Clean Rings
Classes of Commutative Clean Rings Wolf Iberkleid and Warren Wm. McGovern September 3, 2009 Abstract Let A be a commutative ring with identity and I an ideal of A. A is said to be I-clean if for every
More informationNotes on Filters: Topological vs. Electrical (File C:/vps tex/book/filters ideals.tex)
Notes on Filters: Topological vs. Electrical 1976 2005 (File C:/vps tex/book/filters ideals.tex) Virendra P. Sinha July 2005 Words pass from the common vocabulary to a technical one through a chain of
More informationChapter 2 Linear Transformations
Chapter 2 Linear Transformations Linear Transformations Loosely speaking, a linear transformation is a function from one vector space to another that preserves the vector space operations. Let us be more
More informationJoseph Muscat Universal Algebras. 1 March 2013
Joseph Muscat 2015 1 Universal Algebras 1 Operations joseph.muscat@um.edu.mt 1 March 2013 A universal algebra is a set X with some operations : X n X and relations 1 X m. For example, there may be specific
More informationEvery Linear Order Isomorphic to Its Cube is Isomorphic to Its Square
Every Linear Order Isomorphic to Its Cube is Isomorphic to Its Square Garrett Ervin University of California, Irvine May 21, 2016 We do not know so far any type α such that α = α 3 = α 2. W. Sierpiński,
More informationSome Quantum Logic and a few Categories
Some Quantum Logic and a few Categories John Harding New Mexico State University www.math.nmsu.edu/johnharding.html jharding@nmsu.edu Workshop on Categorical Quantum Logic Oxford, August 2007 Organization
More informationUniversal Algebra for Logics
Universal Algebra for Logics Joanna GRYGIEL University of Czestochowa Poland j.grygiel@ajd.czest.pl 2005 These notes form Lecture Notes of a short course which I will give at 1st School on Universal Logic
More informationTutorial on Universal Algebra, Mal cev Conditions, and Finite Relational Structures: Lecture I
Tutorial on Universal Algebra, Mal cev Conditions, and Finite Relational Structures: Lecture I Ross Willard University of Waterloo, Canada BLAST 2010 Boulder, June 2010 Ross Willard (Waterloo) Universal
More informationMonadic GMV -algebras
Department of Algebra and Geometry Faculty of Sciences Palacký University of Olomouc Czech Republic TANCL 07, Oxford 2007 monadic structures = algebras with quantifiers = algebraic models for one-variable
More informationA VIEW OF CANONICAL EXTENSION
A VIEW OF CANONICAL EXTENSION MAI GEHRKE AND JACOB VOSMAER Abstract. This is a short survey illustrating some of the essential aspects of the theory of canonical extensions. In addition some topological
More informationCurriculum Vitae Keith A. Kearnes
Curriculum Vitae Keith A. Kearnes January 31, 2017 Contact Information: Department of Mathematics University of Colorado Boulder, CO 80309-0395 office phone: 303 492 5203 email: keith.kearnes@colorado.edu
More informationModel theory, stability, applications
Model theory, stability, applications Anand Pillay University of Leeds June 6, 2013 Logic I Modern mathematical logic developed at the end of the 19th and beginning of 20th centuries with the so-called
More informationINTRODUCTION TO COMMUTATIVE ALGEBRA MAT6608. References
INTRODUCTION TO COMMUTATIVE ALGEBRA MAT6608 ABRAHAM BROER References [1] Atiyah, M. F.; Macdonald, I. G. Introduction to commutative algebra. Addison-Wesley Publishing Co., Reading, Mass.-London-Don Mills,
More informationThe semantics of algebraic quantum mechanics and the role of model theory.
The semantics of algebraic quantum mechanics and the role of model theory. B. Zilber University of Oxford August 6, 2016 B.Zilber, The semantics of the canonical commutation relations arxiv.org/abs/1604.07745
More information