From noncommutative diagrams to anti-elementary classes

DOI10.1142/S0219061321500112MaRDI QIDQ5156476zbMATH OpenFDO

Authors Friedrich Wehrung

Publication date 18 October 2021

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

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

zbMATH Keywords

distributiveuniformizationscaledringpuritypresentablenorm-coveringnonstable \(K\)-theorylifterlattice-ordered grouplatticefunctorfreshnesselementaryaccessibledirecteddiagramDCPOcoordinatizationcondensatecommutativecolimitCeviancategoryBoolean algebraarmature lemmaanti-elementary

Mathematics Subject Classification ID

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

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.

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

Cites work

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

Cited in

(6)

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

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)