Definition talk:Small Class

From ProofWiki
Jump to navigation Jump to search

I can't get the difference between:

  1. Small class
  2. Set variable
  3. Set

--prime mover (talk) 21:24, 20 August 2012 (UTC)

A small class is a definitional abbreviation for (ultimately) a property which' extent (i.e., the collection of sets satisfying it) is a set. A set variable is a variable in the language of set theory. A set is an element of a model for the language of set theory.
Small classes are identified iff they have the same extent, so that they may also be viewed conceptually as '(things effectively equal to) sets'. Proper classes are 'things which look like sets but are external to the model' (which is why they can't consistently be called 'sets'). I hope to have contributed to enlightenment. --Lord_Farin (talk) 21:32, 20 August 2012 (UTC)
What's the difference between a "thing effectively equal to a set" and "a set"? What does "effectively" mean? What is the difference between a small class and a set?
As for "set variable", I understand that "Language of Set Theory" is a formal system which can be interpreted as a model for the way sets work. Therefore a set variable is not a set, but in any given LaST theorem it can be considered as being replaceable with a set, in that if all set variables were replaced by sets, the given statement would be a true statement in set theory. Or something.
Right? Wrong? Overcomplicated? Oversimplified? Cutting through the bullshit? --prime mover (talk) 22:17, 20 August 2012 (UTC)
The notion of "sets" was already here when I got here. They are treated essentially the same as small classes, except that small classes are often proven to be small and there are theorems surrounding whether a certain class is indeed small (whereas the treatment of "sets" here is a little more naive). So if they are something, sets are small classes. The main difference is the context in which they are used: small class is usually used here when ZF set theory is invoked specifically, whereas sets is used when the result is not considered a "set theory" one and whether "existence" of the set is not an issue. --Andrew Salmon (talk) 00:50, 21 August 2012 (UTC)
So a set is a small class is a set, then? --prime mover (talk) 05:16, 21 August 2012 (UTC)
Yes. Just that they're used in different contexts here. --Andrew Salmon (talk) 05:34, 21 August 2012 (UTC)
In which case would it not be appropriate to cut through the confusing language "small classes correspond to sets" and tell it like it is: "Small classes are sets"? --prime mover (talk) 05:57, 21 August 2012 (UTC)
As I tried to point out: Sets and small classes are intuitively describing the same thing, but the former is the internal notion to the model of set theory, and the latter is the (an) external notion. I contend that there is value in this distinction because in other situations the internal and external notions may not be equivalent (in that theorems for the one not necessarily hold for the other). It's complicated, but that is how I view it. --Lord_Farin (talk) 06:02, 21 August 2012 (UTC)
As you say, it's complicated. This distinction needs to be explained formally on the page itself, then. The current exposition uses impenetrable language which obscures rather than enhances understanding. Sorry to go on and on about this, but if the distinction is important (as is clear) then this needs to be explained properly. And it's currently not being. --prime mover (talk) 06:11, 21 August 2012 (UTC)

Would you consider the new attempt an improvement? --Lord_Farin (talk) 06:22, 21 August 2012 (UTC)

It's definitely better. I'm not sure but it may still have room for improvement, though. --prime mover (talk) 06:26, 21 August 2012 (UTC)