Cyclic congruences of slim semimodular lattices and non-finite axiomatizability of some finite structures (Q5071539)
From MaRDI portal
scientific article; zbMATH DE number 7511505
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Cyclic congruences of slim semimodular lattices and non-finite axiomatizability of some finite structures |
scientific article; zbMATH DE number 7511505 |
Statements
Cyclic congruences of slim semimodular lattices and non-finite axiomatizability of some finite structures (English)
0 references
22 April 2022
0 references
finite model theory
0 references
non-finite axiomatizability
0 references
finite axiomatizability
0 references
finite bipartite graphs
0 references
finite simple group
0 references
join-irreducible congruence
0 references
congruence lattice
0 references
slim semimodular lattice
0 references
finite propositional logic
0 references
first-order inexpressibility
0 references
first-order language
0 references
0 references
0 references
