Statements true in L

Statements true in L

Here is a list of propositions that hold in the constructible universe (denoted L):

* The generalized continuum hypothesis and as a consequence
** The axiom of choice
* Diamondsuit
** Clubsuit
* Global square
* The existence of morasses
* The negation of the Souslin conjecture
* The non-existence of 0# and as a consequence
** The non existence of all large cardinals which imply the existence of a measurable cardinal
* The truth of Whitehead's conjecture that every abelian group "A" with Ext1("A", Z) = 0 is a free abelian group.

Accepting the axiom of constructibility (which asserts that every set is constructible) these propositions also hold in the von Neumann universe, resolving many propositions in set theory and some interesting questions in analysis.


Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • True BASIC — is a variant of the BASIC programming language descended from Dartmouth BASIC ndash; the original BASIC ndash; invented by college professors John G. Kemeny and Thomas E. Kurtz.When True BASIC appeared on the market in 1985, initially based on… …   Wikipedia

  • True Metal — („wahrer Metal“) ist eine Bezeichnung für Bands verschiedener Stilrichtungen des Metal, die sich neben musikalischen Aspekten vor allem durch ihre ideologische Einstellung zum Metal und durch besondere textliche Merkmale auszeichnen. Der Begriff… …   Deutsch Wikipedia

  • true-falsetest — true false test (tro͞oʹfôlsʹ) n. A test in which statements are to be marked either true or false. * * * …   Universalium

  • true-false test — true′ false′ test n. edu a test requiring one to mark statements as either true or false • Etymology: 1920–25 …   From formal English to slang

  • true-false test — ☆ true false test [tro͞o′fôls′ ] n. a test, as one typically given in school, consisting of a series of statements to be identified as either “true” or “false” …   English World dictionary

  • true-false test — (ˈ) ̷ ̷ˈ ̷ ̷ noun : an objective test consisting of a series of statements each of which is to be marked as either true or false * * * /trooh fawls /, Educ. a test requiring one to mark statements as true or false. [1920 25] * * * n. a test… …   Useful english dictionary

  • true-false — adjective offering a series of statements each of which is to be judged as true or false a true false test • Ant: ↑multiple choice * * * true false «TROO FLS», adjective. having to do with or containing statements which must be marked as either… …   Useful english dictionary

  • true — true1 W1S1 [tru:] adj ▬▬▬▬▬▬▬ 1¦(not false)¦ 2¦(real)¦ 3¦(admitting something)¦ 4¦(proper)¦ 5 come true 6¦(loyal)¦ 7 true to form/type 8 true to your word/principles etc 9 true to life 10 (all/only) too true …   Dictionary of contemporary English

  • True Interest Cost - TIC — The real cost of taking out a loan. True interest cost includes all ancillary fees and costs, such as finance charges, possible late fees, discount points and prepaid interest, along with factors related to the time value of money. It can also… …   Investment dictionary

  • true and fair view — A British term for the *fair presentation of financial statements. In the United Kingdom, expressions used prior to the adoption of the phrase true and fair included (i) full and fair and (ii) true and correct …   Auditor's dictionary

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”