Showing 1 - 2 results of 2 for search '"Leo Harrington"', query time: 0.08s Refine Results
  1. 1
    A Model in Which the Separation Principle Holds for a Given Effective Projective Sigma-Class

    A Model in Which the Separation Principle Holds for a Given Effective Projective Sigma-Class by Vladimir Kanovei, Vassily Lyubetsky

    Published 2022-03-01
    “…The result was announced long ago by Leo Harrington with a sketch of the proof for <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mrow><mi>n</mi><mo>=</mo><mn>3</mn></mrow></semantics></math></inline-formula>; its full proof has never been presented. …”
    Get full text
    Article
  2. 2
    On the <inline-formula> <mml:math id="mm11111111" display="block"> <mml:semantics> <mml:mrow> <mml:msubsup> <mml:mo mathvariant="bold">Δ</mml:mo> <mml:mi mathvariant="bold-italic">n</mml:mi> <mml:mn mathvariant="bold">1</mml:mn> </mml:msubsup> </mml:mrow> </mml:semantics> </mml:math> </inline-formula> Problem of Harvey Friedman

    On the <inline-formula> <mml:math id="mm11111111" display="block"> <mml:semantics> <mml:mrow> <mml:msubsup> <mml:mo mathvariant=... by Vladimir Kanovei, Vassily Lyubetsky

    Published 2020-09-01
    “…The result was announced long ago by Leo Harrington, but its proof has never been published. …”
    Get full text
    Article

Search Tools: