Article ID Journal Published Year Pages File Type 5778132 Annals of Pure and Applied Logic 2017 15 Pages PDF Abstract An element a of a lattice cups to an element b>a if there is a c Keywords 03F3003D3003D2003G10 Related Topics Physical Sciences and Engineering Mathematics Logic Preview Authors Paul Shafer, Related Articles Products of Menger spaces: A combinatorial approach A classification of orbits admitting a unique invariant measure Cardinal characteristics at κ in a small u(κ)u(κ) model Bounded stationary reflection II Labeled sequent calculus for justification logics Effective results on a fixed point algorithm for families of nonlinear mappings Vaught's conjecture for quite o-minimal theories Proof complexity of intuitionistic implicational formulas Pseudo real closed fields, pseudo p-adically closed fields and NTP2 Essential and density topologies of continuous domains