意味 |
urelementとは 意味・読み方・使い方
追加できません
(登録数上限)
Wiktionary英語版での「urelement」の意味 |
urelement
別の表記
- ur-element
語源
From ur- (“primordial”) + element.
名詞
urelement (複数形 urelements)
- (set theory) A mathematical object which is not a set but which can be an element of a set.
- 1996, Scientific Books staff (translators), Yuri L. Ershov, Definability and Computability, Scientific Books, page viii,
- The introduction of urelements would seem to be a technical improvement; however, now we know that just such an extension of the notion of the admissible set led to the universal theory of computability based on the notion of definability by formulas with (in a broad sense) effective semantics.
- 2012, Nicholas J. J. Smith, Logic: The Laws of Truth, Princeton University Press, page 448,
- There may be no urelements; as we shall see, we can still build plenty of sets in this case. At stage 0 we can always build the empty set. If there are no urelements, this is the only set we can build. If there is one urelement, , we can build the sets and . If there are two urelements, and , the possible sets are , , and ; and so on if there are more urelements.
- At stage 1, we can build any set containing urelements or sets built at stage 0; that is, any set whose members are already available at the beginning of stage 1. If there are no urelements, we can build and .
- 2013, Agustín Rayo, The Construction of Logical Space, Oxford University Press, page 95,
- Let be a version of the language of set-theory with urelements in which each occurrence of a quantifier is restricted by some .
- 1996, Scientific Books staff (translators), Yuri L. Ershov, Definability and Computability, Scientific Books, page viii,
使用する際の注意点
The standard axiomatisation of set theory, ZFC, ignores urelements. (By the axiom of extensionality, two sets whose only difference is that one contains urelements which the other does not would be equal.)
派生語
- KPU
- NFU
Further reading
- Urelement on Wikipedia.
- Axiom of extensionality on Wikipedia.
- Hereditary set on Wikipedia.
- Kripke–Platek set theory with urelements on Wikipedia.
- New Foundations on Wikipedia.
- urelement on nLab
- Urelement on Wolfram MathWorld
|
意味 |
urelementのページの著作権
英和・和英辞典
情報提供元は
参加元一覧
にて確認できます。
Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL). Weblio英和・和英辞典に掲載されている「Wiktionary英語版」の記事は、Wiktionaryのurelement (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。 |
ピン留めアイコンをクリックすると単語とその意味を画面の右側に残しておくことができます。 |
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |
-
1iris
-
2rendezvous
-
3sphery
-
4believe
-
5vapid
-
6while
-
7consider
-
8appreciate
-
9test
-
10provide
「urelement」のお隣キーワード |
weblioのその他のサービス
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |