2 résultat(s) recherche sur le mot-clé 'locally finite varieties'

Decidability and Boolean representations / Burris, Stanley

Public ISBD Titre : Decidability and Boolean representations : I. Decidable varieties with modular congruence lattices. II. Boolean representable varieties Type de document : texte imprimé Auteurs : Burris, Stanley ; McKenzie, Ralph Editeur : Providence, R.I. : American Mathematical Society Année de publication : 1981 Collection : Memoirs of the American Mathematical Society, ISSN 0065-9266 num. 246 Importance : vii - 106 p. Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B25 Decidability of theories and sets of sentences 03-XX Mathematical logic and foundations:03CXX Model theory:03C05 Equational classes, universal algebra 08-XX General algebraic systems:08BXX Varieties :08B10 Congruence modularity, congruence distributivity Mots-clés : abelian variety  discriminator variety  locally finite varieties  modular varieties  decidable first order theory  varietal product  variety of universal algebras Index. décimale : Mem Decidability and Boolean representations : I. Decidable varieties with modular congruence lattices. II. Boolean representable varieties [texte imprimé] / Burris, Stanley ; McKenzie, Ralph . - Providence, R.I. : American Mathematical Society, 1981 . - vii - 106 p.. - (Memoirs of the American Mathematical Society, ISSN 0065-9266; 246) . Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B25 Decidability of theories and sets of sentences 03-XX Mathematical logic and foundations:03CXX Model theory:03C05 Equational classes, universal algebra 08-XX General algebraic systems:08BXX Varieties :08B10 Congruence modularity, congruence distributivity Mots-clés : abelian variety  discriminator variety  locally finite varieties  modular varieties  decidable first order theory  varietal product  variety of universal algebras Index. décimale : Mem

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
15228	Mem/246	imprimé / autre	CRDM	Mem/MEMOIRS AMS	Disponible

Generative complexity in algebra / Berman, Joel

Public ISBD Titre : Generative complexity in algebra Type de document : texte imprimé Auteurs : Berman, Joel, Auteur ; Idziak, Paweł M., Auteur Editeur : Providence, R.I. : American Mathematical Society Année de publication : 2005 Collection : Memoirs of the American Mathematical Society, ISSN 0065-9266 num. 828 Importance : vii - 159 p. ISBN/ISSN/EAN : 978-0-8218-3707-8 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03CXX Model theory:03C13 Finite structures 03-XX Mathematical logic and foundations:03CXX Model theory:03C45 Classification theory, stability and related concepts 08-XX General algebraic systems:08AXX Algebraic structures :08A05 Structure theory Mots-clés : enumeration of finite algebras  classification of finite algebras  locally finite varieties  free spectra Index. décimale : Mem Generative complexity in algebra [texte imprimé] / Berman, Joel, Auteur ; Idziak, Paweł M., Auteur . - Providence, R.I. : American Mathematical Society, 2005 . - vii - 159 p.. - (Memoirs of the American Mathematical Society, ISSN 0065-9266; 828) . ISBN : 978-0-8218-3707-8 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03CXX Model theory:03C13 Finite structures 03-XX Mathematical logic and foundations:03CXX Model theory:03C45 Classification theory, stability and related concepts 08-XX General algebraic systems:08AXX Algebraic structures :08A05 Structure theory Mots-clés : enumeration of finite algebras  classification of finite algebras  locally finite varieties  free spectra Index. décimale : Mem

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
19189	Mem/828	imprimé / autre	CRDM	Mem/MEMOIRS AMS	Disponible