Cyclic congruences of slim semimodular lattices and non-finite axiomatizability of some finite structures
Archivum mathematicum, Tome 58 (2022) no. 1, pp. 15-33.

Voir la notice de l'article dans Czech Digital Mathematics Library

We give a new proof of the fact that finite bipartite graphs cannot be axiomatized by finitely many first-order sentences among finite graphs. (This fact is a consequence of a general theorem proved by L. Ham and M. Jackson, and the counterpart of this fact for all bipartite graphs in the class of all graphs is a well-known consequence of the compactness theorem.) Also, to exemplify that our method is applicable in various fields of mathematics, we prove that neither finite simple groups, nor the ordered sets of join-irreducible congruences of slim semimodular lattices can be described by finitely many axioms in the class of finite structures. Since a 2007 result of G. Grätzer and E. Knapp, slim semimodular lattices have constituted the most intensively studied part of lattice theory and they have already led to results even in group theory and geometry. In addition to the non-axiomatizability results mentioned above, we present a new property, called Decomposable Cyclic Elements Property, of the congruence lattices of slim semimodular lattices.
DOI : 10.5817/AM2022-1-15
Classification : 03C13, 06C10
Mots-clés : finite model theory; non-finite axiomatizability; finite axiomatizability; finite bipartite graphs; finite simple group; join-irreducible congruence; congruence lattice; slim semimodular lattice; finite propositional logic; first-order inexpressibility; first-order language 
@article{10_5817_AM2022_1_15,
     author = {Cz\'edli, G\'abor},
     title = {Cyclic congruences of slim semimodular lattices and non-finite axiomatizability of some finite structures},
     journal = {Archivum mathematicum},
     pages = {15--33},
     publisher = {mathdoc},
     volume = {58},
     number = {1},
     year = {2022},
     doi = {10.5817/AM2022-1-15},
     mrnumber = {4412964},
     zbl = {07511505},
     language = {en},
     url = {https://geodesic-test.mathdoc.fr/articles/10.5817/AM2022-1-15/}
}
TY  - JOUR
AU  - Czédli, Gábor
TI  - Cyclic congruences of slim semimodular lattices and non-finite axiomatizability of some finite structures
JO  - Archivum mathematicum
PY  - 2022
SP  - 15
EP  - 33
VL  - 58
IS  - 1
PB  - mathdoc
UR  - https://geodesic-test.mathdoc.fr/articles/10.5817/AM2022-1-15/
DO  - 10.5817/AM2022-1-15
LA  - en
ID  - 10_5817_AM2022_1_15
ER  - 
%0 Journal Article
%A Czédli, Gábor
%T Cyclic congruences of slim semimodular lattices and non-finite axiomatizability of some finite structures
%J Archivum mathematicum
%D 2022
%P 15-33
%V 58
%N 1
%I mathdoc
%U https://geodesic-test.mathdoc.fr/articles/10.5817/AM2022-1-15/
%R 10.5817/AM2022-1-15
%G en
%F 10_5817_AM2022_1_15
Czédli, Gábor. Cyclic congruences of slim semimodular lattices and non-finite axiomatizability of some finite structures. Archivum mathematicum, Tome 58 (2022) no. 1, pp. 15-33. doi : 10.5817/AM2022-1-15. https://geodesic-test.mathdoc.fr/articles/10.5817/AM2022-1-15/

Cité par Sources :