Talk:Urelement

Contradiction between German and English pages wrt "individuals"

The German version of Urelement claims that the class of urelements is a proper subclass of the class of individuals. This requires clarification and should be corrected in the corresponding page. FLoebe (talk) 16:15, 9 October 2008 (UTC)

I think this stems from two different uses of the term. Sometimes, people use "individuals" just to mean the objects of any theory. I'm not sure if such a minor point should clarify this, as I think the clarification itself might potentially be more confusing, but if anyone has strong opinions about this they may do it. Phill (talk) 23:00, 9 January 2009 (UTC)

category theory and urelements

Is there, or could there be created, a categorical definition of urelement?Rich 01:38, 9 September 2006 (UTC)

Interesting. I'm not familiar with any real work done on that matter, but I can offer my thoughts. One trouble with a categorical definition of urelements is that if morphisms are taken to be functions, how would one define functions on something which is not a set? One possibility would be to not define them, and then maybe call urelements those things on which there are only identity morphisms, but then you would lose some crucial properties of the category of sets, e.g., the existance of terminal objects. Another possibility is to treat urelements as distinct empty sets, and then you can define urelements as objects isomorphic to 0 but not identical with 0. Just my uninformed suggestions. Phill 11:11, 8 July 2007 (UTC)

Prefix Ur

Is there any reason for this prefix ur-? Albmont 20:28, 5 February 2007 (UTC)

Mathworld reports:

"Ur" is a German prefix which is difficult to translate literally, but has a meaning close to "primeval."

— Arthur Rubin | (talk) 20:47, 5 February 2007 (UTC)

Thanks! Maybe this should go into the text? I had seen this prefix before in GURPS Uplift (ur-species), but I didn't think it came from a real world language (many expressions in the Uplift Universe come from alien conlangs). Albmont 13:25, 6 February 2007 (UTC)

NFU

Hello, I'm french and read this article for the french's one I have written.

I have a poor level in english, excuse me.

I don't understand this sentence :

"NFU is consistent with the axiom of choice whereas NF disproves it" What means?

NFU + AC is consistent if NFU is consistent, and NF|- not(AC) ???? If it is possible NFU (I don't know it) is obviously not a upperTheory of NF (ok, that the fact because the language is different) and has specific axioms.

Could you explain (in simple english, or in "logic language" :-) ), for your article and the french version, please.

If someone has a response after a long time, may he put it on my french page fr:Utilisateur:Epsilon0, thanks.

Sincerely. --Epsilon0 18:33, 24 May 2007 (UTC)

My interpretation of what is said in the NF page:

Consis(PA) -> Consis(NFU + Infinity + Choice)

(The statement Consis(NFU) -> Consis (NFU + Choice) is not made in that article, so I'm not sure it's correct.)

NF |- not AC

Any "model" of NF also models NFU

— Arthur Rubin | (talk) 20:52, 24 May 2007 (UTC)

Ok, I understand if "Any "model" of NF also models NFU". Thank you --Epsilon0 19:35, 30 May 2007 (UTC) (who has probably an Erdős number of epsilon0 ;) ).

Maybe I'm wrong, but since you can do arithmetic in NFU, doesn't that mean that Consis(NFU)->Consis(PA)? And therefore, by transitivity, Consis(NFU)->Consis(NFU+Infinifty+Choice)? In either case, Holmes does assert this claim. Phill 11:00, 8 July 2007 (UTC)

one-sorted theory?

• Another way is to work in a one-sorted theory with a unary relation used to distinguish sets and urelements.
  • What is a one-sorted theory?
  • Is it possible to typify such a unary relation?

Thanks, --Abdull (talk) 18:55, 10 September 2010 (UTC)

A "one-sorted theory" is one in which there is only one type of object; in the context of set theory with urelements, the distinction between "set" and "urelement" can be done by an additional non-logical relation U, where U x means x is a urelement; or adding an additional non-logical constant U, where x ∈ U means x is a urelement. — Arthur Rubin (talk) 04:49, 11 September 2010 (UTC)

A broken link in the article

The link to http://standish.stanford.edu/pdf/00000056.pdf is broken (the domain does not exist). — Preceding unsigned comment added by VictorPorton (talk • contribs) 22:05, 17 August 2017 (UTC)