Search results

Results 1 – 20 of 8,917
Advanced search

Search in namespaces:

There is a page named "Constructible universe" on Wikipedia

View (previous 20 | ) (20 | 50 | 100 | 250 | 500)
  • In mathematics, in set theory, the constructible universe (or Gödel's constructible universe), denoted by L {\displaystyle L} , is a particular class...
    32 KB (6,094 words) - 22:53, 24 November 2024
  • In mathematics, constructible set may refer to either: a notion in Gödel's constructible universe. a union of locally closed set in a topological space...
    219 bytes (60 words) - 03:38, 28 December 2019
  • The axiom of constructibility is a possible axiom for set theory in mathematics that asserts that every set is constructible. The axiom is usually written...
    8 KB (1,064 words) - 09:22, 26 November 2024
  • Thumbnail for Universe (mathematics)
    says that every set belongs to V. Kurt Gödel's constructible universe L and the axiom of constructibility Inaccessible cardinals yield models of ZF and...
    18 KB (2,649 words) - 04:29, 23 August 2024
  • Zero sharp (category Constructible universe)
    {\displaystyle x} . See Constructible universe#Relative constructibility. 0†, a set similar to 0# where the constructible universe is replaced by a larger...
    11 KB (1,673 words) - 20:39, 2 November 2024
  • some algebra B over A Constructible universe, Kurt Gödel's model L of set theory, constructed by transfinite recursion Constructible function, a function...
    1 KB (225 words) - 20:35, 11 April 2019
  • a large class of formulas between a model of set theory and its constructible universe, with important methodological consequences. The absoluteness of...
    8 KB (1,260 words) - 13:02, 3 October 2024
  • Thumbnail for Fictional universe
    A fictional universe, also known as an imagined universe or a constructed universe, is the internally consistent fictional setting used in a narrative...
    6 KB (719 words) - 02:21, 17 October 2024
  • necessarily describe objects with real existence. Universe (mathematics) Constructible universe Grothendieck universe Inaccessible cardinal S (set theory) Mirimanoff...
    21 KB (2,809 words) - 09:08, 28 May 2024
  • Thumbnail for Axiom of power set
    "constructible sets" if the universe is the constructible universe but in other models of ZF set theory could contain sets that are not constructible....
    4 KB (633 words) - 21:31, 22 March 2024
  • showed in unpublished work that there are Kurepa trees in Gödel's constructible universe (Jech 1971). More precisely, the existence of Kurepa trees follows...
    4 KB (486 words) - 06:22, 4 March 2024
  • Thumbnail for Kurt Gödel
    he introduced the constructible universe, a model of set theory in which the only sets that exist are those that can be constructed from simpler sets...
    49 KB (5,484 words) - 15:16, 21 November 2024
  • particular inner models, such as in the constructible universe. However, some statements that are true about constructible sets are not consistent with hypothesized...
    46 KB (6,250 words) - 18:44, 20 November 2024
  • Thumbnail for Definable real number
    rational number, is constructible. The positive square root of 2 is constructible. However, the cube root of 2 is not constructible; this is related to...
    11 KB (1,502 words) - 02:55, 9 April 2024
  • Thumbnail for Set theory
    and satisfies all the axioms of ZF. The canonical example is the constructible universe L developed by Gödel. One reason that the study of inner models...
    42 KB (5,088 words) - 17:30, 4 December 2024
  • Lα of the constructible hierarchy is isomorphic to an element Lγ of the constructible hierarchy constructible A set is called constructible if it is in...
    90 KB (11,519 words) - 22:05, 2 December 2024
  • cardinal. The first such result was proved by Ronald Jensen for the constructible universe assuming 0# does not exist, which is now known as Jensen's covering...
    5 KB (716 words) - 00:51, 16 September 2020
  • Diamond principle (category Constructible universe)
    introduced by Ronald Jensen in Jensen (1972) that holds in the constructible universe (L) and that implies the continuum hypothesis. Jensen extracted...
    7 KB (692 words) - 12:12, 13 February 2024
  • the usual well-ordering and recursion-theoretic properties of the constructible universe; KP is so weak that this is hard to do by traditional means. The...
    5 KB (664 words) - 21:23, 21 April 2024
  • the von Neumann universe V {\displaystyle V} and Gödel's constructible universe L {\displaystyle L} are transitive sets. The universes V {\displaystyle...
    12 KB (1,222 words) - 14:29, 14 October 2024
View (previous 20 | ) (20 | 50 | 100 | 250 | 500)