urelement

Noun

This text is extracted from the Wiktionary and it is available under the CC BY-SA 3.0 license | Terms and conditions | Privacy policy 0.003

Noun

**urelement** (*plural* urelements)

- (
*set theory*) A mathematical object which is not a set but which can be an element of a set.- Synonyms: atom

**1996**, Scientific Books staff (translators), Yury Yershov,*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.

- The introduction of
**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**, a, we can build the sets \empty and \{a\}. If there are two**urelements**, a and b, the possible sets are \{a\}, \{b\}, and \{a,b\}; 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 \empty and \{\empty\}.

- There may be no
**2013**, Agustín Rayo,*The Construction of Logical Space*, Oxford University Press, page 95 ↗,- Let \mathcal{L}^\alpha_\in be a version of the language of set-theory with
**urelements**in which each occurrence of a quantifier is restricted by some V_\beta (\beta<\alpha).

- Let \mathcal{L}^\alpha_\in be a version of the language of set-theory with

This text is extracted from the Wiktionary and it is available under the CC BY-SA 3.0 license | Terms and conditions | Privacy policy 0.003