- 3,057
- 1,134
looks interesting can you share link to read the novel?
-
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.
Set theory discussion thread
- Thread starter Cat275
- Start date
-
- Tags
- set theory
- 3,057
- 1,134
Ultimate V=L ?? what is that ?
- 5,267
- 2,174
V=Ultimate L is a really strong axiom.
Cat275
He/Him- 1,428
- 788
- Thread starter
- #207
It's a way to force the conjecture to have an L like structure contain the sets in V while not striving far away from it.
As in a lot diffetent from V=/=L since it can have V=L where there exists atleast 0# level strength consistency and even stronger ones.
Can only be described by inner model theory.
Can you translate it?
Last edited:
Cat275
He/Him- 1,428
- 788
- Thread starter
- #208
As in his incompleteness or completeness theorem?
The incompleteness (talking about type 2) just means no matter what you do mathematics will find a way to be incomplete so just think of it as a portal to create new possibilities for mathematics.
That's my own anology atleast the type 2 just means you can't have a system demonstrate it's own consistency so ZFC can't imply con(ZFC) is just an example I'd give.
- 5,267
- 2,174
If this SCP dosen't get deleted it one shots SRE and everything on the wiki at once. 
- 5,267
- 2,174
Oh sorry, i didn't see that.
Here it is:
"School of Philosophy, Fudan University; [2] Department of Mathematics, National University of Singapore
Publication: "Research in Logic"
Year Volume Issue: Volume 10, Issue 4, 2017
Abstract: Abstract: Assuming V = ultimate L, the continuum hypothesis is true, and all independence problems about set theory can be reduced to axioms about greater infinity, and it also provides a set theory with a Coase force-breaking Axiomatic foundations of immunity. In this sense it would be a realization of Gödel's program. Furthermore, if y:ultimate L is true, then there exists a unique set-theoretic model, which in a sense is the real set universe. This fact itself shows that the collective universe is a definite objective reality, which can be regarded as evidence in support of Platonism.
Page number: 87-98 pages
Subject terms: Platonism, Godel's Program, Ultimate L Continuum Hypothesis
Subject Classification: B81
Core collection: no"
- 3,057
- 1,134
bump. So anyone know about measure theory ?
- 3,057
- 1,134
i have spivak calculus, it's extremely hard but i will keep learning it
IdiosyncraticLawyer
Username OnlyVS Battles
Joke Battles
Administrator
Content Moderator
Translation Helper
- 2,887
- 3,358
On the Many, Many Incoherences of the Tiering System
Or, "Why did I make this system? Am I stupid?" This thread has certainly been a long time coming. And though its placement in the general discussion board makes this clear already, it is probably best that I say it explicitly: I don't actually have any interest in bringing any changes to the...
