Resultados de la búsqueda

Para más opciones de búsqueda, vea Ayuda:Búsqueda.

No hay resultados que cumplan los criterios de búsqueda en este sitio.

Resultados de la Wikipedia en inglés.

  • Pointclass (redirección desde Lightface pointclass)
    of these sets). This relationship between lightface sets and their indices is used to extend the lightface Borel hierarchy into the transfinite, via recursive…
    7 kB (1075 palabras) - 14:59 2 abr 2024
  • countable intersection of open sets. These sets are called Gδ sets. The lightface Borel hierarchy (also called the effective Borel hierarchypp.163--164)…
    10 kB (1732 palabras) - 20:33 27 nov 2023
  • _{n}^{0}} for natural numbers n (including 0). The Greek letters here are lightface symbols, which indicates that the formulas do not contain set parameters…
    25 kB (4582 palabras) - 20:13 1 abr 2024
  • In descriptive set theory, a lightface analytic game is a game whose payoff set A is a Σ 1 1 {\displaystyle \Sigma _{1}^{1}} subset of Baire space; that…
    832 bytes (87 palabras) - 02:06 14 oct 2023
  • Lightface Boldface Σ0 0 = Π0 0 = Δ0 0 (sometimes the same as Δ0 1) Σ0 0 = Π0 0 = Δ0 0 (if defined) Δ0 1 = recursive Δ0 1 = clopen Σ0 1 = recursively enumerable…
    12 kB (1778 palabras) - 13:47 9 may 2024
  • classifies sets by the formulas that can be used to define them; it is the lightface version of the projective hierarchy. The notation Σ 0 1 = Π 0 1 = Δ 0…
    10 kB (1675 palabras) - 19:48 1 abr 2024
  • ∩ L {\displaystyle {\mathcal {P}}(\omega )\cap L} consists of all the lightface Δ n 1 {\displaystyle \Delta _{n}^{1}} subsets of ω {\displaystyle \omega…
    10 kB (1595 palabras) - 08:10 9 sep 2023
  • is between set theory and recursion theory. It includes the study of lightface pointclasses, and is closely related to hyperarithmetical theory. In many…
    41 kB (5015 palabras) - 18:36 22 abr 2024
  • were originally cast by Barnhart Brothers & Spindler: Adcraft Adcraft lightface, 8-48pt, or Puritan, Hansen (8-48pt) ATF 1501 Adcraft Medium, 6-72pt,…
    25 kB (3431 palabras) - 06:48 26 ene 2024
  • computability theory. Another family of basis theorems concern nonempty lightface analytic sets (that is, Σ 1 1 {\displaystyle \Sigma _{1}^{1}} in the analytical…
    4 kB (654 palabras) - 21:56 12 sep 2022
  • 0# is equivalent to the determinacy of lightface analytic games. In fact, the strategy for a universal lightface analytic game has the same Turing degree…
    10 kB (1457 palabras) - 01:04 24 mar 2024
  • the branch of descriptive set theory dealing with sets of reals having lightface definitions; that is, definitions that do not require an arbitrary real…
    3 kB (422 palabras) - 06:11 4 mar 2024
  • Lightface Boldface Σ0 0 = Π0 0 = Δ0 0 (sometimes the same as Δ0 1) Σ0 0 = Π0 0 = Δ0 0 (if defined) Δ0 1 = recursive Δ0 1 = clopen Σ0 1 = recursively enumerable…
    14 kB (2297 palabras) - 15:00 2 abr 2024
  • common usage in transport timetables for air, rail, bus, etc. is to use lightface for a.m. times and boldface for p.m. times. It is also not uncommon for…
    16 kB (2059 palabras) - 22:11 18 feb 2024
  • relativized analytical hierarchy on subsets of Baire space (denoted by lightface letters Σ {\displaystyle \Sigma } and Π {\displaystyle \Pi } ) and the…
    3 kB (488 palabras) - 21:27 10 mar 2024
  • Cloister Bold Title Cloister Bold Condensed Cloister Lightface (a lighter style) Cloister Lightface Italic Cloister Cursive Handtooled A digitisation has…
    9 kB (762 palabras) - 14:03 23 feb 2020
  • He is especially associated with the development of the effective, or lightface, version of descriptive set theory, and he is known for the Moschovakis…
    5 kB (311 palabras) - 21:00 8 may 2024
  • representing the actual English translation of the original Hebrew and Greek and lightface showing English words added for idiomatic clarity or to reflect grammatical…
    22 kB (2697 palabras) - 09:47 13 mar 2024
  • set Analytical hierarchy Borel equivalence relation Infinity-Borel set Lightface analytic game Perfect set property Polish space Prewellordering Projective…
    9 kB (448 palabras) - 16:05 3 ago 2022
  • set Analytical hierarchy Borel equivalence relation Infinity-Borel set Lightface analytic game Perfect set property Polish space Prewellordering Projective…
    14 kB (1012 palabras) - 19:53 12 nov 2023
  • Cloister Bold Condensed (1917) Cloister Cursive (1922) Cloister Lightface (1924) Cloister Lightface Italic (1925) Cloister Cursive Handtooled (1926), with Charles…
    16 kB (1678 palabras) - 19:21 20 ene 2023