{"id":"arxiv/2610.14859","url":"https://arxiv.org/abs/2610.14859","tags":["math.LO","math.RA"],"score":0,"title":"A Countable Three-Generated Orthomodular Lattice with No $σ$-Complete Embedding","domain":"math.LO","source":"arxiv","authors":["Joaquim Reizi Higuchi"],"reviews":0,"subject":"math.LO","summary":"We give an explicit countably infinite orthomodular lattice generated by three specified elements and a direct argument that it admits no injective homomorphism into any $σ$-complete orthomodular lattice. In particular, it does not embed into any set-sized complete orthomodular lattice. The source is a generated subalgebra of a cofinite reduced product of finite-dimensional real subspace lattices. A nonzero finite term $a$ is orthogonal to the orbit of a terminal line under every finite word in three Sasaki projections, while another finite term $X$ satisfies $π_aπ_X(t)=a$. If the image of…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-10","reactions":{}}