Talk:Ordinal number/Archive 4

1540:

formulation, however abstract it already is. As humans we reach the abstract notions only after working through some practical realizations of the concepts. As such, the purest essence is like knowledge of a city; you only acquire it after walking around for a while. The question of which definition to use is ultimately a practical one; if your purpose is fundamentally pedagogical you should perhaps choose a different definition than the one most practical for some actual computation or theoretical investigation. This being an encyclopedia, the pedagogical aspect should carry some weight. Since this 'pedia is (I believe) quite heavily used by students, it is a good thing to provide just the kind of informations that students need -- after the more introductory sections. (The article is already quite good for students, it's the lead and intro I am worried about.)

2780:

lacking was a good definition of the difference between a cardinal and ordinal number. I get it now but when I first came here I found both articles to just dive in deep without first giving the basic idea. IMO a good Knowledge article should always do that. We need the detail for people like me who are really trying to dig deep into the topic but we also need the basics for someone who just comes across the terms and wants to understand the difference. IMO we need something like "ordinal numbers are for ordering, they tell what position something takes in an ordered group where as cardinal numbers are for counting, they say how many somethings are in a group". I don't feel competent enough to write it myself but just thought I would leave the suggestion here. I'm kind of embarrassed to admit it but I had to go here:

1700:

element", but that is what comes to my mind when I read it. The text reminds too much of the regular (not set theoretic) ordinal numbers. The notion of set-theoretic ordinal grew out of mappings, a way of comparing the sizes of two sets. We should stick with the concept of size, and explain that order matters for comparisons. We can think of cardinals as trying all possible pairings, and preferring the pairing that makes the sets equal, if such a way can be found. Ordinals works with well-ordered sets, and use the ordering to chose which elements to pair. That is why we fuzz about the ordering having to be a well-ordering: We need it to be able to chose the smallest next element from each set. Non-well-orderings don't have a smallest element, and so we have no preferred way of pairing the sets.

2663:

same as the cardinality of the ordinal) but the ordinal tells you more - it tells you the exact order type of the well ordering. There's nothing topological about that. As for "quotient set", if that means "equivalence class" then at least the link is more accurate (because "having the same cardinality" is an equivalence relation on ordinals), but I tend to agree with Trovatore that the link does not add that much value. Normal, nontechnical English uses the phrase "finer distinction" - I don't think we need to search for an article to link to the phrase. But 'quotient set' has a connotation of topology that 'equivalence class' does not, so the latter is better than the former in any case. — Carl

103:

for people that don't routinely work with posets up to isomorphism (which readers would know that there are exactly two posets with two elements?), requiring further explanation in the lead to bring them up to speed on a concept that later on is going to be dismissed as outdated anyway. (I used it because I routinely work with abstract posets and this definition is more intuitive for me personally than any other, as it may well be to the other editors here for all I know, which would explain why no one's raised this issue before. Having had time to absorb the lessons of 9/11 I'm less evangelical about my world view than I used to be in all respects except evangelizing

1536:, but then they probably have to look up 20 other terms -- of limited relevance for understanding the fundamental idea of ordinals, but you only know that after looking them up -- until the "head explodes moment" as another reader wrote in another talk page. All right, the actual order type page is among the better ones in this respect, but a good encyclopedia should not require its readers to be almost experts before reading an article. The initial parts of each article should be readable with a vocabulary much more basic than the subject of the article. "Order type" is not much more fundamental or widely known than "Ordinal number". 115:(even without regularity) the finite ordinals are exactly the finite transitive sets, since (unless I'm confused) trichotomy follows by induction (is there a name for the smallest ordinal for which trichotomy does not follow by induction?). We should either argue how this works for each of 0,1,2 separately (probably not 3) or give the whole proof at once, whichever seems better; the former may be easier to follow. Also make the point that trichotomy is only needed to accommodate very large ordinals (wherever "very large" kicks in, my bad for not knowing). -- 111:

should be as short as possible so as at least to create the appearance of understandability ("if I can just grasp the implications of those two words..."), and we should immediately give examples that build up intuition, perhaps based on the von Neumann definition, and make the point that no two ordinals are order isomorphic (even when they are isomorphic as sets, a detail that has confused some on this talk page), which conveys all the information that "order type" does without getting entangled in the much higher order concept of an equivalence class.

1696:(compared to the natural numbers). I find this case particularly instructive; it has a final or greatest member, yet it looks at first sight very similar to the set of natural numbers. This example could be included in the intro, to give a preliminary feeling of the reality of order types. (The order types article has other examples. But the Order Type article also talks about sets that are not well ordered, like the integers and the negative numbers that have no smallest element. 31: 2477:

numbers in set theory". ...and the other one just "ordinal numbers"? I know the mathematicians will hate that, because you have a very different perspective to me, but I expect most people visiting this page are.... confused! We don't think we are looking for "linguistics" or anything. This is just about the first time I looked something up on Knowledge and then gave up and looked it up on a desktop encyclopaedia instead!

3207:...). One can find this pronoun used in research papers of the highest quality, mathematics encyclopedias, research monographs, and textbooks of all levels. My own general attitude is that such use should be minimized, but if it turns out to be the least awkward way to express a complicated idea, then it would be a mistake to do it any other way. This is consistent with the demands of 3120:.) Many of our maths articles have this problem. The two most obvious faults of this sort are a) telling the reader what to do ("Note that...", "It should be observed that..."), and b) asking the reader questions ("What is the meaning of ...?" "How do we know that...?"). Just don't do it. There is never, ever any reason to do either of these sorts of things in encyclopedic writing. 1349:

e^(-kn), with resetting of the scale for each transition from n to omega, omega to omega^2, etc. That's counter-intuitive in at least three ways, but that's OK if these counter-intuitive mappings are at least pointed out... especially if there's some ultimate payoff, such as the graphic highlighting some aspect of the topic that is otherwise hard to see.

464:

other application of them (as a mathematical structure from which sets could be defined) because sets were already so entrenched in the mathematical consciousness, and so I dismissed that application out of hand. Perhaps that was premature, maybe there is an audience for that point of view after all. Though for you it would be competing with ordinals.

513:

proposed replacement for the lead I defined the ordinals as the hereditarily transitive sets, and if I hadn't actually exhibited the first few such you might not have complained. However there is only one hereditarily transitive set of each finite cardinality, and when one exhibits the first few of them the natural reaction is yours: "Oh, he's

1525:

with it (in spite of the objections in the discussion above) except that we are forcing 90% of the readers to read past the lead without understanding a iota. This percentage would have been much higher if not so many potential readers had already decided that the technical WP articles are unreadable and had stopped looking them up.

3699:" in a sense, is not clearly trying to discuss the same topic, so it would need to have separate articles in Knowledge, if it were to be included, at all. (BTW, I found what the error in your analysis would be in classical logic, but it's inappropriate here. With your permission, I'll post on your home page, later.) — 3202:

is given..."). There is a spectrum between inane textbookish phrases such as those just removed, and the kind of addressing the reader that is actually necessary for writing formal mathematics in a way that can be read by other mathematicians. For example, the use of the first person plural pronoun

3006:

There is a danger at pitching the first sentence at too high a level. Ordinal numbers for "most" readers really are just the counting numbers that we use to place numbers one after the other. So any proposed wording should be understandable by (say) high school children, because ordinal numbers are

2002:

In section 4.3 (successor and limit ordinals) the article states "that a limit ordinal is indeed the limit in a topological sense". I think its not the limit, but the colimit / direct limit. Just calling it topological limit might be confusing for people with topological background or for someone who

1715:

It looks like you've put a lot of thought into this, and I haven't yet read your comments with the attention that they deserve. I would make one, perhaps fairly superficial, remark, though: I don't really agree that the most accessible way to motivate ordinals is via wellordered sets. I think it's

1390:

Yes I see the caption, but I don't see that in the figure. At one full turn we get to ω, right? Then what happens at turn 1.5? Aren't we supposed to wait until turn 2 until we get to ω? If so, what are all the changes of scale between 1.5 and 2? Or is the caption really saying we get to ω at 2 full

286:

Really this isn't particularly different from how we treat the natural numbers. No one, I hope, really thinks that the number 3 is {0,{0},{0,{0}}}, nor that it's the class of all classes with three elements — again, these are just codings; we understand what the Platonic 3 is at a much deeper level,

275:

