• This forum is strictly intended to be used by members of the VS Battles wiki. Please only register if you have an autoconfirmed account there, as otherwise your registration will be rejected. If you have already registered once, do not do so again, and contact Antvasima if you encounter any problems.

    For instructions regarding the exact procedure to sign up to this forum, please click here.
  • We need Patreon donations for this forum to have all of its running costs financially secured.

    Community members who help us out will receive badges that give them several different benefits, including the removal of all advertisements in this forum, but donations from non-members are also extremely appreciated.

    Please click here for further information, or here to directly visit our Patreon donations page.
  • Please click here for information about a large petition to help children in need.

Insufficient Explanations on the Vs. Battles Tiering Pages (STAFF ONLY)

Status
Not open for further replies.
I believe Ultima applied it already:


I forgot to notify it on this thread as well, sorry.
 
Okay. That is good then.

We still need to make the definition for tier 0 more precise though.
 
I will like to note though, the current Tier 0 definition does in fact line up with the previous Tier 0 definition and functioning pretty perfectly, and maybe by mathematically defining it we may run risk of invalidating some of the current occupiers for the tier? Similar to how DT argued High 1-A's mathematical definition ran that risk. That may be beyond the scope of this thread alone, but I'll let either DT or Ultima elaborate on its feasibility.
 
Yes, it is best to let the people who understand higher-order mathematics best here handle it.
 
Last edited:
I believe Ultima and DontTalk were going to privately discuss the mathematics behind tier 0 at a later time, mainly regarding whether the tier should be defined as a universe of sets or as something else, and then one of them would make a thread to address it afterwards.
 
Okay. Thank you for the information. That sounds good to me.
 
So, some minor wording concerns with the new version Ultima edited in:
The "stand outside of any extensions of infinite hierarchies and sizes" as general description of 1-A just seems wrong. That applies, at the earliest, for High 1-A, although I would rather not see it there either. "Any extension" is just is either way too vague or straight up hyperbole.

Second, reading over it again, I think the High 1-A part should have a small change.
Specifically:
Characters who can affect objects that are larger than what the logical framework defining 1-A and below can allow
This should probably say mathematical framework, as logic in itself doesn't cover it.
"can allow" is also in so far wrong as that ZFC allows for those levels even if you can't show the existence of such cardinals. I think ZFC is the framework we are talking here, right? Instead, we should say "can prove to exist" or something of that nature, as that's more precise.
 
Why is there even a general "1-A" section in the first place? The description given to it doesn't truly apply any earlier than High 1-A, as DontTalk said up there, not to mention that it makes the 1-A tiers somehow seem special or different, which is an idea we were supposed to have moved past by now.
The "stand outside of any extensions of infinite hierarchies and sizes" as general description of 1-A just seems wrong. That applies, at the earliest, for High 1-A, although I would rather not see it there either. "Any extension" is just is either way too vague or straight up hyperbole.
I mean, the idea is that no amount of successor operations or power sets of infinite cardinals can reach even the smallest inaccessible cardinal, which is the baseline for High 1-A. That's why it's known as an inaccessible cardinal. But I am open to suggestions to refine the words used.
This should probably say mathematical framework, as logic in itself doesn't cover it.
Logic and mathematics do sort of go hand-in-hand, but our tiering system is supposed to be a mathematical one, so sure.
"can allow" is also in so far wrong as that ZFC allows for those levels even if you can't show the existence of such cardinals. I think ZFC is the framework we are talking here, right? Instead, we should say "can prove to exist" or something of that nature, as that's more precise.
We do base our system on ZFC, yes, but I don't really care one way or the other. Both wordings are equally valid in my eyes: in a general sense, if a formal system can't prove that something exists, then that thing is just not accounted for and effectively does not exist, even if its nonexistence is similarly unprovable. I think the assumption in this case is that inaccessible cardinals basically exceed the purview of the default model of ZFC, and so in order to work with them, you have to construct a "bigger" model which can accommodate them.
 
I mean, the idea is that no amount of successor operations or power sets of infinite cardinals can reach even the smallest inaccessible cardinal, which is the baseline for High 1-A. That's why it's known as an inaccessible cardinal. But I am open to suggestions to refine the words used.
That's ok, it's just that the wording doesn't convey the idea very well. Extra axioms are also an extension of the prior. Inaccessible cardinals in and of themselves are an extension of ZFC... just sounds rather misleading.

Technically there is a number of successor operations / power sets that reach an inaccessibel cardinal.... an inaccessible cardinal many to be specific. But I get the idea.

One could now clarify in which sense it is meant, but at that point we would just be explaining what an inaccessible cardinal is and we already do that. For the general explanation, I would just delete it without replacing that part with anything. The current High 1-A text already doesn't include it and that can just stay that way.

Logic and mathematics do sort of go hand-in-hand, but our tiering system is supposed to be a mathematical one, so sure.
Mathematics needs logic, logic not necessarily mathematics. It's mostly just that logical framework sounds like formal/logical system for me and that's not what we mean.

We do base our system on ZFC, yes, but I don't really care one way or the other. Both wordings are equally valid in my eyes: in a general sense, if a formal system can't prove that something exists, then that thing is just not accounted for and effectively does not exist, even if its nonexistence is similarly unprovable. I think the assumption in this case is that inaccessible cardinals basically exceed the purview of the default model of ZFC, and so in order to work with them, you have to construct a "bigger" model which can accommodate them.
Uh, mathematicians would throw some hard words at you for that position. Consider: ZFC even contains an axiom which's only purpose it is to state that certain sets do not exist. If ZFC is consistent you can't construct any such sets anyways, but knowing that they actually do not exist is really important to people.
So yeah, controversal opinion. Do not support that <.<
 
Last edited:
So what should we do with the more generalised 1-A section text? Should it be removed (together with the redundant "1-A: Transcendent" section itself), or be incorporated into the High 1-A section text?
 
So what should we do with the more generalised 1-A section text? Should it be removed (together with the redundant "1-A: Transcendent" section itself), or be incorporated into the High 1-A section text?
How about changing that part to:
Characters who functionally transcend the rest of the Tiering System. These characters are of infinitely higher power than even those that have absolute power over a single infinite hierarchy of levels of infinity.
It's simple, but should serve as general description just fine.
 
Thank you. However, doesn't "these characters have infinitely higher power" just sound like a higher degree of High 1-B?
 
Thank you. However, doesn't "these characters have infinitely higher power" just sound like a higher degree of High 1-B?
I don't think it's necessary to go too in-depth on that section. Its whole purpose is just to serve as a primer for the basic concept that's elaborated upon by the tier descriptions proper.
 
Okay. So it can remain as it is then? I just think that the current description can likely be easily misunderstood.
 
Thank you. However, doesn't "these characters have infinitely higher power" just sound like a higher degree of High 1-B?
I don't think it's necessary to go too in-depth on that section. Its whole purpose is just to serve as a primer for the basic concept that's elaborated upon by the tier descriptions proper.
Okay. So it can remain as it is then? I just think that the current description can likely be easily misunderstood.
@Ultima_Reality @DontTalkDT
 
Okay. Thank you for the reply. Is there anything left to do here, or should I close this thread?
 
I don't believe there is? Last I've checked, some of the topics that started being tackled extended beyond the scope of this thread and were reserved for later, anyway.
 
Okay. I will close this thread then. Thank you to everybody who helped out here.
 
Status
Not open for further replies.
Back
Top