From noncommutative diagrams to anti-elementary classes

DOI10.1142/S0219061321500112zbMATH Open1474.18004arXiv1902.00355MaRDI QIDQ5156476FDOQ5156476

Authors: Friedrich Wehrung 

Publication date: 18 October 2021

Published in: Journal of Mathematical Logic (Search for Journal in Brave)

Abstract: Anti-elementarity is a strong way of ensuring that a class of structures , in a given first-order language, is not closed under elementary equivalence with respect to any infinitary language of the form L $infty$$lambda$. We prove that many naturally defined classes are anti-elementary, including the following: $$ the class of all lattices of finitely generated convex {ell}-subgroups of members of any class of {ell}-groups containing all Archimedean {ell}-groups; $$ the class of all semilattices of finitely generated {ell}-ideals of members of any nontrivial quasivariety of {ell}-groups; $$ the class of all Stone duals of spectra of MV-algebras-this yields a negative solution for the MV-spectrum Problem; $$ the class of all semilattices of finitely generated two-sided ideals of rings; $$ the class of all semilattices of finitely generated submodules of modules; $$ the class of all monoids encoding the nonstable $K_0$-theory of von Neumann regular rings, respectively C*-algebras of real rank zero; $$ (assuming arbitrarily large Erd"os cardinals) the class of all coordinatizable sectionally complemented modular lattices with a large 4-frame. The main underlying principle is that under quite general conditions, for a functor $Phi$ : A $ightarrow$ B, if there exists a non-commutative diagram D of A, indexed by a common sort of poset called an almost join-semilattice, such that $$ $Phi$ D^I is a commutative diagram for every set I, $$ $Phi$ D is not isomorphic to $Phi$ X for any commutative diagram X in A, then the range of $Phi$ is anti-elementary.

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

Recommendations

• scientific article; zbMATH DE number 1534356
• On a class of subsemigroup lattices
• K-Radical classes and product radical classes of MV-algebras
• scientific article; zbMATH DE number 754183
• Lattice varieties with non-elementary amalgamation classes

zbMATH Keywords

latticediagramringDCPOBoolean algebrafunctorcategorylattice-ordered groupcoordinatizationpurityuniformizationcolimitcommutativecondensatenonstable \(K\)-theorylifterelementaryfreshnessdistributivepresentableaccessibleCeviandirectedarmature lemmaanti-elementarynorm-coveringscaled

Mathematics Subject Classification ID

Combinatorics of partially ordered sets (06A07) Frames, locales (06D22) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) von Neumann regular rings and generalizations (associative algebraic aspects) (16E50) Other combinatorial set theory (03E05) Semilattices (06A12) MV-algebras (06D35) Subalgebras, congruence relations (08A30) Categories of algebras (08C05) Grothendieck groups, (K)-theory, etc. (16E20) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Properties of classes of models (03C52) Other infinitary logic (03C75) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Complemented modular lattices, continuous geometries (06C20)

Cites Work

• Title not available (Why is that?)
• Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
• Groupes et anneaux reticules
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Lattice Theory: Foundation
• Accessible Categories: The Foundations of Categorical Model Theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Radical and Semi-Simplicity for Arbitrary Rings
• Advanced Łukasiewicz calculus and MV-algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• Exchange rings and decompositions of modules
• Combinatorial set theory: Partition relations for cardinals
• Extensions of exchange rings
• Representations of Complemented Modular Lattices
• Title not available (Why is that?)
• CRITICAL POINTS OF PAIRS OF VARIETIES OF ALGEBRAS
• A non-coordinatizable sectionally complemented modular lattice with a large Jónsson four-frame
• From objects to diagrams for ranges of functors
• Distributive congruence lattices of congruence-permutable algebras
• Non-axiomatizability of real spectra in \(\mathcal L_{ \infty \lambda} \)
• Cevian operations on distributive lattices
• Title not available (Why is that?)
• Representations of Relatively Complemented Modular Lattices
• VON NEUMANN COORDINATIZATION IS NOT FIRST-ORDER
• Title not available (Why is that?)
• The consistency strength of the free-subset property for ω_ω
• Conrad frames
• On the free subset property at singular cardinals
• More on the free subset problem
• An infinite combinatorial statement with a poset parameter
• Spectral spaces of countable abelian lattice-ordered groups
• Congruences of lattices and ideals of rings.
• Liftable and unliftable diagrams
• SIMULTANEOUS REPRESENTATIONS OF SEMILATTICES BY LATTICES WITH PERMUTABLE CONGRUENCES
• Lifting defects for nonstable \(K_{0}\)-theory of exchange rings and \(C^*\)-algebras
• Lifting retracted diagrams with respect to projectable functors
• Elementary equivalences and accessible functors

Cited In (4)

• Cevian operations on distributive lattices
• A solution to the MV-spectrum problem in size aleph one
• Cevian properties in ideal lattices of abelian \(\ell\)-groups
• Real spectra and \(\ell\)-spectra of algebras and vector lattices over countable fields

This page was built for publication: From noncommutative diagrams to anti-elementary classes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5156476)