Decision Problems For Equational Theories Of Relation Algebras
Download Decision Problems For Equational Theories Of Relation Algebras PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Decision Problems For Equational Theories Of Relation Algebras book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
Decision Problems for Equational Theories of Relation Algebras
"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.
Decision Problems for Equational Theories of Relation Algebras
Author: H. Andréka
language: en
Publisher: American Mathematical Society(RI)
Release Date: 2014-09-11
Covers decision problems for equational theories of relation algebras. This work is intended for graduate students, research mathematicians, and computer scientists interested in questions of computability in algebra, logic, and computer science.
A Guide to the Literature on Semirings and their Applications in Mathematics and Information Sciences
Author: K. Glazek
language: en
Publisher: Springer Science & Business Media
Release Date: 2013-06-29
This volume presents a short guide to the extensive literature concerning semir ings along with a complete bibliography. The literature has been created over many years, in variety of languages, by authors representing different schools of mathematics and working in various related fields. In many instances the terminology used is not universal, which further compounds the difficulty of locating pertinent sources even in this age of the Internet and electronic dis semination of research results. So far there has been no single reference that could guide the interested scholar or student to the relevant publications. This book is an attempt to fill this gap. My interest in the theory of semirings began in the early sixties, when to gether with Bogdan W ~glorz I tried to investigate some algebraic aspects of compactifications of topological spaces, semirings of semicontinuous functions, and the general ideal theory for special semirings. (Unfortunately, local alge braists in Poland told me at that time that there was nothing interesting in investigating semiring theory because ring theory was still being developed). However, some time later we became aware of some similar investigations hav ing already been done. The theory of semirings has remained "my first love" ever since, and I have been interested in the results in this field that have been appearing in literature (even though I have not been active in this area myself).