Showing math.LOShow all
2 papers · 1 filter
math.LO2026
A Countable Three-Generated Orthomodular Lattice with No -Complete Embedding
Joaquim Reizi Higuchi
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 -comple…
math.LO2026
The first fatal axiom for weakened sequential products on finite MV-effect algebras: Local obstruction, exact low-rank classification, and the rank-one boundary case
Joaquim Reizi Higuchi
We study total binary operations on effect algebras obtained by truncating the Gudder-Greechie axiom package for a sequential product. The point is not to reprove the known nonexis…