nonempty

• “Supposedly, I'm getting some junk .. fuse: mountpoint is not empty fuse: if you are sure this is safe, use the 'nonempty' mount option Yeah, well, of course it's not empty.”

  LinuxQuestions.org

• “Thus, as Tarski notes, if every expression of a language counted as a logical constant, logical validity would reduce to material truth preservation (or, on later versions of Tarski's definition, to material truth preservation on every nonempty domain) (1983, 419).”

  Logical Constants

• “In the second of these the notions bounded above, bounded below, and bounded are defined as in classical mathematics, and the least upper bound, if it exists, of a nonempty [47] set S of real numbers is the unique real number b such that”

  Continuity and Infinitesimals

• “Aristotelian logic studied certain simple relationships between classes, namely being a subclass of and having a nonempty intersection with.”

  The Algebra of Logic Tradition

• “Was Boole using Aristotelian semantics (where class symbols were nonempty)?”

  The Algebra of Logic Tradition

• “If B is a structure and X is a nonempty subset of dom (B), then there is a unique smallest substructure of B whose domain contains all of”

  First-order Model Theory

• “H be the collection of nonempty subsets of {0, 1}, i.e.,”

  The Axiom of Choice

• “Accordingly suppose we are given an indexed family of nonempty sets”

  The Axiom of Choice

• “Every nonempty inductive partially ordered set has a maximal element.”

  The Axiom of Choice

• “Given a nonempty inductive partially ordered set (P, ‰¤), pick an arbitrary element p0 of P.”

  The Axiom of Choice

Show 10 more examples...