Cyclic congruences of slim semimodular lattices and non-finite axiomatizability of some finite structures

DOI10.5817/AM2022-1-15MaRDI QIDQ5071539

Gábor Czédli

Publication date: 22 April 2022

Published in: Archivum Mathematicum (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2102.00526

zbMATH Keywords

congruence latticenon-finite axiomatizabilityfinite axiomatizabilityfinite simple groupfinite model theoryslim semimodular latticejoin-irreducible congruencefirst-order languagefinite bipartite graphsfinite propositional logicfirst-order inexpressibility

Mathematics Subject Classification ID

Semimodular lattices, geometric lattices (06C10) Model theory of finite structures (03C13)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Congruences of fork extensions of slim, planar, semimodular lattices
• Patch extensions and trajectory colorings of slim rectangular lattices.
• A new look at the Jordan-Hölder theorem for semimodular lattices
• The Jordan-Hölder theorem with uniqueness for groups and semimodular lattices
• Finite-model theory -- A personal perspective
• Elements of finite model theory.
• A course in model theory. An introduction to contemporary mathematical logic. Transl. from the French by Moses Klein
• Axiomatisability and hardness for universal Horn classes of hypergraphs
• Notes on planar semimodular lattices. VIII. Congruence lattices of SPS lattices
• Planar Semimodular Lattices: Structure and Diagrams
• An application of games to the completeness problem for formalized theories
• Circles and crossing planar compact convex sets
• Notes on planar semimodular lattices. I. Construction
• Reduced direct products
• Characterizing circles by a convex combinatorial property
• Lamps in slim rectangular planar semimodular lattices
• A convex combinatorial property of compact sets in the plane and its roots in lattice theory
• Ultraproducts of finite sets
• Elementary properties of Abelian groups

This page was built for publication: Cyclic congruences of slim semimodular lattices and non-finite axiomatizability of some finite structures