VON NEUMANN COORDINATIZATION IS NOT FIRST-ORDER

DOI10.1142/S0219061306000499zbMATH Open1106.06002arXivmath/0409250OpenAlexW2050051551MaRDI QIDQ5485747FDOQ5485747

Authors: Friedrich Wehrung 

Publication date: 4 September 2006

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

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.

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

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

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)

Cites Work

• Title not available (Why is that?)
• Zariski geometries
• The dimension monoid of a lattice
• Representations of primary Arguesian lattices
• Representations of Complemented Modular Lattices
• On the representation of lattices
• A geometric description of modular lattices
• Representations of Relatively Complemented Modular Lattices
• A uniform refinement property for congruence lattices
• Alan Day's work on modular and arguesian lattices

Cited In (9)

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

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)