**Contemporary Mathematics**

Volume: 131;
1992;
666 pp;
Softcover

MSC: Primary 00; 03; 06; 08; 12; 13; 14; 16; 17; 18; 20; 22; 51;
Secondary 05; 11; 15; 19; 53

Print ISBN: 978-0-8218-5138-8

Product Code: CONM/131.3

List Price: $91.00

AMS Member Price: $72.80

MAA member Price: $81.90

**Electronic ISBN: 978-0-8218-7722-7
Product Code: CONM/131.3.E**

List Price: $91.00

AMS Member Price: $72.80

MAA member Price: $81.90

#### This item is also available as part of a set:

# Proceedings of the International Conference on Algebra Dedicated to the Memory of A. I. Mal\(’\)cev

Share this page *Edited by *
*L. Bokut; A. I. Kostrikin; Yu. L. Ershov*

# Table of Contents

## Proceedings of the International Conference on Algebra Dedicated to the Memory of A. I. Mal$'$cev

- Contents: Part 3 xiii14 free
- Foreword xvii18 free
- Introduction xix20 free
- Brief Scientific Contents of Plenary Reports xxiii24 free
- Section 7–Universal Algebra, Categories, and Combinatorics 128 free
- Combinatorial Problems Connected with Finite Homogeneity 330
- Lattices of Conjugacy Relations 3158
- A Categorical Theorem on Universal Objects and its Application in Abelian Group Theory and Computer Science 4976
- Minimal Faithful Permutation and Transformation Representations of Groups and Semigroups 75102
- Free and Finitely Presented Lattices 85112
- On Weak Automorphisms of Some Finite Algebras 99126
- The Goldie Dimension of Some Extensions of Modular Lattices 111138
- A Note on Barr-Diaconescu Covering Theory 121148
- On Identities of Cancellative Semigroups 125152
- On the Ubiquity of Mal'cev Operations 135162
- Trees and Inverse Semigroups 147174
- A "Large" Essentially Minimal Clone over an Infinite Set 159186
- A Characterization of Decidable Locally Finite Varieties 169196
- A Lattice Theoretic Characterization of Equivalent Quasivarieties 187214
- Functionally Complete and Affine Complete Algebras and Associated Varieties 201228
- Some Algebraic Aspects of Database Theory 219246
- An Introduction to the Theory of Modes and Modals 241268
- Locally Residually Finite and Locally Representable Varieties of Semigroups 263290
- Hyperidentities and Clone Congruences 283310
- Semigroup Varieties with Commuting Fully Invariant Congruences on Free Objects 295322

- Section 8–Algebraic Geometry 317344
- Computer Method in Calculating B-Functions of Non-Isolated Singularities 319346
- The Cone of Effective Divisors of Threefolds 337364
- Parametrization and Embeddings of a Class of Homogeneous Spaces 353380
- The Local Uniformization of Branches of an Algebraic Curve 361388
- Analytic Ax-Kochen-Ersov Theorems 379406
- Some Examples of Computation of a Regulator Map on Singular Varieties 399426
- An Intrinsic Elimination Theory by Means of Forms Associated to Algebraic Varieties 419446
- Boundedness of Q-Fano Threefolds 439466
- Weak Approximation in Algebraic Groups and Homogeneous Spaces 447474
- Diffeomorphism Criteria for Smooth Manifolds and Algebraic Varieties 453480
- Some Aspects of Computational Algebraic Number Theory 461488
- Local-Global Principles in Algebra and Number Theory 475502
- Some Open Problems in Invariant Theory 485512
- Positivity of Sheaves and Geometric Invariant Theory 499526
- Complex Divisors on Algebraic Curves and Some Applications to String Theory 515542
- Algebraic Geometry via Model Theory 523550

- Section 9–Logic 539566
- Vector Spaces with a Distinguished Subgroup 541568
- A Guided Tour Through Nonstandard Analysis 555582
- Heyting-Valued Analysis: P. S. Novikov's Hypotheses 565592
- Definability and Interpolation in Classical Modal Logics 583610
- Algebraic Aspect of Logics without Structural Rules 601628
- Semantical Significances of Formulas in the Classical Predicate Logic 623650
- The Universal Theory of the Free Pseudoboolean Algebra Fω(H) in the Signature Extended by Constants for Free Generators 645672
- Computing Degrees of Definable Classes of Sentences 657684