000			03606nam a22004815i 4500
001			978-3-540-36023-0
003			DE-He213
005			20161121231034.0
007			cr nn 008mamaa
008			100301s2006 gw | s |||| 0|eng d
020			_a9783540360230 _9978-3-540-36023-0
024	7		_a10.1007/3-540-36023-9 _2doi
050		4	_aQA150-272
072		7	_aPBF _2bicssc
072		7	_aMAT002000 _2bisacsh
082	0	4	_a512 _223
100	1		_aLau, Dietlinde. _eauthor.
245	1	0	_aFunction Algebras on Finite Sets _h[electronic resource] : _bA Basic Course on Many-Valued Logic and Clone Theory / _cby Dietlinde Lau.
264		1	_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2006.
300			_aXIV, 670 p. _bonline resource.
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
347			_atext file _bPDF _2rda
490	1		_aSpringer Monographs in Mathematics, _x1439-7382
505	0		_aPreliminaries -- Preliminaries -- Universal Algebra -- Basic Concepts of Universal Algebra -- Lattices -- Hull Systems and Closure Operators -- Homomorphisms, Congruences, and Galois Connections -- Direct and Subdirect Products -- Varieties, Equational Classes, and Free Algebras -- Function Algebras -- Basic Concepts, Notations, and First Properties -- The Galois-Connection Between Function- and Relation-Algebras -- The Subclasses of P2 -- The Subclasses of Pk Which Contain Pk1 -- The Maximal Classes of Pk -- Rosenberg’s Completeness Criterion for Pk -- Further Completeness Criteria -- Some Properties of the Lattice -- Congruences and Automorphisms on Function Algebras -- The Relation Degree and the Dimension of Subclasses of Pk -- On Generating Systems and Orders of the Subclasses of Pk -- Subclasses of Pk,2 -- Classes of Linear Functions -- Submaximal Classes of P3 -- Finite and Countably Infinite Sublattices of Depth 1 or 2 of -- The Maximal Classes of ?a?Q Polka for Q Ek -- Maximal Classes of PolkEl for 2 ? l < k -- Further Submaximal Classes of Pk -- Minimal Classes and Minimal Clones of Pk -- Partial Function Algebras.
520			_aFunctions which are defined on finite sets occur in almost all fields of mathematics. For more than 80 years algebras whose universes are such functions (so-called function algebras), have been intensively studied. This book gives a broad introduction to the theory of function algebras and leads to the cutting edge of research. To familiarize the reader from the very beginning on with the algebraic side of function algebras the more general concepts of the Universal Algebra is given in the first part of the book. The second part on fuction algebras covers the following topics: Galois-connection between function algebras and relation algebras, completeness criterions, clone theory. This book is an insdispensible source on function algebras for graduate students and researchers in mathematical logic and theoretical computer science.
650		0	_aMathematics.
650		0	_aArithmetic and logic units, Computer.
650		0	_aAlgebra.
650		0	_aMathematical logic.
650	1	4	_aMathematics.
650	2	4	_aAlgebra.
650	2	4	_aMathematical Logic and Foundations.
650	2	4	_aArithmetic and Logic Structures.
710	2		_aSpringerLink (Online service)
773	0		_tSpringer eBooks
776	0	8	_iPrinted edition: _z9783540360223
830		0	_aSpringer Monographs in Mathematics, _x1439-7382
856	4	0	_uhttp://dx.doi.org/10.1007/3-540-36023-9
912			_aZDB-2-SMA
950			_aMathematics and Statistics (Springer-11649)
999			_c507650 _d507650