Q4390777
type: Item
instance of: scholarly article
zbMATH Open document ID: 0897.03057
author: Judit Madarász
author: István Németi
author: Gábor Sági
publication date: 1998-10-19T00:00:00Z
Mathematics Subject Classification ID: 03G15
Mathematics Subject Classification ID: 03B20
zbMATH DE Number: 1156790
zbMATH Keywords: axiomatizability of the \(n\)-variable fragment \(L_n\) of first-order logic
zbMATH Keywords: finitization
zbMATH Keywords: representable relation algebras
zbMATH Keywords: permutation invariant operations
zbMATH Keywords: finitely axiomatizable
MaRDI profile type: MaRDI publication profile
Recommended article: Q4007503
Recommended article: On the variety generated by completions of representable relation algebras
Recommended article: Q4681894
Recommended article: Completeness theory for finite partial algebras
Recommended article: Q4890394
Recommended article: A Completeness Result for Relation Algebra with Binders
Recommended article: Complexity of equations valid in algebras of relations. I: Strong non-finitizability
Recommended article: Reducts of relation algebras: the aspects of axiomatisability and finite representability
Recommended article: Q4873976
Recommended article: Complexity of equations valid in algebras of relations. II: Finite axiomatizations
description: scientific article; zbMATH DE number 1156790