urelement

urelement englanniksi

1. A mathematical object which is not a set but which can be an element of a set.

(syn)

2. 1996, Scientific Books staff (translators), (w), ''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.

3. {{quote-book|en|year=2012|author=Nicholas J. J. Smith|title=Logic: The Laws of Truth|pageurl=https://books.google.com.au/books?id=oGgZWwA2dIgC&pg=PA448&dq=%22urelement%22%7C%22urelements%22&hl=en&sa=X&ved=0ahUKEwisu7PWmvDbAhWJyrwKHQgFD_cQ6AEINjACv=onepage&q=%22urelement%22%7C%22urelements%22&f=false|page=448|publisher=Princeton University Press

4. {{quote-book|en|year=2013|author=Agustín Rayo|title=The Construction of Logical Space|pageurl=https://books.google.com.au/books?id=NKNoAgAAQBAJ&pg=PA95&dq=%22urelement%22%7C%22urelements%22&hl=en&sa=X&ved=0ahUKEwisu7PWmvDbAhWJyrwKHQgFD_cQ6AEIvAEwHAv=onepage&q=%22urelement%22%7C%22urelements%22&f=false|page=95|publisher=Oxford University Press