Statements True in L

Herausgegeben:Surhone, Lambert M.; Tennoe, Mariam T.; Henssonow, Susan F.

• Broschiertes Buch

Produktbeschreibung

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. 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.In mathematics, the constructible universe (or Gödel''s constructible universe), denoted L, is a particular class of sets which can be described entirely in terms of simpler sets. It was introduced by Kurt Gödel in his 1938 paper "The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis". In this, he proved that the constructible universe is an inner model of ZF set theory, and also that the axiom of choice and the generalized continuum hypothesis are true in the constructible universe. This shows that both propositions are consistent with the basic axioms of set theory, if ZF itself is consistent. Since many other theorems only hold in systems in which one or both of the propositions is true, their consistency is an important result.

Produktdetails

• Verlag: Betascript Publishing
• Seitenzahl: 84
• Englisch
• Abmessung: 220mm
• ISBN-13: 9786131246050
• ISBN-10: 613124605X
• Artikelnr.: 30035217