Search Results

You are looking at 1 - 5 of 5 items for

  • Author or Editor: Jonathan David Farley x
  • Refine by Access: All Content x
Clear All Modify Search


It is shown that, if two bounded distributive lattices satisfy the join-infinite distributive law (JID), then their coproduct also satisfies this law. In 1986, Yaqub proved that generalized Post algebras with a finite lattice of constants satisfy JID, and stated that, in general, it is not known whether a generalized Post algebra satisfies JID when its lattice of constants satisfies JID. In this note, the statement is proved.

Restricted access

Let k ≥ 1. A Sperner k-family is a maximum-sized subset of a finite poset that contains no chain with k + 1 elements. In 1976 Greene and Kleitman defined a lattice-ordering on the set Sk (P) of Sperner k-families of a fifinite poset P and posed the problem: “Characterize and interpret the join- and meet-irreducible elements of Sk (P),” adding, “This has apparently not been done even for the case k = 1.”

In this article, the case k = 1 is done.

Open access

Proctor and Scoppetta conjectured that

  • (1) there exists an infinite locally finite poset that satisfies their conditions VT and NTC but not SIS;

  • (2) there exists an infinite locally finite poset satisfying their conditions D3-C and D3MF but not both VT and FT; and

  • (3) there exists an infinite locally finite poset satisfying their conditions D3-C and D3MD but not NCC.

In this note, the conjecture of Proctor and Scoppetta, which is related to d-complete posets, is proven.

Open access

Problem 2 of Welsh’s 1976 text Matroid Theory, asking for criteria telling when two families of sets have a common transversal, is solved.

Another unsolved problem in the text Matroid Theory, on whether the “join” of two non-decreasing submodular functions is submodular, is answered in the negative. This resolves an issue first raised by Pym and Perfect in 1970.

Open access

Grätzer and Lakser asked in the 1971 Transactions of the American Mathematical Society if the pseudocomplemented distributive lattices in the amalgamation class of the subvariety generated by 2 n ⊕ 1 can be characterized by the property of not having a * homomorphism onto 2 i ⊕ 1 for 1 < i < n.

In this article, this question is answered.

Open access