But ordinals are not sets, not really, though . Cantor dealt with ordinals without treating them as sets at all. There was nothing wrong with his approach here. (There is something wrong, as we know, with assuming that all the ordinals can be gathered together into a completed totality, but that's

221:

as a now marginalized viewpoint inconsistent with ZF. I happen to like that view myself, which is why I put in the first sentence a while back (I'm in the "very slow to be alert" category). However the conception of an ordinal as a transitive set of ordinals has the distinct advantage of raising no

2779:

I've been teaching myself set theory over the last few months and Knowledge has really helped a lot. I just want to acknowledge several of the math articles here, on the difference between the naturals, the reals, etc., the definitions of the ZFC axioms are really well written. But one thing I found

2662:

For example "velocity" is a finer concept than "speed" because the latter has all the information of the former plus more information (the velocity has the speed and the direction). Similarly, the ordinal of a well ordering does tell you something about the cardinality of the well ordering (it's the

1320:

The large bar at the top of the picture represents 0, the next one (a bit to the right and down) 1, then 2, and so on clockwise. The bar immediately below 0 represents ω. The numbers that approach it from the left must get smaller and smaller because they are infinitely many. The bar below ω is ω×2,

392:

Did Plato identify things with classes, or is that how modern Platonists define things? My preference is to define mathematical objects in terms of what properties they have, e.g. an ordinal is a set (if you're happy with defining an ordinal to be a class then I'm not clear as to why defining it to

354:

Well, you're the one working in set theory, not me. If you tell me that "hereditarily transitive set" is only a representation for ordinals and not the actual definition I'll take your word for it (unless a horde of set theorists jumps on me and tells me otherwise). But in that case the article is

110:

I'm presently leaning towards starting out with one of the three definitions we say later on is equivalent to "ordinal". This will mean nothing to most of course, but I'm now persuaded that approximately the same is true of "order type." I do think we should start with a precise definition, but it

3536:

I've edited again. Even if it doesn't get all the way to what you are hoping for, I am hopeful that it is in the right direction. I believe there is general consensus that an understandable abstract definition of an ordinal is the ideal; all we have to do is come up with the wording. Please give

3511:

I think the intuitive idea was conveyed by the version of the lead that you rewrote. The ordinals are abstract labels used to put sets "in order". Identifying what one means by "in order" is a little bit tricky. For finite sets, this means putting them "one after another". For infinite sets, it

3177:

article, of getting across the informal intuition. I think it took me quite a while into my graduate studies before I fully internalized that intuition myself, so it may be unrealistic to think we can do it in an article meant to be read in half an hour, but I would like to try. I think we should

2990:

The "order, one after another" part still comes across to me as too easy to misinterpret. First, it could be interpreted as "Every ordinal is the successor of some ordinal", which is false. Second, even if it is interpreted as "Every ordinal has a successor", this property is not defining. It is

2476:

I agree with the former comment. This is written by mathematicians for mathematicians. I now realises that. Ordinal number (linguistics) is where normal "ordinal numbers" are... But that is not really linguistics? Would it be possible (I wouldn't know how!!) for this article to be named "ordinal

2186:

That paragraph defines two sets to be "order isomorphic" if a partial order exists that has certain properties. But such a partial order will ALWAYS exist. The "empty" partial order (where nothing in the universe is comparable to anything else) will satisfy this definition. And I don't think the

1348:

Necessarily, a graphic that includes infinity, indeed several infinities, is going to need to be somewhat suggestive. My point here is that even the non-infinity-related aspects of the figure rely on guessing what the artist had in mind. It's looking like the line size and spacing is something like

463:

interesting. By a remarkable coincidence I was just writing today about a class of objects logically preceding sets, in that sets could be defined quite directly in terms of them. They weren't motivated by that however, but by Euclidean geometry. I figured no one would ever be interested in this

234:

and nowhere in my proposed lead is von Neumann mentioned (he belongs as a historical footnote in the body, having failed to come up with the transitive-set definition), but remarkably the two definitions turn out to be completely equivalent (the point of the two "remarkably"'s in my candidate lead,

102:

One solution would be to preface the order-type definition with a suitable rider indicating that this definition is (pick one) intuitive, historical, or traditional, and then refer to the next one(s) as the modern definition(s). However the order-type definition is not really that intuitive anyway

4192:

I think the paragraph starting with "Perhaps a clearer intuition of ordinals..." is a reasonably good introduction to infinite ordinal numbers for people who haven't heard of the concept before. Maybe we should move this paragraph into a section of its own, and maybe this section should come right

2616:

I'm usually against this sort of link. "Finer distinction" doesn't in general mean "quotient set", and the piping feature should not be used to find a place for "hey, here's an article you might be interested in reading at this point" by piping some tangentially related bit of text. If you think

1957:

To me the more serious problem is that talking about "wellordered sets" before you talk about ordinals, then produces an apparent circularity when you go to say what sets are (objects that appear in the stage of the von Neumann hierarchy corresponding to some ordinal). We should strive to give an

1528:

Either have a fairly arcane but veeery short first statement in the lead, and switch immediately to a more humane language, or just keep the lead a little less precise. Those in need of complete precision should read the definition and later sections anyway. The purpose of the lead is/should be to

1524:

Yes, I know the style of imprecise statement I am suggesting in the lead flies in the face of the current Knowledge tradition for mathematical and scientific articles. But I feel the current tradition is fundamentally misguided. The statement about ordering type is quite exact, I see nothing wrong

1434:

This makes me think about strictly increasing functions from countable ordinals into the real numbers. Perhaps it would be interesting to have a section or article on examples of such functions. What do you think? Unfortunately there is no systematic way to map all countable ordinals into the real

1277:

Are numbers represented by the lengths of the line segments, or the sapcing between them, or both? Why do both get smaller as one follows the spiral inward, or the graph from left to right? Is this intended to show perspective of what's "really" a 3-D graphic? Or maybe I am reading it backwards?

2966:

Total ordering is discussed only in connection with finite sets. I have added a mention of well ordering to the first paragraph. I disagree that the lead is false. Clearly, interpreting the first sentence to mean "Every ordinal is the successor of some ordinal" is false. Instead, it should be

114:

Sooner rather than later in the body we should go back to the definition in the first sentence and relate it to the von Neumann definition, pointing out that the evident fact that ordinals consist of ordinals is captured in the single word "hereditarily," and so on. We should also point out that

2456:

I should have read this before I went to the trouble to write my own complaint, because you've already said it. I agree with you completely, this was written to an expert, not for a layman. I feel like the "genius" whats-his-name on the Big Bang Theory is talking at (not to) me. But then, in my

2418:

I came across this term when I was reading about infinity. I am usually not averse to mathematical definitions and jargon, and I understand how countable infinities like Natural numbers and Even numbers have same number of elements. However, I found this article incredibly hard (even after going

1699:

The current introduction (after the lead and the table of contents) has a readable style, but I am afraid that it is not quite exactly correct. The notion of ordinals is not so directly related to the position of a single element. You may perhaps object that the section does not say "of a single

512:

Trovatore, after two months I've come round to your point of view that the von Neumann ordinals are a coding of the ordinals. The reason I was reluctant to call them a coding before was because the coding is equivalent to defining the ordinals as the hereditarily transitive sets. In fact in my

2311:

I think it's common mathematical slang to call a poset a "set", if it's clear from context that "poset" was meant. Even the term "well ordered set" is guilty of this, because a "well ordered set" isn't a set. It's a (set, order) pair. But for this particular article, I think it would be much

1539:

As to abstract versus concrete definitions, I doubt that the purest essence of the concept can be expressed in any language at all. Every verbal or formulaic definition must work through some form of encoding, and it will always be possible to abstract the "pure" concept further away from any

239:

Neumann's encoding, though I imagine von Neumann himself would have taken your side on that! As would have I before I saw what others had been getting at here, but perhaps not communicating as clearly as they might have. (The only entities I hate more than mathematicians are terrorists like

2360:

If a non-adept can read the intro and has no idea what's being discussed without looking other terms up, it's a bad intro for an encyclopedia. I'd give you an example, but I don't know what you're talking about. FYI - I have a BS in mechanical Engineering, so I've had my nose rubbed in some

1281:

Why are there junctures where the progression jumps from tiny to large again? I'm guessing this is the transition from the last natural number to the start of omega as the base number, for example. But that suggests a huge jump in "size" from last natural number to omega, is that intended?

238:

If you disagree I would be very pleased to see your example of an element of a model of ZF that is a finite transitive set yet not a von Neumann ordinal. In light of the definition of an ordinal as a hereditarily transitive set I think you will find that there is nothing arbitrary about von

1498:

Introduction: For finite sets, the corresponding ordinals are just the natural numbers; the fact that a finite set is ordered some particular way does not matter for its size. However, when comparing infinite sets, different orderings make them compare differently even if they have the same

4006:

the ordinals. I think it gives a decent intuition of how the ordinals proceed even after that. To be sure, you can't embed them all into a 1-D submanifold of the real plane, but qualitatively they continue in the same way, being built up as successors and limits of what came before.

3904:

That is why I, as a non-lay user who had looked at the article and its sources in detail at the time (actually much more important than the 'non-lay' part) explained what I think it is supposed to mean. It was a contribution towards fixing the problem, not an attempt to defend it.

304:

But then are you suggesting that the ordinal article replace definitions with intuitions? If the article began "In philosophy" I'd be ok with that. If you're ok with intuitions in place of definitions in a mathematics article then we could consider changing the first sentence of

4167:

I agree that the first sentence is hard to understand for non-mathematical readers. But the modified lede was wrong, so I reverted it. It stated "... an ordinal number ... is a natural number ..." That's wrong. All natural numbers are ordinal numbers, but the reverse is not true:

94:

Although I wrote the initial sentence (an ordinal is the order type of a well-ordered set), I'm now having the following misgiving about it. Further down we mention the historical definition in terms of equivalence classes and say that this must be abandoned in ZFC. But the

1333:

It's true, though, that the height of the bars does not really need to shrink. The question is whether the shrinking heights make the picture clearer and more intuitive, or the opposite. On balance I think they probably make things clearer, but the question is not trivial.

339:

different. The ordinals we should be trying to explain, at the start, are Cantor's ordinals, not von Neumann's. Yes, of course they're really the same, but for Cantor's ordinals the representation is simply left unspecified, and I think that's the way to go in the lede.

2380:

Er, could someone make the first paragraphs of this (and the pages for cardinal and nominal numbers) simpler for laymen? As in, "An ordinal number is a number in a set, i.e. 1st, 2nd, 3rd." - The jargon is confusing, especially the stuff about hereditary transitive sets.

4151:

Can we find a way of the intro explaining the key principle in simple terms for a non-technical audience. Knowledge is for everyone. If someone comes across the term 'ordinal number' they should be able to reference Knowledge to get a explanation, that they understand

2518:

about 200. This does not say how many users should be discounted as they end up here in error while looking for the other article, but assuming that most would realize this and follow the hatnote link, the numbers confirm your suspicion. (I wonder what happened on April

2018:

We are talking about topology, not category theory. In the order topology, a limit ordinal is a cluster-point (limit) of the set of smaller ordinals. In other words, any open interval {x|α<x<β} which contains the limit ordinal must contain some smaller ordinals.

2562:

ordinals than cardinals, so the difference is not one of topology. The "finer distinction" the article is claiming is that the ordinal number of a well ordering completely characterizes the order type of the well ordering, while the cardinal number does not. — Carl

467:

But now that I understand where you're coming from on this, it seems clear that you're a Russellian, thinking about sets the way Russell did, in terms of a type hierarchy. (Consistent with realism, in fact I guess you'd have to be a realist to accept ordinals

2827:

There is a theorem that, in my view, enlightens and even proves many statements about the countable ordinals, such as "the first uncountable ordinal is unreachable by countable operations" (when formalized a bit). The theorem I have in mind is this:

3151:. While that section mostly agrees with you, there are a range of opinions about conversational style among math editors. In particular, a little conversational style can help in advanced math articles. The talk page has some discussion of this. -- 3265:

It seems to me that this is too specific to the von Neumann representation of ordinals. I would prefer to try to get across the notion that we might call an "abstract ordinal", the one Cantor used, before we get into how to code them up as sets.

3165:

I find myself in rare agreement with Stanton here. The article is too chatty overall. We don't necessarily have to be utterly rigid about it, but though one of Knowledge's great strengths is as a tool for self-teaching, it is not supposed to

1303:

Yes, I do understand that N doesn't just end at some point. :-) I should have spelled out: "this is the transition from the last graphic representation of a natural number to the start of the graphic representation of omega as the base..."

3861:, was reprinted in 2003, but it doesn't seem to make much sense to cite it in this way. None of the older papers it reprints gives an in-depth introduction to ordinal numbers, and Sacks' introduction to the book doesn't go into any detail. 4193:

after the lede. Maybe that would be a good compromise: The lede would be short and correct, the next section would be helpful for lay people. (What should be the name of that section? "Non-technical introduction"? "Intuition"? ...?) --

2639:

what is meant by the words "finer distinction" in this case, and if the same concept is used elsewhere in mathematics. If so, regardless of whether it's a simple idea, or a very difficult one, it probably deserves its own article. --

2593:) can be identified with the equivalence class of all ordinals that can be mapped to it by a bijection (i.e. that have the same cardinality), and the least ordinal in that equivalence class is a canonical representative. However, a 472:.) So then do you postulate the ordinals in order to rank the sets (by birthday as Conway would put it), where the rank of a set is defined to be an ordinal? If so, do others at UCLA and Toronto view sets similarly today? Is ω 520:

It turns out that "hereditarily transitive set" is not the most abstract definition of ordinal, in agreement with your intuition. Although you didn't volunteer a formal definition, here's one. Consider all semilattices

377:

That's certainly the solution I would prefer. Of course this preference is colored by my frankly Platonist POV. If there are objections from further "left" on the spectrum then it may be necessary to fin a compromise.

1003:

Seeing as now the article has virtually no inline citations, and the fact that there are other posts requesting they be added on this talk page, I'm delisting this article. It can be re-nommed when this is fixed.

3616:

logic, and being no more intuitive than abstract order types. However, if we were to work together with drafts on this talk page, we should be able to come up with a lead which is both correct and intuitive. —

573:)). This is unnecessarily concrete because in this larger category without the requirement of "inflationary" the resulting ordinals are inflationary anyway. (Not that I'm proposing to put that in the lead.) -- 184:

don't think it's a good idea to write the article as though "ordinal" is synonymous with "von Neumann ordinal". The von Neumann ordinals are as I see it a (remarkably convenient, but somewhat arbitrary) way of

537:. The initial such is the ordinal κ, its elements are the ordinals less than κ, and the monotone operation is successor. The von Neumann ordinals are less abstract in that in effect they make "inflationary" ( 1133:

No. At least none that's widely understood, and specific to ordinals. However it's standard to identify the cardinal with the first ordinal of that cardinality, and with that understood you can just call it

3007:

already used at that level. Nuances to do with what we mean do not have to be expressed immediately in the first sentence. There is a whole paragraph (and indeed, an entire article) in which to do that.

3559:

I thank you for your bold edit Slawekb, even though it undoes my attempts. I am still hoping for a version that is not only clear but also clearly true. I leave it to the rest of you to give it a shot.

2991:

not the case that all ordered sets with this property are well ordered; consider the set of all integers. Unless someone else beats me to it, I will try again to find a wording that achieves consensus.

3432:

Yeah, I liked that wording myself, but I could see the objectors' point; it's not clear that a naive reader will interpret it correctly. Can we come up with some wording that addresses that objection?

1845:

No no, no apologies needed. We're specifically talking about accessibility, so input from non-specialists is helpful. You seem to be an intermediate case anyway, holding an undergraduate math degree.

3062:

of what a *general* encyclopedia is ?/ this article is way way way to complex, at least in the intro throw it out and start over; if you ten year old doesn't get it instantly, it is to complex sheesh

2419:

through multiple links in the introduction for cardinals, well-ordered sets and so on). Is it possible to simplify this topic or is it too technical? Maybe give some concrete example like the table on

3640:

Actually, the categoricity theorem for ordinals in the above referenced article would have been acceptable to Dedekind. The axiomatic approach has important advantages over the current presentation.

393:

be a set is any worse) having the property of being hereditarily transitive. Is that inconsistent with Platonism, and if so is there a name for that approach (to distinguish it from Platonism)? --

2704:

know that, but if I didn't know to begin with, I probably wouldn't be able to glean from the context what it is at that point. The posts here call for a reformulation. Something along the lines of

3798:

Computer Science needs strong categorical axioms for all of classical mathematics so that computers can participate in proving all mathematical theorems without being be hacked by inconsistencies.

3069: 1860:

Thanks. I didn't include Georg Cantor's work in my degree, so I struggled (even as an Honour's mathematics graduate) with the concept in the introduction. In fact, I had to go to our article on

1487:

Hello, I would like to see something along the following lines; what I want is something far, far more accessible to lay readers. The heavier stuff could go in sections after the introduction.

446:

as sets, and that this is a useful thing to do for all sorts of reasons, and from then on you normally don't bother to distinguish between abstract ordinals and ordinals represented as sets. --

3335:

The lead is an introduction, at least in this article, so I am OK with putting an informal description of the standard concrete representation up front. However we could add something like,

1409:

I see it now, I wasn't looking closely enough. The first turn gets you one copy of ω. The second gets you ω copies of ω, which is ω. The third turn gets you ω copies of ω, and so on. — Carl

977:

Thank you for the simple and strait to the point explanation. I consider as a great advantage the very opportunity I got, to ask directly people like you, who know. Regards, Boris Spasov.

3248:

The ordinals extend this concept beyond the natural numbers by having each ordinal represent the set of all ordinals that are less than it. For instance, the ordinal 2 represents the set

3108:, and please stop writing in ways that address the reader directly as if they're a high school student reading a textbook. It's the wrong tone. (For guidelines as well as the policy, see 777:

functions from the exponent to the base while ordinal exponentiation only counts functions which have finite support (i.e. all but finitely many elements of the exponent are mapped to the

217:

Regarding what the ordinals "are", are you in the Knowledge category "alert reader" referred to in the first paragraph of this section? Your view of them as an order type is dismissed at

3313:

better. I would still prefer to get the underlying intuition across first, before talking about representations at all. I might not have explained myself perfectly; I'm not going for

268:

Here's what I'm saying: I don't think we should say ordinals are hereditarily transitive sets, or even that they're order types viewed as equivalence classes. These are simply ways of

648:

is (in theory) ambiguous and could mean either of these. In practice, though, it means ordinal exponentiation, whereas you're apparently interpreting it as cardinal exponentiation. --

279:

So what I'm saying is, we should treat ordinals more or less as Cantor did (though of course using modern terminology rather than his awkward "numbers of the first class" and so on).

1368:

The caption does say, "Each turn of the spiral represents one power of ω". That seems quite concrete to me. At least this image is more apropos than a big picture of Cantor would be.

2066:

There seem to be errors in the article, but I don't know if they actually are errors. Could someone with more knowledge check this? For example, in the very first section it says:

4176:

natural numbers. Only the finite ordinal numbers are natural numbers, but almost all ordinal numbers are infinite. (That's what makes ordinal numbers interesting and relevant.) --

331:

we don't define how naturals are coded as sets; we just explain what they are. I think that's the direction we should go, at the top of the article. Of course the situation is a

1529:

give as many readers as possible the closest possible idea of what the article is about in as few words as possible. With so many "as possible", some compromises must be struck.

1206: 646: 2500:, not for "first", "second", "third", "fourth", etc.. The linguistic use may be more common, but it is not something that people would normally go to an encyclopedia to study. 1640:

is reflexive, symmetric and transitive, so that a division into classes arises. The class to which a set belongs is then its order type. (...) Cantor noted how the order types

1246: 1166: 1089: 1052: 954: 708: 4091: 4058: 1271:

I am not seeing what the figures have to do with the subject of the article -- perhaps an explanation of the connection between the lines etc and ordinal numbers would help.

1116: 916: 889: 865: 834: 766: 739: 335:

different here, because everyone already has a concept corresponding to the naturals, whereas many readers will need to create their concept of the ordinals. But it isn't

2753:

needs to be fixed up, and pronto, as the first two of those three talk page sections had been done in 2010. The last of the three had been done over a year ago, in 2014.

1719:

Put simply, ordinals are the natural continuation of the natural numbers, thought of as "counting numbers", when you count past infinity. That statement as it stands is

1606: 4026: 1248:

is also used for the cardiality of the continuum. Again, if you identify cardinals with initial ordinals, you can use this to refer to the corresponding ordinal. — Carl

1690: 1638: 4140: 4115: 741:. To avoid confusing ordinal exponentiation with cardinal exponentiation, one can use symbols for ordinals (e.g. ω) in the former and symbols for cardinals (e.g. 149: 243:

and computers. Dentists are fine, even cats are ok if you're patient with them. Perhaps I'm being unfair to mathematicians, I should group them with cats.) --

1556:

Every well-ordered set is order-equivalent to exactly one ordinal number. The ordinal numbers are taken to be the canonical representatives of their classes...

1972:

Ordinals are a way of extending the natural numbers into the infinite which allows one to continue to do mathematical induction and recursive definitions via

272:

the notion of ordinal so we can treat ordinals as sets. (I also disagree, by the way, that order types are equivalence classes — that's just another coding.)

3512:

still means putting them one after another (successor ordinals), but we're also allowed to adjoin labels that follow infinite collections (limit ordinals).

3198:, I fully agree. But sometimes it actually is appropriate and correct in strict, formal mathematical prose to address the reader (e.g., "Suppose that a set 3084:

I worry that throwing it out and starting all over, won't address most of your concerns. Would you be more specific in what you would like to see changed?

836:

to be written for the cardinality of the continuum. And in fact unless there are clear contextual clues to the contrary you can be almost certain that that

1532:

Keep that statement (order types) but provide a little more context, and put it down in the definition section, approximately. Yes, people can look up

676:

Ordinal exponentiation is quite different from cardinal exponentiation. For example, the ordinal exponentiation 2 = ω, but the cardinal exponentiation

363:

as a hereditarily transitive set. This is an important distinction that needs to be made clear for any mathematical object. Is that ok with you? --

133:. Please comment either way here. If and when some consensus emerges I'll either replace the current lead with the new one or delete the new one. -- 2337:

Actually, your understanding is fine. I suggest that you go ahead and make the changes. If there are any problems with them, someone will correct you.

1920:. There is no way around referring to order types in one way or another (not necessarily naming them formally as such) in description of ordinals.— 1723:

simple and too vague even as an introduction; we have to maintain an encyclopedic tone. But that's the intuition we should be trying to reach. --

230:. The modern definition of an ordinal is a hereditarily transitive set, which is to say, a transitive set of ordinals. This is not von Neumann's 235:

as well as the part where I said "only one set of each finite cardinality can be transitive," whose significance is admittedly easily overlooked).

3962:

It seems to me that this is true, but it isn't actually needed. A slightly more precise, but far more clumsy, version would be "The outermost

2635:

I'm sorry to hear the link isn't correct: thanks for removing it. However, if this is not the topological concept, I'd very much like to know

781:

element of the base). Ordinal exponentiation must be so limited because one cannot effectively define a well-ordering of the power otherwise.

222:

foundational questions such as, what does it mean for ω to be a class? Intuitively we should know what a class is, which is presumably where

1285:

Bottom line, I guess I'm looking for some mapping between the numbers discussed in the article over to the graphic features in the figures.

3839: 2004: 984: 1814:

Apologies for trivialising a serious discussion. I don't have sufficient expertise to contribute usefully, so I shouldn't have commented.

4002:

I see what you're saying, but I can't say I see it as a big problem. The graphic is presented as representing the ordinals up to ω, not

3281:

The lede doesn't have to give the definition based upon the earliest historical formulation, but it is nice when it can. Edit at will!

355:

worded misleadingly, and the distinction needs to be made clear. I propose to amend the statement where it misleadingly says an ordinal

2784:

to first refresh my memory of the basic idea, after that I could get the more detailed discussions that currently exist in Knowledge. --

2322: 606: 2187:

term "order isomorphic" even applies to sets. It applies to posets. So it seems like the correct version of this paragraph would be:

4153: 4096:

EDIT: I misread the diagram; it's correct. Nonetheless, a bit more spacing between the inner spirals would potentially be helpful.

3785:

That is also not relevant, absent evidence that abstract ordinal number types are actually used in (theoretical) computer science. —

3073: 2434: 1461:

That does sound interesting, but I don't think it ought to be added unless someone has actually written about it elsewhere. Cheers, —

207:

Oops, I screwed up. Usually I do put these candidates in my sandbox, but forgot to do so in this case. Thanks for pointing this out.

3132: 2945:". For example, to say that ordinals are about putting "a collection of objects in order, one after another" is false: the ordinal 2382: 1503:. Ordinals can be added, multiplied, and exponentiated, and these operations obey much of the same laws as ordinary arithmetic (see 2803:

set. Whereas cardinal numbers are for counting — they say how many things are in a set". Using "group" would invite confusion with

2558:

The difference is not a difference of topologies. The class of cardinals is properly contained in the class of ordinals: there are

2340:

The only change in what you said that I would suggest is to specify that the ordering on the ordinal is the element relationship.

3988:

into the real numbers is impossible. So any pictorial representation of the ordinals is bound to have some limitations/problems.

2967:

interpreted as the true statement "Every ordinal has a successor". Hopefully the new first paragraph addresses these concerns.

1300:

Perhaps you just misformulated, but if you actually think there is a "last natural number" then you have misunderstood ordinals.

1127: 3747:

Axiomatization of the ordinals in the above-referenced article is based on strong parameterized types used in computer science.

3497:"? But, I am confused as to what you do mean. Can you give a snippet of what you might write that does achieve abstractness? 4136: 4111: 3295:

I made an edit. Instead of going with Cantor, I indicated that this formulation in the lede is one of many. Does that help?

1321:

then ω×3 and so on. These bars also must get smaller and smaller because there are infinitely many and the picture is finite.

1649:

Reference: Th. Skolem: Forelesninger i mengdelære (Lectures in set theory), Universitetets Matematiske Institutt, Oslo 1957.

1543:

Please describe the canonical representation as transitive sets. Most books I have seen, and all my textbooks, said ordinals

287:

one that precedes all our formalisms. And the same is true of ω+1, though it's an intuition that takes longer to develop. --

517:

the ordinals as von Neumann ordinals," even though what I was actually doing was exhibiting small hereditarily finite sets.

81: 69: 64: 59: 1561:

I have an introductory text prepared by Skolem in 1957 for his students where he writes (my translation from Norwegian):

427:, but prior to sets in the sense that we think of them in set theory; that is, objects that show up at some point in the 2515: 2397: 711: 152:). But for whatever it's worth I'd just like to say that an excellent intuitive introduction to the ordinals is in the 2731:

On this talk page, there have been mentions of the overly technical language within the lede by multiple users, namely

2042:

It seems to me that this page could be improved with an example or two from the 'well-ordered' page. That is, compare

148:

Haven't looked at it yet (by the way it probably shouldn't be in mainspace -- it would be better for you to move it to

3805: 3776: 3752: 3731: 3681:

could have a place in the article, and, if simple enough, could be used in the lead. However, it probably should not

3653: 3592: 2696:

is correct, it is a pretty much horrible formulation to have in the lead. It is as made for misunderstanding. What is

1647:

of the well-ordered sets could again be ordered according to their sizes, and this ordering is again a well-ordering."

240: 3382:. We should get the informal intuition across before we start talking about concrete representations of any kind. -- 265:

Vaughan, I'm not going to attempt a point-by-point reply — it's too frustrating; you always throw out so many points.

2617:

it's a useful link, then it would be better to add text that naturally contains the search term you want to link. --

3971: 2606: 130: 38: 2799:

I would correct your sentence to "Ordinal numbers are for ordering — they tell what position something takes in a

2789: 2462: 2366: 1864:

to understand this article. It is certainly not easily accessible to those who are unfamiliar with set theory.

3947:

Could sb please clarify a bit the visual representation "Each turn of the spiral represents one power of ω"? --

592:

In the article is stated that the cardinality of Epsylon-null equals Aleph-null. This is not possible because,

3952: 3317:

fidelity here, particularly. Bringing in Cantor was just a way to make people remember, oh right, the concept

2540: 3843: 2315:

I won't make the above change myself, but could someone who knows this subject make the appropriate changes?

2008: 988: 3584:

Inconsistency Robustness in Foundations: Mathematics self proves its own formal consistency and other matters

3378:

That's not the abstraction I meant. That's not intuitive enough. I meant, we should start with the idea of

2438: 2326: 610: 578: 484: 398: 368: 318: 248: 138: 120: 2386: 1782:

I tried, many years ago, when I has measles and was made to stay in bed, but I didn't make even a million!

621:

What you're missing is that ordinal exponentiation is not the same as cardinal exponentiation. The symbol

4157: 3818: 3801: 3789: 3765: 3748: 3727: 3703: 3672: 3649: 3621: 3604: 3588: 2514:

According to the page view stats for the last month, this article gets about 1,000 views per day, whereas

2052: 4218:. That's not actually an unreasonable expectation. We have a hatnote about it but it's easy to miss. -- 4132: 4107: 3948: 3967: 3887: 3370: 3156: 3129: 2765: 2602: 1973: 227: 4211: 1767:

Well, but only in the same sense that you can't count past a trillion; because you don't have time. --

3883: 2761: 2739: 1171: 624: 4124: 4099: 3906: 3878: 3865: 3862: 3485:

Regardless of whether we call it a representation, I think you are saying that writing the likes of "

3065: 2785: 2745: 2458: 2430: 2424: 2362: 2318: 2048: 1325: 1322: 980: 602: 99:

concept is intrinsically based on equivalence classes. The alert reader might find this bothersome.

4128: 4103: 1227: 1137: 1060: 1023: 925: 679: 4223: 4012: 3993: 3474: 3438: 3387: 3326: 3271: 3183: 2951:

is not the immediate successor of an other ordinal. If you have the energy, please fix the lede.

2812: 2781: 2645: 2622: 2590: 2548: 2505: 2405: 2345: 2024: 1981: 1963: 1937: 1851: 1772: 1728: 1440: 1392: 1350: 1339: 1305: 1286: 1213: 961: 805:

Yeah, but insofar as this note is about usage rather than mathematics, it needs to be taken with a

786: 653: 451: 428: 383: 345: 306: 292: 198: 169: 47: 17: 4063: 4030: 3321:

be described without reference to a representation; it must be possible, because Cantor did it. --

4198: 4181: 3579:

The ordinals should be presented axiomatically together with categoricity of the axiomatization.

3561: 3538: 3498: 3452: 3296: 3282: 3085: 2992: 2952: 2594: 1705: 1563:"In pure set theory it is most suitable to say that a set is ordered, more precisely: ordered by 1504: 1466: 1396: 1354: 1309: 1290: 667: 574: 480: 394: 364: 314: 244: 211: 134: 116: 1094: 894: 870: 843: 812: 744: 717: 2706:

between each consecutive pair of cardinal numbers there exists infinitely many ordinal numbers

2045:{ 0, 1, 2, ... } and { 1, 2, .... 0 ) and { 0, 2, 4, 6, ... 1, 3, 5, ... } and their ordinals. 1491:

Lead: In mathematics, an ordinal number, or just an ordinal, is used to indicate the size of a

301:

Sorry about the points---I should have just asked what you meant, which you explained just now.

3815: 3786: 3772:

That the ordinals are categorically axiomatized by the axioms is dominant in computer science.

3762: 3742: 3713: 3700: 3690: 3635: 3618: 3522: 3419: 3353: 3225: 3113: 3041: 3017: 2977: 2923: 2716: 2598: 1932:

I agree with EmilJ. The word "size" means cardinality rather than order type, so it is wrong.

1912:" is dead wrong. Never mind the informal language, the problem is that this does not describe 1585: 104: 840:

what's intended. The reason is pretty obvious: because in the ordinal-exponentiation sense

3565: 3542: 3502: 3456: 3366: 3300: 3286: 3152: 3123: 3089: 2996: 2956: 2268: 2135: 1655: 1623: 223: 3203:"we" is widely accepted in formal mathematical discourse ("Suppose that we are given a set 922:

a reason to write it for the cardinality of the continuum — it's just easier to write than

4215: 2899:

doesn't lead to anything uncountable (given that the terms are countable of course). This

2690:... ordinals draw a finer distinction than cardinals on account of their order information 2586: 2523: 1924: 1861: 1500: 1123: 1906:

In mathematics, an ordinal number, or just an ordinal, is used to indicate the size of a

4219: 4008: 3989: 3470: 3434: 3383: 3322: 3267: 3208: 3179: 3117: 2938: 2808: 2641: 2618: 2601:, is needed to collect all cardinals, so "quotient class" would be more appropriate. - 2544: 2501: 2401: 2341: 2020: 1977: 1959: 1933: 1847: 1768: 1724: 1436: 1335: 1209: 1005: 957: 782: 649: 447: 431:. In order to understand what a set is in that sense, you need to understand ordinals 379: 341: 328: 288: 218: 194: 165: 525:

with sups less than some regular cardinal κ, equipped with a monotone unary operation

4194: 4177: 3931: 3105: 2942: 2733: 2670: 2570: 2482: 1701: 1462: 1416: 1379: 1255: 4227: 4202: 4185: 4161: 4016: 3997: 3975: 3956: 3936: 3909: 3891: 3868: 3847: 3821: 3809: 3780: 3761:

That's your opinion. Doesn't seem justified, from what I've seen of the article. —

3756: 3735: 3706: 3657: 3624: 3596: 3569: 3546: 3529: 3506: 3478: 3460: 3442: 3426: 3391: 3330: 3304: 3290: 3275: 3232: 3187: 3160: 3141: 3093: 3077: 3048: 3024: 3000: 2984: 2960: 2927: 2816: 2793: 2769: 2720: 2675: 2649: 2626: 2610: 2575: 2552: 2526: 2509: 2486: 2466: 2442: 2409: 2390: 2370: 2349: 2330: 2312:

clearer for the reader if the article kept the distinction between the two clear.

2056: 2028: 2012: 1985: 1967: 1941: 1927: 1889: 1855: 1840: 1808: 1776: 1762: 1732: 1709: 1470: 1444: 1421: 1400: 1384: 1358: 1343: 1328: 1313: 1294: 1260: 1217: 1014: 992: 965: 790: 657: 614: 582: 488: 455: 402: 387: 372: 349: 322: 296: 252: 202: 173: 142: 124: 3854: 3696: 3515: 3412: 3357: 3218: 3034: 3010: 2970: 2919: 2804: 2712: 2707: 2582: 1907: 1492: 3677:

Propose specific text with a classical source. A (second-order) axiomatization of

2420: 3583: 3173:

There is a tension between that goal and the one, especially important to me in

1865: 1816: 1784: 1738: 46:

If you wish to start a new discussion or revive an old one, please do so on the

2807:. There are orderings which are not well-orderings, so we need to be specific. 4169: 2800: 2520: 2497: 1921: 1548: 1533: 1119: 891:, and not for any very deep or interesting reason, there's no reason to write 96: 226:

was coming from, but that's old-school foundations that have gone the way of

164:

an intuitive (i.e. non-formal but still precise) notion of ordinal number. --

2914:

I don't know if this theorem should have a place in the article, and if so,

3927: 3148: 2666: 2566: 2478: 1412: 1375: 1251: 809:

grain of salt. It's actually quite common (at least on blackboards) for

3451:" representation is more abstract than the von Neumann representation? 2937:

The lede speaks of "ordering" and, in at least one place, it speaks of "

415:. I don't see ordinals as being either sets or classes; to me they are 3109: 2760:

template to the article. Come on, people, let's get this done already.

1573:...(details of transitive, total except for non-reflexive relations)... 2775:

Need a simpler, basic Intro definition of ordinal vs. cardinal numbers

2457:

experience, that is the single most consistent mistake made in Wiki.

2256: 773:

The reason for the difference is that cardinal exponentiation counts

310: 1370:

However, it is not clear to me that the diagram is of ω and not ω·ω.

359:

a hereditarily transitive set and correct it to say that an ordinal

3465:

Hmm? It's not a representation at all. I'm not talking about the

3352:. More abstractly, ordinal numbers can be thought of as labels for 3178:

try to address that goal within the bounds of encyclopedic tone. --

1391:

turns? And ω at turn 3? But that also disagrees with the caption.

1958:

intuitive picture of ordinals that doesn't rely on sets at all. --

407:

I fear we're drifting again, but OK, it's interesting. I'm using

1547:

those sets. (But see next paragraph). Notice that the WP article

4060:

on the bottom of the third spiral in the title image should say

2782:

https://www.mathsisfun.com/numbers/cardinal-ordinal-nominal.html

1057:

Is there a standard symbol for the first ordinal of cardinality

219:

Ordinal_number#Definition_of_an_ordinal_as_an_equivalence_class

3966:

turns of the spiral represent the ordinal numbers up to ω". -

3409:, but "one after another" rubbed some editors the wrong way. 2423:. Also, I would like to take your attention to a well written 599:

I guess I am missing something. Please, help. Boris Spasov,

25: 3243:

The third and fourth sentences of the opening paragraph are:

2891:

The proof is easy. It becomes obvious that sequences such as

2427:

hoping it may help to tone down the introduction. Thanks!

595:

Card(Epsylon-null) ≥ Card(Omega^Omega)≥ Card(2^Omega) : -->

3838:

Who is Sacks and what text is referred to in the article?

3489:" is not more or less abstract than writing the likes of " 2539:

I linked the words "finer distinction" in this article to

2496:

looking for "ordinal number" in the mathematical sense of

1019: 2307:,<) is order isomorphic to exactly one ordinal number. 2933:

In the lede: ordering, total ordering, and well ordering

2853:

Then the least upper bound of every countable subset of

2543:. I hope this is correct: please revert it if wrong. -- 2203:

if there is a bijection (i.e. one-to-one onto function)

2082:

if there is a bijection (i.e. one-to-one onto function)

3406: 3195: 1946:

Well, this is not really a fundamental objection. For

1652:

According to Skolem, Cantor had noted that the numbers

1620:

while keeping the order. It is clear that the relation

1483:

Please make the lead and intro sections more accessible

3924:

2003, looking at the references section below. — Carl

442:

Then, after the fact, you notice that ordinals can be

4066: 4033: 3882:, it would only be "clearly" Sacks to non-lay users. 3348:, represents the set of all finite, natural numbers, 1658: 1626: 1588: 1230: 1174: 1140: 1097: 1063: 1026: 928: 897: 873: 846: 815: 747: 720: 682: 627: 1737:I don't think any of us can "count past infinity". 423:

sets. Oh, they're not necessarily prior to sets of

160:. In fact it was that that convinced me that there 2003:tries to look up what this phrase means. Stephanie 214:'s account in the lead, or refer to it in the body? 4085: 4052: 3722:about inconsistency robust logic. Instead, it is 3360:sets over one-to-one mappings that preserve order. 3338:...For instance, the ordinal 2 represents the set 2182:is order isomorphic to exactly one ordinal number. 1684: 1632: 1600: 1240: 1200: 1160: 1110: 1083: 1046: 948: 910: 883: 859: 828: 760: 733: 702: 640: 3726:about the community of classical mathematicians. 3469:. I'm talking about the underlying intuition. -- 2841:be the set containing all countable ordinals and 2823:Theorem relevant to the set of countable ordinals 588:Request for help - Possible Error in the article? 2492:I think that most people who reach this article 283:we should explain how they can be coded as sets. 189:the ordinals as sets; they're not what ordinals 2138:if there is a partial ordering < defined on 879: 3612:seems inappropriate, as being only correct in 2581:Maybe, "finer distinction" could be linked to 2251:, and a partial order <' is defined on set 435:, so it would be kind of circular if ordinals 150:User:Vaughan Pratt/New lead for ordinal number 4214:is probably expecting the concept treated at 3256:, represents the set of all natural numbers, 1954:; no one can interpret that as "cardinality". 1614:(or "clearly"; probably he meant bijectively) 8: 2247:. If a partial order < is defined on set 549:)) a requirement in addition to "monotone" ( 129:Following up on the foregoing, I've written 3342:and the smallest infinite ordinal, written 3252:and the smallest infinite ordinal, written 327:Let me put it this way. In the opening to 4122: 4097: 3239:Intro too specific to von Neumann ordinals 3063: 4071: 4065: 4038: 4032: 2941:", but it should instead be speaking of " 1662: 1657: 1625: 1587: 1232: 1231: 1229: 1184: 1179: 1173: 1150: 1145: 1139: 1118:in case the continuum hypothesis holds)? 1102: 1096: 1073: 1068: 1062: 1036: 1031: 1025: 938: 933: 927: 902: 896: 872: 851: 845: 820: 814: 752: 746: 725: 719: 692: 687: 681: 632: 626: 2142:and a partial ordering <' defined on 877: 90:Replace order type by order isomorphic? 4121:See previous revisions of the image. 3859:Mathematical logic in the 20th century 3695:"Inconsistency Robustness", although " 3070:2601:192:4200:1E42:4C36:29D7:2036:EFF5 2275:that preserves the ordering. That is, 1694:"clearly is of a different order type" 1575:Cantor here introduced the concept of 670:. At the end of the section, it says: 44:Do not edit the contents of this page. 3984:A strictly increasing function from ω 1208:has to be worked out from context. -- 7: 2239:comes from exactly one such element 2118:comes from exactly one such element 479:a perfectly fine rank for a set? -- 2727:Lede Really Needs to Get Simplified 1513:<your favorite definition 1: --> 1233: 1168:. The meaning of expressions like 4147:Intro for a non-technical audience 3211:, which enjoins us to "follow the 3194:Assuming this discussion concerns 2911:is countable, not just states it. 1181: 1147: 1070: 1033: 935: 749: 722: 689: 313:whose actions are invertible." -- 24: 3920:I am sure that is supposed to be 2150:preserves the ordering. That is, 1916:, sizes of sets are indicated by 1267:What do the graphic figures show? 1201:{\displaystyle 2^{\aleph _{0}}+1} 668:Ordinal arithmetic#Exponentiation 641:{\displaystyle \omega ^{\omega }} 309:to "In mathematics, a group is a 3943:Elaborate graphic representation 3718:The above-referenced article is 3487:0, 1, …, ω, ω+1, …, ω⋅2, ω⋅2+1,… 3449:0, 1, …, ω, ω+1, …, ω⋅2, ω⋅2+1,… 3380:0, 1, …, ω, ω+1, …, ω⋅2, ω⋅2+1,… 1435:numbers while preserving order. 419:abstract objects that logically 29: 1642:which he called ordinal numbers 1241:{\displaystyle {\mathfrak {c}}} 1161:{\displaystyle 2^{\aleph _{0}}} 1084:{\displaystyle 2^{\aleph _{0}}} 1047:{\displaystyle 2^{\aleph _{0}}} 949:{\displaystyle 2^{\aleph _{0}}} 703:{\displaystyle 2^{\aleph _{0}}} 4228:16:43, 28 September 2020 (UTC) 4203:10:16, 28 September 2020 (UTC) 4186:09:58, 28 September 2020 (UTC) 4162:06:52, 28 September 2020 (UTC) 3213:style used by reliable sources 1679: 1667: 1: 4086:{\displaystyle \omega ^{2}+2} 4053:{\displaystyle \omega ^{3}+2} 3427:23:46, 29 February 2016 (UTC) 3392:21:55, 29 February 2016 (UTC) 3331:21:24, 29 February 2016 (UTC) 3305:21:20, 29 February 2016 (UTC) 3291:21:14, 29 February 2016 (UTC) 3276:19:42, 29 February 2016 (UTC) 3121: 3094:13:51, 29 February 2016 (UTC) 3078:16:38, 28 February 2016 (UTC) 3049:15:24, 23 February 2016 (UTC) 3025:13:29, 23 February 2016 (UTC) 3001:13:07, 23 February 2016 (UTC) 2985:19:35, 19 February 2016 (UTC) 2961:18:02, 19 February 2016 (UTC) 2817:20:37, 19 November 2015 (UTC) 2794:15:47, 19 November 2015 (UTC) 1517:<your second favorite: --> 1471:23:34, 20 December 2009 (UTC) 1445:17:30, 20 December 2009 (UTC) 1422:12:31, 19 December 2009 (UTC) 1401:09:00, 19 December 2009 (UTC) 1385:01:31, 19 December 2009 (UTC) 1359:01:26, 19 December 2009 (UTC) 1344:00:40, 19 December 2009 (UTC) 1329:00:21, 19 December 2009 (UTC) 1314:01:26, 19 December 2009 (UTC) 1295:00:02, 19 December 2009 (UTC) 1020:First ordinal of cardinality 583:22:21, 14 February 2009 (UTC) 489:03:53, 25 December 2008 (UTC) 456:02:11, 25 December 2008 (UTC) 403:02:00, 25 December 2008 (UTC) 388:00:35, 25 December 2008 (UTC) 373:22:30, 24 December 2008 (UTC) 350:19:18, 24 December 2008 (UTC) 323:09:00, 24 December 2008 (UTC) 297:08:42, 24 December 2008 (UTC) 253:05:57, 24 December 2008 (UTC) 203:07:14, 23 December 2008 (UTC) 174:07:01, 23 December 2008 (UTC) 143:06:21, 23 December 2008 (UTC) 125:07:34, 21 December 2008 (UTC) 3892:17:32, 1 November 2015 (UTC) 3822:18:49, 25 October 2016 (UTC) 3810:00:57, 26 October 2016 (UTC) 3781:00:57, 26 October 2016 (UTC) 3757:18:21, 25 October 2016 (UTC) 3736:18:16, 25 October 2016 (UTC) 3707:17:26, 25 October 2016 (UTC) 3658:22:32, 24 October 2016 (UTC) 3625:04:44, 23 October 2016 (UTC) 3597:15:00, 22 October 2016 (UTC) 3405:I tried something like that 2928:12:46, 1 December 2015 (UTC) 2770:18:59, 1 November 2015 (UTC) 2516:Ordinal number (linguistics) 2398:ordinal number (linguistics) 2350:04:11, 4 February 2013 (UTC) 2331:21:16, 3 February 2013 (UTC) 712:cardinality of the continuum 4141:05:54, 26 August 2019 (UTC) 4116:06:02, 26 August 2019 (UTC) 3058:do you people have any idea 3031:It looks pretty good now. 2721:12:52, 6 October 2015 (UTC) 2676:12:35, 6 October 2015 (UTC) 2650:12:18, 6 October 2015 (UTC) 2627:21:01, 4 October 2015 (UTC) 2611:20:36, 4 October 2015 (UTC) 2576:13:51, 4 October 2015 (UTC) 2553:13:03, 4 October 2015 (UTC) 2443:23:41, 18 August 2012 (UTC) 2396:I think you're looking for 2376:Written for mathematicians? 1111:{\displaystyle \omega _{1}} 911:{\displaystyle 2^{\omega }} 884:{\displaystyle \omega \,\!} 860:{\displaystyle 2^{\omega }} 829:{\displaystyle 2^{\omega }} 761:{\displaystyle \aleph _{0}} 734:{\displaystyle \aleph _{0}} 596:Card(Omega) = Aleph-null. 411:imprecisely; I really mean 4244: 3937:14:14, 28 April 2010 (UTC) 3869:17:22, 27 March 2010 (UTC) 3848:17:07, 27 March 2010 (UTC) 3447:Is the argument that the " 3233:11:45, 14 March 2016 (UTC) 3188:23:08, 13 March 2016 (UTC) 3161:22:56, 13 March 2016 (UTC) 3142:22:11, 13 March 2016 (UTC) 2410:01:38, 29 April 2010 (UTC) 2391:13:23, 28 April 2010 (UTC) 2057:15:45, 23 April 2011 (UTC) 1716:even more basic than that. 1571:is a set of ordered pairs 714:which is much larger than 131:a new lead for the article 4017:04:16, 12 July 2019 (UTC) 3998:00:49, 12 July 2019 (UTC) 3976:16:10, 11 July 2019 (UTC) 3957:14:57, 11 July 2019 (UTC) 3570:16:41, 2 March 2016 (UTC) 3547:15:23, 2 March 2016 (UTC) 3530:21:18, 1 March 2016 (UTC) 3507:21:06, 1 March 2016 (UTC) 3479:17:34, 1 March 2016 (UTC) 3461:12:47, 1 March 2016 (UTC) 3443:07:26, 1 March 2016 (UTC) 2756:I have already added the 2467:15:13, 10 June 2014 (UTC) 2371:15:01, 10 June 2014 (UTC) 2146:, such that the function 1986:04:23, 6 March 2010 (UTC) 1968:03:20, 6 March 2010 (UTC) 1942:03:11, 6 March 2010 (UTC) 1928:11:47, 5 March 2010 (UTC) 1890:07:44, 8 March 2010 (UTC) 1856:23:13, 4 March 2010 (UTC) 1841:23:00, 4 March 2010 (UTC) 1809:22:36, 4 March 2010 (UTC) 1777:22:27, 4 March 2010 (UTC) 1763:22:26, 4 March 2010 (UTC) 1733:22:22, 4 March 2010 (UTC) 1710:17:09, 4 March 2010 (UTC) 1601:{\displaystyle M\simeq N} 1261:13:31, 19 June 2009 (UTC) 1218:08:52, 19 June 2009 (UTC) 1128:07:51, 19 June 2009 (UTC) 107:to be less evangelical.) 3910:10:09, 4 July 2019 (UTC) 2541:Comparison of topologies 2527:11:03, 10 May 2013 (UTC) 2510:10:18, 10 May 2013 (UTC) 2487:06:20, 10 May 2013 (UTC) 2207:which maps each element 2086:which maps each element 2029:14:13, 16 May 2010 (UTC) 2013:12:49, 16 May 2010 (UTC) 1015:19:33, 6 June 2009 (UTC) 993:18:50, 23 May 2009 (UTC) 966:09:53, 23 May 2009 (UTC) 791:09:37, 23 May 2009 (UTC) 658:05:04, 23 May 2009 (UTC) 615:20:53, 22 May 2009 (UTC) 2271:if there is a function 1685:{\displaystyle n/(n+1)} 1633:{\displaystyle \simeq } 1612:can be mapped uniquely 918:for it. Whereas there 4087: 4054: 2356:Simplify intro please! 1686: 1634: 1602: 1242: 1202: 1162: 1112: 1085: 1048: 950: 912: 885: 861: 830: 762: 735: 704: 642: 4088: 4055: 3685:the current approach. 2877:is strictly less than 1974:transfinite induction 1687: 1635: 1603: 1243: 1203: 1163: 1113: 1086: 1049: 951: 913: 886: 862: 831: 763: 736: 705: 643: 228:Principia Mathematica 42:of past discussions. 4172:ordinal numbers are 4064: 4031: 3100:WP is not a textbook 2918:? Opinions welcome. 2425:article from NYTimes 2215:to a unique element 2094:to a unique element 1656: 1624: 1586: 1228: 1172: 1138: 1095: 1061: 1024: 926: 895: 871: 844: 813: 745: 718: 680: 625: 154:Birthday Cantatatata 3354:equivalence classes 2591:von Neumann ordinal 2535:"Finer distinction" 429:iterative hierarchy 307:Group (mathematics) 158:Gödel, Escher, Bach 18:Talk:Ordinal number 4083: 4050: 1998:Topological limit? 1682: 1630: 1598: 1505:Ordinal arithmetic 1238: 1198: 1158: 1108: 1081: 1044: 946: 908: 881: 880: 878: 857: 826: 758: 731: 700: 638: 361:can be represented 276:a separate issue.) 4143: 4127:comment added by 4118: 4102:comment added by 3935: 3853:Sacks is clearly 3673:Prof. Carl Hewitt 3605:Prof. Carl Hewitt 3528: 3425: 3231: 3080: 3068:comment added by 3047: 3023: 2983: 2698:order information 2674: 2574: 2433:comment added by 2321:comment added by 2291:) if and only if 2231:and each element 2166:) if and only if 2110:and each element 1815: 1783: 1420: 1383: 1259: 983:comment added by 605:comment added by 87: 86: 54: 53: 48:current talk page 4235: 4092: 4090: 4089: 4084: 4076: 4075: 4059: 4057: 4056: 4051: 4043: 4042: 3968:Jochen Burghardt 3925: 3881: 3746: 3717: 3694: 3676: 3639: 3608: 3527: 3525: 3513: 3496: 3492: 3488: 3450: 3424: 3422: 3410: 3381: 3351: 3347: 3341: 3259: 3251: 3230: 3228: 3216: 3140: 3046: 3044: 3032: 3022: 3020: 3008: 2982: 2980: 2968: 2950: 2910: 2886: 2875: 2859: 2850: 2839: 2759: 2748: 2742: 2736: 2708:linearly ordered 2664: 2603:Jochen Burghardt 2597:, rather than a 2564: 2445: 2333: 2269:order isomorphic 2136:order isomorphic 1886: 1885: 1882: 1879: 1876: 1873: 1870: 1837: 1836: 1833: 1830: 1827: 1824: 1821: 1813: 1805: 1804: 1801: 1798: 1795: 1792: 1789: 1781: 1759: 1758: 1755: 1752: 1749: 1746: 1743: 1692:together with 1 1691: 1689: 1688: 1683: 1666: 1639: 1637: 1636: 1631: 1607: 1605: 1604: 1599: 1410: 1373: 1249: 1247: 1245: 1244: 1239: 1237: 1236: 1207: 1205: 1204: 1199: 1191: 1190: 1189: 1188: 1167: 1165: 1164: 1159: 1157: 1156: 1155: 1154: 1117: 1115: 1114: 1109: 1107: 1106: 1090: 1088: 1087: 1082: 1080: 1079: 1078: 1077: 1053: 1051: 1050: 1045: 1043: 1042: 1041: 1040: 1012: 995: 955: 953: 952: 947: 945: 944: 943: 942: 917: 915: 914: 909: 907: 906: 890: 888: 887: 882: 866: 864: 863: 858: 856: 855: 835: 833: 832: 827: 825: 824: 768:) in the latter. 767: 765: 764: 759: 757: 756: 740: 738: 737: 732: 730: 729: 709: 707: 706: 701: 699: 698: 697: 696: 647: 645: 644: 639: 637: 636: 617: 78: 56: 55: 33: 32: 26: 4243: 4242: 4238: 4237: 4236: 4234: 4233: 4232: 4216:ordinal numeral 4149: 4094: 4067: 4062: 4061: 4034: 4029: 4028: 3987: 3945: 3877: 3836: 3740: 3711: 3688: 3670: 3633: 3602: 3523: 3518: 3514: 3494: 3490: 3486: 3448: 3420: 3415: 3411: 3379: 3349: 3343: 3339: 3257: 3249: 3241: 3226: 3221: 3217: 3138: 3106:WP:NOT#TEXTBOOK 3102: 3060: 3042: 3037: 3033: 3018: 3013: 3009: 2978: 2973: 2969: 2946: 2935: 2909: 2903: 2885: 2879: 2874: 2868: 2855: 2849: 2843: 2835: 2825: 2786:MadScientistX11 2777: 2757: 2749:. This article 2746:Pb8bije6a7b6a3w 2744: 2738: 2732: 2729: 2587:cardinal number 2537: 2459:Pb8bije6a7b6a3w 2428: 2378: 2363:Pb8bije6a7b6a3w 2358: 2316: 2064: 2046: 2040: 2000: 1883: 1880: 1877: 1874: 1871: 1868: 1867: 1862:Cardinal number 1834: 1831: 1828: 1825: 1822: 1819: 1818: 1802: 1799: 1796: 1793: 1790: 1787: 1786: 1756: 1753: 1750: 1747: 1744: 1741: 1740: 1654: 1653: 1622: 1621: 1584: 1583: 1485: 1274:Specifically: 1269: 1226: 1225: 1180: 1175: 1170: 1169: 1146: 1141: 1136: 1135: 1098: 1093: 1092: 1069: 1064: 1059: 1058: 1055: 1032: 1027: 1022: 1021: 1006: 1001: 999:GA reassessment 978: 934: 929: 924: 923: 898: 893: 892: 869: 868: 847: 842: 841: 816: 811: 810: 748: 743: 742: 721: 716: 715: 688: 683: 678: 677: 628: 623: 622: 600: 597: 590: 478: 477: 92: 74: 30: 22: 21: 20: 12: 11: 5: 4241: 4239: 4231: 4230: 4208: 4207: 4205: 4189: 4188: 4148: 4145: 4093: 4082: 4079: 4074: 4070: 4049: 4046: 4041: 4037: 4025: 4024: 4023: 4022: 4021: 4020: 4019: 3985: 3979: 3978: 3949:Backinstadiums 3944: 3941: 3940: 3939: 3917: 3916: 3915: 3914: 3913: 3912: 3897: 3896: 3895: 3894: 3872: 3871: 3857:. Sacks' book 3840:145.118.72.144 3835: 3832: 3831: 3830: 3829: 3828: 3827: 3826: 3825: 3824: 3799: 3796: 3795: 3794: 3793: 3792: 3773: 3770: 3769: 3768: 3738: 3686: 3663: 3662: 3661: 3660: 3644: 3643: 3642: 3641: 3628: 3627: 3577: 3576: 3575: 3574: 3573: 3572: 3552: 3551: 3550: 3549: 3534: 3533: 3532: 3521: 3516: 3483: 3482: 3481: 3418: 3413: 3403: 3402: 3401: 3400: 3399: 3398: 3397: 3396: 3395: 3394: 3363: 3362: 3361: 3293: 3263: 3262: 3240: 3237: 3236: 3235: 3224: 3219: 3192: 3191: 3190: 3171: 3136: 3101: 3098: 3097: 3096: 3059: 3056: 3054: 3052: 3051: 3040: 3035: 3028: 3027: 3016: 3011: 2988: 2987: 2976: 2971: 2939:total ordering 2934: 2931: 2907: 2897: 2896: 2889: 2888: 2883: 2872: 2847: 2824: 2821: 2820: 2819: 2776: 2773: 2728: 2725: 2724: 2723: 2694: 2693: 2692: 2683: 2682: 2681: 2680: 2679: 2678: 2655: 2654: 2653: 2652: 2630: 2629: 2579: 2578: 2536: 2533: 2532: 2531: 2530: 2529: 2474: 2473: 2472: 2471: 2470: 2469: 2449: 2448: 2447: 2446: 2413: 2412: 2377: 2374: 2357: 2354: 2353: 2352: 2338: 2309: 2308: 2199:have the same 2184: 2183: 2078:have the same 2063: 2060: 2044: 2039: 2038:Some Examples? 2036: 2034: 2032: 2031: 2005:85.176.206.253 1999: 1996: 1995: 1994: 1993: 1992: 1991: 1990: 1989: 1988: 1955: 1902: 1901: 1900: 1899: 1898: 1897: 1896: 1895: 1894: 1893: 1892: 1811: 1717: 1681: 1678: 1675: 1672: 1669: 1665: 1661: 1629: 1597: 1594: 1591: 1559: 1558: 1522: 1521: 1520: 1519: 1515: 1508: 1496: 1484: 1481: 1480: 1479: 1478: 1477: 1476: 1475: 1474: 1473: 1452: 1451: 1450: 1449: 1448: 1447: 1427: 1426: 1425: 1424: 1404: 1403: 1366: 1365: 1364: 1363: 1362: 1361: 1318: 1317: 1316: 1268: 1265: 1264: 1263: 1235: 1221: 1220: 1197: 1194: 1187: 1183: 1178: 1153: 1149: 1144: 1105: 1101: 1076: 1072: 1067: 1054: 1039: 1035: 1030: 1018: 1000: 997: 985:173.51.255.161 975: 974: 973: 972: 971: 970: 969: 968: 941: 937: 932: 905: 901: 876: 854: 850: 823: 819: 796: 795: 794: 793: 771: 770: 769: 755: 751: 728: 724: 695: 691: 686: 661: 660: 635: 631: 594: 589: 586: 510: 509: 508: 507: 506: 505: 504: 503: 502: 501: 500: 499: 498: 497: 496: 495: 494: 493: 492: 491: 475: 473: 465: 440: 329:natural number 302: 284: 277: 273: 266: 258: 257: 256: 255: 236: 215: 210:Should we put 208: 177: 176: 91: 88: 85: 84: 79: 72: 67: 62: 52: 51: 34: 23: 15: 14: 13: 10: 9: 6: 4: 3: 2: 4240: 4229: 4225: 4221: 4217: 4213: 4209: 4206: 4204: 4200: 4196: 4191: 4190: 4187: 4183: 4179: 4175: 4171: 4166: 4165: 4164: 4163: 4159: 4155: 4146: 4144: 4142: 4138: 4134: 4130: 4126: 4119: 4117: 4113: 4109: 4105: 4101: 4080: 4077: 4072: 4068: 4047: 4044: 4039: 4035: 4018: 4014: 4010: 4005: 4001: 4000: 3999: 3995: 3991: 3983: 3982: 3981: 3980: 3977: 3973: 3969: 3965: 3961: 3960: 3959: 3958: 3954: 3950: 3942: 3938: 3933: 3929: 3923: 3919: 3918: 3911: 3908: 3903: 3902: 3901: 3900: 3899: 3898: 3893: 3889: 3885: 3884:– SarahTehCat 3880: 3876: 3875: 3874: 3873: 3870: 3867: 3864: 3860: 3856: 3852: 3851: 3850: 3849: 3845: 3841: 3833: 3823: 3820: 3817: 3813: 3812: 3811: 3807: 3803: 3800: 3797: 3791: 3788: 3784: 3783: 3782: 3778: 3774: 3771: 3767: 3764: 3760: 3759: 3758: 3754: 3750: 3744: 3739: 3737: 3733: 3729: 3725: 3721: 3715: 3710: 3709: 3708: 3705: 3702: 3698: 3692: 3687: 3684: 3680: 3674: 3669: 3668: 3667: 3666: 3665: 3664: 3659: 3655: 3651: 3648: 3647: 3646: 3645: 3637: 3632: 3631: 3630: 3629: 3626: 3623: 3620: 3615: 3611: 3606: 3601: 3600: 3599: 3598: 3594: 3590: 3586: 3585: 3580: 3571: 3567: 3563: 3558: 3557: 3556: 3555: 3554: 3553: 3548: 3544: 3540: 3535: 3531: 3526: 3520: 3510: 3509: 3508: 3504: 3500: 3484: 3480: 3476: 3472: 3468: 3464: 3463: 3462: 3458: 3454: 3446: 3445: 3444: 3440: 3436: 3431: 3430: 3429: 3428: 3423: 3417: 3408: 3393: 3389: 3385: 3377: 3376: 3375: 3374: 3372: 3368: 3364: 3359: 3355: 3346: 3337: 3336: 3334: 3333: 3332: 3328: 3324: 3320: 3316: 3312: 3309:Well, it's a 3308: 3307: 3306: 3302: 3298: 3294: 3292: 3288: 3284: 3280: 3279: 3278: 3277: 3273: 3269: 3261: 3253: 3246: 3245: 3244: 3238: 3234: 3229: 3223: 3214: 3210: 3206: 3201: 3197: 3193: 3189: 3185: 3181: 3176: 3172: 3169: 3164: 3163: 3162: 3158: 3154: 3150: 3149:MOS:MATH#TONE 3146: 3145: 3144: 3143: 3134: 3131: 3128: 3126: 3119: 3115: 3111: 3107: 3099: 3095: 3091: 3087: 3083: 3082: 3081: 3079: 3075: 3071: 3067: 3057: 3055: 3050: 3045: 3039: 3030: 3029: 3026: 3021: 3015: 3005: 3004: 3003: 3002: 2998: 2994: 2986: 2981: 2975: 2965: 2964: 2963: 2962: 2958: 2954: 2949: 2944: 2943:well ordering 2940: 2932: 2930: 2929: 2925: 2921: 2917: 2912: 2906: 2902: 2894: 2893: 2892: 2882: 2878: 2871: 2867: 2864: 2863: 2858: 2854: 2846: 2842: 2838: 2834: 2831: 2830: 2829: 2822: 2818: 2814: 2810: 2806: 2802: 2798: 2797: 2796: 2795: 2791: 2787: 2783: 2774: 2772: 2771: 2767: 2763: 2762:– SarahTehCat 2754: 2752: 2747: 2741: 2735: 2726: 2722: 2718: 2714: 2711: 2709: 2703: 2699: 2695: 2691: 2688: 2687: 2685: 2684: 2677: 2672: 2668: 2661: 2660: 2659: 2658: 2657: 2656: 2651: 2647: 2643: 2638: 2634: 2633: 2632: 2631: 2628: 2624: 2620: 2615: 2614: 2613: 2612: 2608: 2604: 2600: 2596: 2592: 2588: 2584: 2577: 2572: 2568: 2561: 2557: 2556: 2555: 2554: 2550: 2546: 2542: 2534: 2528: 2525: 2522: 2517: 2513: 2512: 2511: 2507: 2503: 2499: 2495: 2491: 2490: 2489: 2488: 2484: 2480: 2468: 2464: 2460: 2455: 2454: 2453: 2452: 2451: 2450: 2444: 2440: 2436: 2432: 2426: 2422: 2417: 2416: 2415: 2414: 2411: 2407: 2403: 2399: 2395: 2394: 2393: 2392: 2388: 2384: 2375: 2373: 2372: 2368: 2364: 2355: 2351: 2347: 2343: 2339: 2336: 2335: 2334: 2332: 2328: 2324: 2323:70.113.33.136 2320: 2313: 2306: 2302: 2298: 2294: 2290: 2286: 2282: 2278: 2274: 2270: 2267:,<') are 2266: 2262: 2258: 2254: 2250: 2246: 2242: 2238: 2234: 2230: 2226: 2222: 2218: 2214: 2210: 2206: 2202: 2198: 2194: 2190: 2189: 2188: 2181: 2177: 2173: 2169: 2165: 2161: 2157: 2153: 2149: 2145: 2141: 2137: 2133: 2129: 2125: 2121: 2117: 2113: 2109: 2105: 2101: 2097: 2093: 2089: 2085: 2081: 2077: 2073: 2069: 2068: 2067: 2061: 2059: 2058: 2054: 2050: 2043: 2037: 2035: 2030: 2026: 2022: 2017: 2016: 2015: 2014: 2010: 2006: 1997: 1987: 1983: 1979: 1975: 1971: 1970: 1969: 1965: 1961: 1956: 1953: 1949: 1945: 1944: 1943: 1939: 1935: 1931: 1930: 1929: 1926: 1923: 1919: 1915: 1911: 1909: 1903: 1891: 1888: 1887: 1863: 1859: 1858: 1857: 1853: 1849: 1844: 1843: 1842: 1839: 1838: 1812: 1810: 1807: 1806: 1780: 1779: 1778: 1774: 1770: 1766: 1765: 1764: 1761: 1760: 1736: 1735: 1734: 1730: 1726: 1722: 1718: 1714: 1713: 1712: 1711: 1707: 1703: 1697: 1695: 1676: 1673: 1670: 1663: 1659: 1650: 1648: 1645:(my emphasis) 1644: 1643: 1627: 1617: 1613: 1609: 1595: 1592: 1589: 1580:(my emphasis) 1579: 1578: 1572: 1568: 1564: 1557: 1554: 1553: 1552: 1550: 1546: 1541: 1537: 1535: 1530: 1526: 1516: 1512: 1511: 1510:Definitions: 1509: 1506: 1502: 1497: 1494: 1490: 1489: 1488: 1482: 1472: 1468: 1464: 1460: 1459: 1458: 1457: 1456: 1455: 1454: 1453: 1446: 1442: 1438: 1433: 1432: 1431: 1430: 1429: 1428: 1423: 1418: 1414: 1408: 1407: 1406: 1405: 1402: 1398: 1394: 1389: 1388: 1387: 1386: 1381: 1377: 1371: 1360: 1356: 1352: 1347: 1346: 1345: 1341: 1337: 1332: 1331: 1330: 1327: 1324: 1319: 1315: 1311: 1307: 1302: 1301: 1299: 1298: 1297: 1296: 1292: 1288: 1283: 1279: 1275: 1272: 1266: 1262: 1257: 1253: 1224:The notation 1223: 1222: 1219: 1215: 1211: 1195: 1192: 1185: 1176: 1151: 1142: 1132: 1131: 1130: 1129: 1125: 1121: 1103: 1099: 1074: 1065: 1037: 1028: 1017: 1016: 1013: 1011: 1010: 998: 996: 994: 990: 986: 982: 967: 963: 959: 939: 930: 921: 903: 899: 874: 852: 848: 839: 821: 817: 808: 804: 803: 802: 801: 800: 799: 798: 797: 792: 788: 784: 780: 776: 772: 753: 726: 713: 693: 684: 675: 672: 671: 669: 665: 664: 663: 662: 659: 655: 651: 633: 629: 620: 619: 618: 616: 612: 608: 607:161.209.206.1 604: 593: 587: 585: 584: 580: 576: 575:Vaughan Pratt 572: 568: 564: 560: 556: 552: 548: 544: 540: 536: 532: 528: 524: 518: 516: 490: 486: 482: 481:Vaughan Pratt 471: 466: 462: 459: 458: 457: 453: 449: 445: 441: 438: 434: 430: 426: 422: 418: 414: 410: 406: 405: 404: 400: 396: 395:Vaughan Pratt 391: 390: 389: 385: 381: 376: 375: 374: 370: 366: 365:Vaughan Pratt 362: 358: 353: 352: 351: 347: 343: 338: 334: 330: 326: 325: 324: 320: 316: 315:Vaughan Pratt 312: 308: 303: 300: 299: 298: 294: 290: 285: 282: 278: 274: 271: 267: 264: 263: 262: 261: 260: 259: 254: 250: 246: 245:Vaughan Pratt 242: 237: 233: 229: 225: 220: 216: 213: 209: 206: 205: 204: 200: 196: 192: 188: 183: 180:Oh, also: I 179: 178: 175: 171: 167: 163: 159: 155: 151: 147: 146: 145: 144: 140: 136: 135:Vaughan Pratt 132: 127: 126: 122: 118: 117:Vaughan Pratt 112: 108: 106: 100: 98: 89: 83: 80: 77: 73: 71: 68: 66: 63: 61: 58: 57: 49: 45: 41: 40: 35: 28: 27: 19: 4212:86.11.51.106 4173: 4154:86.11.51.106 4150: 4123:— Preceding 4120: 4098:— Preceding 4095: 4003: 3963: 3946: 3921: 3858: 3855:Gerald Sacks 3837: 3816:Arthur Rubin 3787:Arthur Rubin 3763:Arthur Rubin 3743:Arthur Rubin 3723: 3719: 3714:Arthur Rubin 3701:Arthur Rubin 3691:Arthur Rubin 3682: 3678: 3636:Arthur Rubin 3619:Arthur Rubin 3613: 3609: 3587: 3581: 3578: 3495:{0, 1, 2, …} 3466: 3404: 3358:well ordered 3350:{0, 1, 2, …} 3344: 3318: 3314: 3310: 3264: 3258:{0, 1, 2, …} 3255: 3247: 3242: 3212: 3204: 3199: 3174: 3167: 3124: 3103: 3064:— Preceding 3061: 3053: 2989: 2947: 2936: 2915: 2913: 2904: 2900: 2898: 2890: 2880: 2876: 2869: 2865: 2861: 2860: 2856: 2852: 2844: 2840: 2836: 2832: 2826: 2805:group theory 2801:well-ordered 2778: 2755: 2750: 2730: 2705: 2701: 2697: 2689: 2636: 2585:? I think a 2583:quotient set 2580: 2559: 2538: 2493: 2475: 2435:118.95.28.36 2429:— Preceding 2379: 2359: 2317:— Preceding 2314: 2310: 2304: 2301:well ordered 2300: 2296: 2292: 2288: 2284: 2280: 2276: 2272: 2264: 2263:,<) and ( 2260: 2252: 2248: 2244: 2240: 2236: 2232: 2228: 2224: 2220: 2216: 2212: 2208: 2204: 2200: 2196: 2192: 2185: 2179: 2176:well ordered 2175: 2171: 2167: 2163: 2159: 2155: 2151: 2147: 2143: 2139: 2131: 2127: 2123: 2119: 2115: 2111: 2107: 2103: 2099: 2095: 2091: 2087: 2083: 2079: 2075: 2071: 2065: 2047: 2041: 2033: 2001: 1951: 1947: 1917: 1913: 1908:well-ordered 1905: 1866: 1817: 1785: 1739: 1720: 1698: 1693: 1651: 1646: 1641: 1619: 1615: 1611: 1581: 1576: 1574: 1570: 1566: 1562: 1560: 1555: 1544: 1542: 1538: 1531: 1527: 1523: 1493:well-ordered 1486: 1369: 1367: 1284: 1280: 1276: 1273: 1270: 1056: 1008: 1007: 1002: 976: 919: 837: 806: 778: 774: 673: 598: 591: 570: 566: 562: 558: 554: 550: 546: 542: 538: 534: 530: 526: 522: 519: 514: 511: 469: 460: 443: 436: 432: 424: 420: 416: 412: 408: 360: 356: 336: 332: 280: 269: 231: 190: 186: 181: 161: 157: 153: 128: 113: 109: 101: 93: 75: 43: 37: 4027:Error: The 3537:it a try. 3367:Mark viking 3196:these edits 3153:Mark viking 3147:Please see 3125:SMcCandlish 3104:Please see 2866:containing 2758:jargon-lede 2740:77.99.7.242 2589:(viewed as 2498:order types 2383:77.99.7.242 2255:, then the 2201:cardinality 2080:cardinality 1582:. He wrote 1501:cardinality 979:—Preceding 601:—Preceding 470:sui generis 444:represented 417:sui generis 232:definition, 156:fantasy in 36:This is an 4170:Almost all 3907:Hans Adler 3315:historical 3114:WP:SELFREF 2895:ω, ω, ω, … 2049:Bmargulies 1577:order type 1549:Order type 1534:order type 1091:(equal to 241:Alan Sokal 212:Hofstadter 182:definitely 105:Alan Sokal 97:order type 4220:Trovatore 4129:Botosuhna 4104:Botosuhna 4009:Trovatore 3990:JRSpriggs 3471:Trovatore 3435:Trovatore 3384:Trovatore 3323:Trovatore 3268:Trovatore 3180:Trovatore 2809:JRSpriggs 2642:The Anome 2619:Trovatore 2545:The Anome 2502:JRSpriggs 2421:this page 2402:Trovatore 2342:JRSpriggs 2191:Two sets 2070:Two sets 2021:JRSpriggs 1978:JRSpriggs 1960:Trovatore 1934:JRSpriggs 1918:cardinals 1848:Trovatore 1769:Trovatore 1725:Trovatore 1437:JRSpriggs 1336:Trovatore 1210:Trovatore 1009:Wizardman 958:Trovatore 783:JRSpriggs 650:Trovatore 448:Trovatore 409:Platonist 380:Trovatore 342:Trovatore 289:Trovatore 195:Trovatore 166:Trovatore 82:Archive 5 76:Archive 4 70:Archive 3 65:Archive 2 60:Archive 1 4210:I think 4195:Chrisahn 4178:Chrisahn 4137:contribs 4125:unsigned 4112:contribs 4100:unsigned 3724:entirely 3697:reliable 3168:actively 3066:unsigned 2734:Cacadril 2431:unsigned 2319:unsigned 2299:. Every 2283:) <' 2174:. Every 2158:) <' 1914:ordinals 1702:Cacadril 1463:sligocki 1393:Gwideman 1351:Gwideman 1306:Gwideman 1287:Gwideman 981:unsigned 867:is just 674:Warning: 603:unsigned 3683:replace 3562:𝕃eegrc 3539:𝕃eegrc 3519:ławomir 3499:𝕃eegrc 3493:" and " 3467:symbols 3453:𝕃eegrc 3416:ławomir 3297:𝕃eegrc 3283:𝕃eegrc 3222:ławomir 3209:WP:TONE 3118:WP:TONE 3110:MOS:YOU 3086:𝕃eegrc 3038:ławomir 3014:ławomir 2993:𝕃eegrc 2974:ławomir 2953:𝕃eegrc 2920:YohanN7 2713:YohanN7 2637:exactly 2062:Errors? 1567:, when 1372:— Carl 710:is the 421:precede 413:realist 224:Russell 39:archive 3819:(talk) 3790:(talk) 3766:(talk) 3704:(talk) 3622:(talk) 3491:{0, 1} 3340:{0, 1} 3311:little 3250:{0, 1} 3170:teach. 3116:, and 2901:proves 2751:really 2743:, and 2686:While 2257:posets 1952:length 1551:says: 515:coding 333:little 311:monoid 270:coding 187:coding 3866:Adler 3834:Sacks 3524:Biały 3421:Biały 3227:Biały 3043:Biały 3019:Biały 2979:Biały 2595:class 2519:12.)— 2361:math. 2303:set ( 2295:< 2227:) of 2170:< 2106:) of 1608:when 1326:Adler 1120:Ninte 439:sets. 433:first 425:atoms 16:< 4224:talk 4199:talk 4182:talk 4158:talk 4133:talk 4108:talk 4013:talk 3994:talk 3972:talk 3953:talk 3932:talk 3922:Jech 3888:talk 3879:Hans 3863:Hans 3844:talk 3806:talk 3802:Carl 3777:talk 3753:talk 3749:Carl 3732:talk 3728:Carl 3654:talk 3650:Carl 3614:your 3610:That 3593:talk 3589:Carl 3582:See 3566:talk 3543:talk 3503:talk 3475:talk 3457:talk 3439:talk 3407:here 3388:talk 3371:talk 3327:talk 3301:talk 3287:talk 3272:talk 3215:." 3184:talk 3175:this 3157:talk 3090:talk 3074:talk 2997:talk 2957:talk 2924:talk 2833:Let 2813:talk 2790:talk 2766:talk 2717:talk 2671:talk 2646:talk 2623:talk 2607:talk 2571:talk 2560:more 2549:talk 2521:Emil 2506:talk 2483:talk 2463:talk 2439:talk 2406:talk 2400:. -- 2387:talk 2367:talk 2346:talk 2327:talk 2195:and 2178:set 2134:are 2130:and 2074:and 2053:talk 2025:talk 2009:talk 1982:talk 1964:talk 1950:put 1948:size 1938:talk 1922:Emil 1852:talk 1773:talk 1729:talk 1706:talk 1545:were 1495:set. 1467:talk 1441:talk 1417:talk 1397:talk 1380:talk 1355:talk 1340:talk 1323:Hans 1310:talk 1291:talk 1256:talk 1214:talk 1124:talk 989:talk 962:talk 956:. -- 787:talk 779:zero 666:See 654:talk 611:talk 579:talk 565:) ≤ 485:talk 461:Very 452:talk 437:were 399:talk 384:talk 369:talk 346:talk 337:that 319:talk 293:talk 281:Then 249:talk 199:talk 193:. -- 170:talk 139:talk 121:talk 4174:not 4004:all 3928:CBM 3775:] ( 3720:not 3356:of 3319:can 3139:ⱷ≼ 3135:≽ⱷ҅ 2916:how 2862:not 2710:... 2667:CBM 2599:set 2567:CBM 2494:are 2479:RBJ 2265:S' 2253:S' 2243:of 2237:S' 2235:of 2229:S' 2211:of 2197:S' 2144:S' 2132:S' 2122:of 2116:S' 2114:of 2108:S' 2090:of 2076:S' 1910:set 1721:too 1616:to 1413:CBM 1376:CBM 1252:CBM 807:big 775:all 191:are 162:was 4226:) 4201:) 4184:) 4160:) 4139:) 4135:• 4114:) 4110:• 4069:ω 4036:ω 4015:) 4007:-- 3996:) 3974:) 3955:) 3930:· 3890:) 3846:) 3814:— 3808:) 3779:) 3755:) 3734:) 3679:On 3656:) 3595:) 3568:) 3545:) 3505:) 3477:) 3459:) 3441:) 3433:-- 3390:) 3373:) 3365:-- 3329:) 3303:) 3289:) 3274:) 3266:-- 3186:) 3159:) 3122:— 3112:, 3092:) 3076:) 2999:) 2959:) 2926:) 2851:. 2815:) 2792:) 2768:) 2737:, 2719:) 2700:? 2669:· 2648:) 2625:) 2609:) 2569:· 2551:) 2524:J. 2508:) 2485:) 2465:) 2441:) 2408:) 2389:) 2369:) 2348:) 2329:) 2219:= 2126:. 2098:= 2055:) 2027:) 2011:) 1984:) 1976:. 1966:) 1940:) 1925:J. 1854:) 1846:-- 1775:) 1731:) 1708:) 1628:≃ 1593:≃ 1507:). 1469:) 1443:) 1415:· 1399:) 1378:· 1357:) 1342:) 1334:-- 1312:) 1293:) 1254:· 1216:) 1182:ℵ 1148:ℵ 1126:) 1100:ω 1071:ℵ 1034:ℵ 991:) 964:) 936:ℵ 920:is 904:ω 875:ω 853:ω 838:is 822:ω 789:) 750:ℵ 723:ℵ 690:ℵ 656:) 634:ω 630:ω 613:) 581:) 557:→ 553:≤ 541:→ 533:→ 529:: 487:) 454:) 401:) 386:) 378:-- 371:) 357:is 348:) 340:-- 321:) 295:) 251:) 201:) 172:) 141:) 123:) 4222:( 4197:( 4180:( 4156:( 4131:( 4106:( 4081:2 4078:+ 4073:2 4048:2 4045:+ 4040:3 4011:( 3992:( 3986:1 3970:( 3964:n 3951:( 3934:) 3926:( 3886:( 3842:( 3804:( 3751:( 3745:: 3741:@ 3730:( 3716:: 3712:@ 3693:: 3689:@ 3675:: 3671:@ 3652:( 3638:: 3634:@ 3607:: 3603:@ 3591:( 3564:( 3541:( 3517:S 3501:( 3473:( 3455:( 3437:( 3414:S 3386:( 3369:( 3345:ω 3325:( 3299:( 3285:( 3270:( 3260:. 3254:ω 3220:S 3205:X 3200:X 3182:( 3155:( 3137:ᴥ 3133:¢ 3130:☏ 3127:☺ 3088:( 3072:( 3036:S 3012:S 2995:( 2972:S 2955:( 2948:ω 2922:( 2908:0 2905:ε 2887:. 2884:1 2881:ω 2873:1 2870:ω 2857:Ω 2848:1 2845:ω 2837:Ω 2811:( 2788:( 2764:( 2715:( 2702:I 2673:) 2665:( 2644:( 2621:( 2605:( 2573:) 2565:( 2547:( 2504:( 2481:( 2461:( 2437:( 2404:( 2385:( 2365:( 2344:( 2325:( 2305:S 2297:b 2293:a 2289:b 2287:( 2285:f 2281:a 2279:( 2277:f 2273:f 2261:S 2259:( 2249:S 2245:S 2241:x 2233:y 2225:x 2223:( 2221:f 2217:y 2213:S 2209:x 2205:f 2193:S 2180:S 2172:b 2168:a 2164:b 2162:( 2160:f 2156:a 2154:( 2152:f 2148:f 2140:S 2128:S 2124:S 2120:x 2112:y 2104:x 2102:( 2100:f 2096:y 2092:S 2088:x 2084:f 2072:S 2051:( 2023:( 2007:( 1980:( 1962:( 1936:( 1904:" 1884:s 1881:r 1878:i 1875:f 1872:b 1869:D 1850:( 1835:s 1832:r 1829:i 1826:f 1823:b 1820:D 1803:s 1800:r 1797:i 1794:f 1791:b 1788:D 1771:( 1757:s 1754:r 1751:i 1748:f 1745:b 1742:D 1727:( 1704:( 1680:) 1677:1 1674:+ 1671:n 1668:( 1664:/ 1660:n 1618:N 1610:M 1596:N 1590:M 1569:P 1565:P 1518:. 1514:. 1465:( 1439:( 1419:) 1411:( 1395:( 1382:) 1374:( 1353:( 1338:( 1308:( 1289:( 1258:) 1250:( 1234:c 1212:( 1196:1 1193:+ 1186:0 1177:2 1152:0 1143:2 1122:( 1104:1 1075:0 1066:2 1038:0 1029:2 987:( 960:( 940:0 931:2 900:2 849:2 818:2 785:( 754:0 727:0 694:0 685:2 652:( 609:( 577:( 571:y 569:( 567:s 563:x 561:( 559:s 555:y 551:x 547:x 545:( 543:s 539:x 535:L 531:L 527:s 523:L 483:( 476:1 474:ω 450:( 397:( 382:( 367:( 344:( 317:( 291:( 247:( 197:( 168:( 137:( 119:( 50:.

Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.

Index