- 6,196
- 16,487
- Thread starter
- #321
That doesn't necessarily make it ill-defined. For example, "dimension" can be simply defined as the cardinality of a vector space's basis (i.e. How many linearly independent vectors the space has), and that's in fact the definition that our current usage of them aligns to. "Dimensionality" is indeed a pretty well-defined thing under such terms.That's not a well-defined notion of dimensionality, if it's not within the theory and not something external to it that you can point to and which we can investigate the limits of. Which would then loop us back to my earlier post about how something so general that it can apply to any arbitrary extensions of axioms, should also be able to apply to R>F differences.
You responded to that by beginning discussion about Cartesian Products, but here I'm gesturing at "would it ever be possible to add axioms to ZFC such that you cannot take the Cartesian Product of certain newly-introduced ordinals".
I believe what you're referring to might find its closest approximation in axioms that are inconsistent with the Axiom of Choice. And as you might probably know, denying the Axiom of Choice (i.e. Literally just the statement "The union of non-empty sets is non-empty") causes all hell to break loose, everywhere in the Universe of Sets.
What exactly do you mean by "loose and arbitrary"? I wouldn't say "The quality of having dimensions" is at all loose once you already have a notion of what "Dimension" is.It depends on which definition of "dimensionality" you use, since that's a very loose and arbitrary term.
Without further in-verse context, I'd just cap it at standard ones used within real-world theories, R^R. And I believe that's where our Tiering System currently limits it; didn't we, in the past year, have a thread about this topic where we came to that conclusion? That you needed some sufficient amount of statements, but at some points, you could generalise to Low 1-A/1-A without infinite dimensions?