Boolean topological graphs of semigroups: the lack of first-order axiomatization
type: Item
instance of: scholarly article
title: Boolean topological graphs of semigroups: the lack of first-order axiomatization
zbMATH Open document ID: 1348.08001
author: Michał M. Stronkowski
author: Belinda Trotta
published in: Semigroup Forum
publication date: 2015-01-09T00:00:00Z
Mathematics Subject Classification ID: 08A02
Mathematics Subject Classification ID: 03C07
Mathematics Subject Classification ID: 08C15
zbMATH DE Number: 6385112
zbMATH Keywords: topological prevarieties
zbMATH Keywords: first-order axiomatization
zbMATH Keywords: Boolean cores
zbMATH Keywords: relational structures
zbMATH Keywords: profinite structures
MaRDI profile type: Publication
full work available at URL: s00233-014-9582-3
OpenAlex ID: W2053962357
Wikidata QID: Q59399061
cites work: Dualities for Constraint Satisfaction Problems
cites work: Q3934450
cites work: Q5184960
cites work: Q4679049
cites work: Standard topological algebras: syntactic and principal congruences and profiniteness
cites work: The axiomatizability of topological prevarieties
cites work: Q4220413
cites work: Constraint satisfaction, irredundant axiomatisability and continuous colouring
cites work: Q3514350
cites work: Q5682023
cites work: On classes of relations and graphs determined by subobjects and factorobjects
cites work: Theorems on Compact Totally Disconnected Semigroups and Lattices
cites work: A partially ordered space which is not a Priestley space
cites work: Quasi-equational bases for graphs of semigroups, monoids and groups.
cites work: Residual properties of pre-bipartite digraphs
cites work: RESIDUAL PROPERTIES OF SIMPLE GRAPHS
cites work: Q5392460
cites work: The finite basis problem for finite semigroups
DOI: 10.1007/S00233-014-9582-3
description: scientific article; zbMATH DE number 6385112