Talk:Statements true in L

Axiom of choice
Chinju added (to "The Generalized continuum hypothesis") "and as a consequence The axiom of choice". Although it is true that GCH implies AC, it is much easier to prove AC directly from V=L. JRSpriggs 07:26, 11 December 2006 (UTC)

Merge
This article is a short bullet-pointed list. Can we merge it to the main page on this topic? siddharthist (talk) 21:00, 10 November 2017 (UTC)


 * If we are going to merge it, it would make more sense to merge it to Axiom of constructibility, rather than Constructible universe, since this is essentially a list of some consequences of V=L. JRSpriggs (talk) 06:09, 11 November 2017 (UTC)
 * Agreed; I've amended the templates with the new proposal. Klbrain (talk) 09:53, 3 February 2019 (UTC)
 * I think it makes good sense to merge these articles, but regardless it is clear that the article on the Axiom of Constructibility could use some love from someone knowledgeable. For example, the word "Jensen" does not even appear in the article in its current form... Diamond, Square, and the nonexistence of 0# and Scott's Theorem are key consequences of V=L that should be discussed in the article on it. The existence of Morasses is also important, though quite technical. Shelah's theorem that the Whitehead conjecture is true if V=L is a nice highlight once you recognize what it means in context. So most of the contents of this list seem important to me and we don't want to disappear them. — Preceding unsigned comment added by 136.63.157.7 (talk) 21:34, May 13, 2019 (UTC) ; edited 04:35, May 14, 2019 (UTC); edited 04:41, May 14, 2019 (UTC)
 * We certainly do know enough consequences of V=L to justify a Wikipedia article solely on "Statements true in L," but this article, the article titled "Axiom of Constructibility" and the article titled "Constructible universe" seem like they could all be reworked more smoothly into a single article, if an expert could be persuaded to take the time. — Preceding unsigned comment added by 2605:a601:20fa:fd00:f8f2:f616:8b89:9825 (talk) 21:51, May 13, 2019 (UTC) ; edited 05:03 May 14, 2019 (UTC)