VON NEUMANN COORDINATIZATION IS NOT FIRST-ORDER

DOI10.1142/S0219061306000499MaRDI QIDQ5485747zbMATH OpenOpenAlexFDO

Authors Friedrich Wehrung

Publication date 4 September 2006

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

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

zbMATH Keywords

centervon Neumann regular ringmodular latticecomplemented lattice2-distributive latticecoordinatizable lattice

Mathematics Subject Classification ID

von Neumann regular rings and generalizations (associative algebraic aspects) (16E50) Other infinitary logic (03C75) Modular lattices, Desarguesian lattices (06C05) Ultraproducts and related constructions (03C20) Complemented modular lattices, continuous geometries (06C20)

Abstract: A lattice L is coordinatizable, if it is isomorphic to the lattice L(R) of principal right ideals of some von Neumann regular ring R. This forces L to be complemented modular. All known sufficient conditions for coordinatizability, due first to J. von Neumann, then to B. Jonsson, are first-order. Nevertheless, we prove that coordinatizability of lattices is not first-order, by finding a non-coordinatizable lattice K with a coordinatizable countable elementary extension L. This solves a 1960 problem of B. Jonsson. We also prove that there is no L_{infinity, infinity} statement equivalent to coordinatizability. Furthermore, the class of coordinatizable lattices is not closed under countable directed unions; this solves another problem of B. Jonsson from 1962.

Recommendations

• Generators for complemented modular lattices and the von Neumann-Jónsson coordinatization theorems
• A non-coordinatizable sectionally complemented modular lattice with a large Jónsson four-frame
• On the Arithmetic of Projective Coordinate Systems
• A new aspect of the cozero lattice in pointfree topology
• Coordinatization of lattices by regular rings without unit and Banaschewski functions
• The ring of an outer von Neumann frame in modular lattices
• The lattice coordinatized by a ring
• The Stone-Čech compactification of a partial frame via ideals and cozero elements
• Projective and supercoherent frames
• Multiplicative lattices and frames

Cites work

• scientific article; zbMATH DE number 42239 (Why is no real title available?)
• A geometric description of modular lattices
• A uniform refinement property for congruence lattices
• Alan Day's work on modular and arguesian lattices
• On the representation of lattices
• Representations of Complemented Modular Lattices
• Representations of Relatively Complemented Modular Lattices
• Representations of primary Arguesian lattices
• The dimension monoid of a lattice
• Zariski geometries

Cited in

(9)

• The ring of an outer von Neumann frame in modular lattices
• Categoricity, amalgamation, and tameness
• Real spectrum versus \(\ell\)-spectrum via Brumfiel spectrum
• Generators for complemented modular lattices and the von Neumann-Jónsson coordinatization theorems
• Examples of non-locality
• Coordinatization of lattices by regular rings without unit and Banaschewski functions
• A non-coordinatizable sectionally complemented modular lattice with a large Jónsson four-frame
• From noncommutative diagrams to anti-elementary classes
• From regular modules to von Neumann regular rings via coordinatization.

This page was built for publication: VON NEUMANN COORDINATIZATION IS NOT FIRST-ORDER

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