简体版 繁體版 English
登録 ログイン

existential closureの例文

例文モバイル版
  • In the work she argued ( developing an insight by the philosopher quantifiers but free variables bound by an existential operator inserted in the sentence by a semantic operation that she dubbed existential closure.
  • In the class of dense without endpoints, while the existential closure of any countable ( including empty ) total order is, up to isomorphism, the countable dense total order without endpoints, namely the order type of the rationals.