Download or read book Decision Problems for Equational Theories of Relation Algebras written by H. Andréka and published by American Mathematical Soc.. This book was released on 1997-01-01 with total page 148 pages. Available in PDF, EPUB and Kindle. Book excerpt: This work presents a systematic study of decision problems for equational theories of algebras of binary relations (relation algebras). For example, an easily applicable but deep method, based on von Neumann's coordinatization theorem, is developed for establishing undecidability results. The method is used to solve several outstanding problems posed by Tarski. In addition, the complexity of intervals of equational theories of relation algebras with respect to questions of decidability is investigated. Using ideas that go back to Jonsson and Lyndon, the authors show that such intervals can have the same complexity as the lattice of subsets of the set of the natural numbers. Finally, some new and quite interesting examples of decidable equational theories are given. The methods developed in the monograph show promise of broad applicability. The provide researchers in algebra and logc with a new arsenal of techniques for resolving decision questions in various domains of algebraic logic.
Download or read book Decision Problems for Equational Theories of Relation Algebras written by H. Andréka and published by American Mathematical Soc.. This book was released on 1997 with total page 146 pages. Available in PDF, EPUB and Kindle. Book excerpt: "We prove that any variety of relation algebras which contains an algebra with infinitely many elements below the identity, or which contains the full group relation algebra on some infinite group (or on arbitrarily large finite groups), must have an undecidable equational theory. Then we construct an embedding of the lattice of all subsets of the natural numbers into the lattice of varieties of relation algebras such that the variety correlated with a set [italic capital]X of natural numbers has a decidable equational theory if and only if [italic capital]X is a decidable (i.e., recursive) set. Finally, we construct an example of an infinite, finitely generated, simple, representable relation algebra that has a decidable equational theory.'' -- Abstract.
Download or read book Decision Problems for Equational Theories of Semigroups and General Algebras written by Peter Graham Perkins and published by . This book was released on 1966 with total page 126 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book On Group Theoretic Decision Problems and Their Classification AM 68 Volume 68 written by Charles F. Miller III and published by Princeton University Press. This book was released on 2016-03-02 with total page 116 pages. Available in PDF, EPUB and Kindle. Book excerpt: Part exposition and part presentation of new results, this monograph deals with that area of mathematics which has both combinatorial group theory and mathematical logic in common. Its main topics are the word problem for groups, the conjugacy problem for groups, and the isomorphism problem for groups. The presentation depends on previous results of J. L. Britton, which, with other factual background, are treated in detail.
Download or read book Bosonic Construction of Vertex Operator Para Algebras from Symplectic Affine Kac Moody Algebras written by Michael David Weiner and published by American Mathematical Soc.. This book was released on 1998 with total page 121 pages. Available in PDF, EPUB and Kindle. Book excerpt: Begins with the bosonic construction of four level -1/2 irreducible representations of the symplectic affine Kac-Moody Lie algebra Cl. The direct sum of two of these is given the structure of a vertex operator algebra (VOA), and the direct sum of the other two is given the structure of a twisted VOA-module. The dissertation includes the bosonic analog of the fermionic construction of a vertex operator superalgebra from the four level 1 irreducible modules of type Dl. No index. Annotation copyrighted by Book News, Inc., Portland, OR
Download or read book Generalized Symplectic Geometries and the Index of Families of Elliptic Problems written by Liviu I. Nicolaescu and published by American Mathematical Soc.. This book was released on 1997 with total page 98 pages. Available in PDF, EPUB and Kindle. Book excerpt: In this book, an index theorem is proved for arbitrary families of elliptic boundary value problems for Dirac operators and a surgery formula for the index of a family of Dirac operators on a closed manifold. Also obtained is a very general result on the cobordism invariance of the index of a family. All results are established by first symplectically rephrasing the problems and then using a generalized symplectic reduction technique. This provides a unified approach to all possible parameter spaces and all possible symmetries of a Dirac operator (eigh symmetries in the real case and two in the complex case). This text will also be of interest to those working in geometry and topology.
Download or read book Cutting Brownian Paths written by Richard F. Bass and published by American Mathematical Soc.. This book was released on 1999 with total page 113 pages. Available in PDF, EPUB and Kindle. Book excerpt: A long open problem in probability theory has been the following: Can the graph of planar Brownian motion be split by a straight line? In this volume, the authors provide a solution, discuss related works, and present a number of open problems.
Download or read book Study of the Critical Points at Infinity Arising from the Failure of the Palais Smale Condition for n Body Type Problems written by Hasna Riahi and published by American Mathematical Soc.. This book was released on 1999 with total page 127 pages. Available in PDF, EPUB and Kindle. Book excerpt: In this work, the author examines the following: When the Hamiltonian system $m i \ddot{q} i + (\partial V/\partial q i) (t,q) =0$ with periodicity condition $q(t+T) = q(t),\; \forall t \in \germ R$ (where $q {i} \in \germ R{\ell}$, $\ell \ge 3$, $1 \le i \le n$, $q = (q {1},...,q {n})$ and $V = \sum V {ij}(t,q {i}-q {j})$ with $V {ij}(t,\xi)$ $T$-periodic in $t$ and singular in $\xi$ at $\xi = 0$) is posed as a variational problem, the corresponding functional does not satisfy the Palais-Smale condition and this leads to the notion of critical points at infinity. This volume is a study of these critical points at infinity and of the topology of their stable and unstable manifolds. The potential considered here satisfies the strong force hypothesis which eliminates collision orbits. The details are given for 4-body type problems then generalized to n-body type problems.
Download or read book Short Time Geometry of Random Heat Kernels written by Richard Bucher Sowers and published by American Mathematical Soc.. This book was released on 1998 with total page 145 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume studies the behaviour of a random heat kernel associated with a stochastic partial differential equation, and gives short-time expansion of this heat kernel. The author finds that the dominant exponential term is classical and depends only on the Riemannian distance function. The second exponential term is a work term and also has classical meaning. There is also a third non-negligible exponential term which blows up. The author finds an expression for this third exponential term which involves a random translation of the index form and the equations of Jacobi fields. In the process, he develops a method to approximate the heat kernel to any arbitrary degree of precision.
Download or read book The Gamma Equivariant Form of the Berezin Quantization of the Upper Half Plane written by Florin Rădulescu and published by American Mathematical Soc.. This book was released on 1998 with total page 85 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book is intended for graduate students, research mathematicians, and mathematical physicists working in operator algebras.
Download or read book Matching of Orbital Integrals on GL 4 and GSp 2 written by Yuval Zvi Flicker and published by American Mathematical Soc.. This book was released on 1999 with total page 127 pages. Available in PDF, EPUB and Kindle. Book excerpt: The trace formula is the most powerful tool currently available to establish liftings of automorphic forms, as predicted by Langlands principle of functionality. The geometric part of the trace formula consists of orbital integrals, and the lifting is based on the fundamental lemma. The latter is an identity of the relevant orbital integrals for the unit elements of the Hecke algebras. This volume concerns a proof of the fundamental lemma in the classically most interesting case of Siegel modular forms, namely the symplectic group Sp(2). These orbital integrals are compared with those on GL(4), twisted by the transpose inverse involution. The technique of proof is elementary. Compact elements are decomposed into their absolutely semi-simple and topologically unipotent parts also in the twisted case; a double coset decomposition of the form H\ G/K--where H is a subgroup containing the centralizer--plays a key role.
Download or read book Hajnal Andr ka and Istv n N meti on Unity of Science written by Judit Madarász and published by Springer Nature. This book was released on 2021-05-31 with total page 517 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book features more than 20 papers that celebrate the work of Hajnal Andréka and István Németi. It illustrates an interaction between developing and applying mathematical logic. The papers offer new results as well as surveys in areas influenced by these two outstanding researchers. They also provide details on the after-life of some of their initiatives. Computer science connects the papers in the first part of the book. The second part concentrates on algebraic logic. It features a range of papers that hint at the intricate many-way connections between logic, algebra, and geometry. The third part explores novel applications of logic in relativity theory, philosophy of logic, philosophy of physics and spacetime, and methodology of science. They include such exciting subjects as time travelling in emergent spacetime. The short autobiographies of Hajnal Andréka and István Németi at the end of the book describe an adventurous journey from electric engineering and Maxwell’s equations to a complex system of computer programs for designing Hungary’s electric power system, to exploring and contributing deep results to Tarskian algebraic logic as the deepest core theory of such questions, then on to applications of the results in such exciting new areas as relativity theory in order to rejuvenate logic itself.
Download or read book Annihilating Fields of Standard Modules of mathfrak sl 2 mathbb C sim and Combinatorial Identities written by Arne Meurman and published by American Mathematical Soc.. This book was released on 1999 with total page 105 pages. Available in PDF, EPUB and Kindle. Book excerpt: In this volume, the authors show that a set of local admissible fields generates a vertex algebra. For an affine Lie algebra $\tilde{\frak g}$, they construct the corresponding level $k$ vertex operator algebra and show that level $k$ highest weight $\tilde{\frak g}$-modules are modules for this vertex operator algebra. They determine the set of annihilating fields of level $k$ standard modules and study the corresponding loop $\tilde{\frak g}$-module--the set of relations that defines standard modules. In the case when $\tilde{\frak g}$ is of type $A{(1)} 1$, they construct bases of standard modules parameterized by colored partitions, and as a consequence, obtain a series of Rogers-Ramanujan type combinatorial identities.
Download or read book A Continuum Limit of the Toda Lattice written by Percy Deift and published by American Mathematical Soc.. This book was released on 1998 with total page 233 pages. Available in PDF, EPUB and Kindle. Book excerpt: In this book, the authors describe a continuum limit of the Toda ODE system, obtained by taking as initial data for the finite lattice successively finer discretizations of two smooth functions. Using the integrability of the finite Toda lattice, the authors adapt the method introduced by Lax and Levermore for the study of the small dispersion limit of the Korteweg de Vries equations to the case of the Toda lattice. A general class of initial data is considered which permits, in particular, the formation of shocks. A feature of the analysis in this book is an extensive use of techniques from the theory of Riemann-Hilbert problems.
Download or read book The Study of Minimax Inequalities and Applications to Economies and Variational Inequalities written by George Xian-Zhi Yuan and published by American Mathematical Soc.. This book was released on 1998 with total page 157 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book provides a unified treatment for the study of the existence of equilibria of abstract economics in topological vector spaces from the viewpoint of Ky Fan minimax inequalities, which strongly depend on his infinite dimensional version of the classical Knaster, Kuratowski and Mazurkiewicz Lemma (KKM Lemma) in 1961. Studied are applications of general system versions of minimax inequalities and generalized quasi-variational inequalities, and random abstract economies and its applications to the system of random quasi-variational inequalities are given.
Download or read book Abelian Galois Cohomology of Reductive Groups written by Mikhail Borovoi and published by American Mathematical Soc.. This book was released on 1998 with total page 65 pages. Available in PDF, EPUB and Kindle. Book excerpt: In this volume, a new function H 2/ab (K, G) of abelian Galois cohomology is introduced from the category of connected reductive groups G over a field K of characteristic 0 to the category of abelian groups. The abelian Galois cohomology and the abelianization map ab1: H1 (K, G) -- H 2/ab (K, G) are used to give a functorial, almost explicit description of the usual Galois cohomology set H1 (K, G) when K is a number field
Download or read book Almost Automorphic and Almost Periodic Dynamics in Skew Product Semiflows written by Wenxian Shen and published by American Mathematical Soc.. This book was released on 1998 with total page 111 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume is devoted to the study of almost automorphic dynamics in differential equations. By making use of techniques from abstract topological dynamics, it is shown that almost automorphy, a notion which was introduced by S. Bochner in 1955, is essential and fundamental in the qualitative study of almost periodic differential equations.