Note on antichain cutsets in discrete semimodular lattices
  The characterization of level sets of finite Boolean lattices as antichain cutsets, due to Rival and Zaguia, is seen to hold in all discrete semimodular lattices. 
Stephan Foldes
math.CO