Vladimir Kanovei

Vladimir G. Kanovei (born 1951) is a Russian mathematician working at the Institute for Information Transmission Problems in Moscow, Russia. His interests include mathematical logic and foundations, as well as mathematical history. Provided by Wikipedia
Showing 1 - 13 results of 13 for search 'Vladimir Kanovei', query time: 0.04s Refine Results
  1. 1
    Models of Set Theory in which Nonconstructible Reals First Appear at a Given Projective Level

    Models of Set Theory in which Nonconstructible Reals First Appear at a Given Projective Level by Vladimir Kanovei, Vassily Lyubetsky

    Published 2020-06-01
    Get full text
    Article
  2. 2
    A Model in Which Well-Orderings of the Reals First Appear at a Given Projective Level, Part II

    A Model in Which Well-Orderings of the Reals First Appear at a Given Projective Level, Part II by Vladimir Kanovei, Vassily Lyubetsky

    Published 2023-05-01
    Get full text
    Article
  3. 3
    On the ‘Definability of Definable’ Problem of Alfred Tarski

    On the ‘Definability of Definable’ Problem of Alfred Tarski by Vladimir Kanovei, Vassily Lyubetsky

    Published 2020-12-01
    Get full text
    Article
  4. 4
    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
    Get full text
    Article
  5. 5
    Jensen <inline-formula><math display="inline"><semantics><mrow><msubsup><mo>Δ</mo><mi>n</mi><mn>1</mn></msubsup></mrow></semantics></math></inline-formula> Reals by Means of ZFC and Second-Order Peano Arithmetic

    Jensen <inline-formula><math display="inline"><semantics><mrow><msubsup><mo>Δ</mo><mi>n</mi><mn>1</mn></msubsup></mrow></semantics></math></inline-formula> Reals by Means of ZFC an... by Vladimir Kanovei, Vassily Lyubetsky

    Published 2024-01-01
    Get full text
    Article
  6. 6
    On the Significance of Parameters in the Choice and Collection Schemata in the 2nd Order Peano Arithmetic

    On the Significance of Parameters in the Choice and Collection Schemata in the 2nd Order Peano Arithmetic by Vladimir Kanovei, Vassily Lyubetsky

    Published 2023-02-01
    Get full text
    Article
  7. 7
    A Model in Which Well-Orderings of the Reals First Appear at a Given Projective Level, Part III—The Case of Second-Order PA

    A Model in Which Well-Orderings of the Reals First Appear at a Given Projective Level, Part III—The Case of Second-Order PA by Vladimir Kanovei, Vassily Lyubetsky

    Published 2023-07-01
    Get full text
    Article
  8. 8
    On the Uniform Projection Problem in Descriptive Set Theory

    On the Uniform Projection Problem in Descriptive Set Theory by Vladimir Kanovei, Vassily Lyubetsky

    Published 2024-12-01
    Get full text
    Article
  9. 9
    A Model in Which Well-Orderings of the Reals Appear at a Given Projective Level

    A Model in Which Well-Orderings of the Reals Appear at a Given Projective Level by Vladimir Kanovei, Vassily Lyubetsky

    Published 2022-07-01
    Get full text
    Article
  10. 10
    On the Uniform Projection and Covering Problems in Descriptive Set Theory Under the Axiom of Constructibility

    On the Uniform Projection and Covering Problems in Descriptive Set Theory Under the Axiom of Constructibility by Vladimir Kanovei, Vassily Lyubetsky

    Published 2025-01-01
    Get full text
    Article
  11. 11
    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
    Get full text
    Article
  12. 12
    A Generic Model in Which the Russell-Nontypical Sets Satisfy ZFC Strictly between HOD and the Universe

    A Generic Model in Which the Russell-Nontypical Sets Satisfy ZFC Strictly between HOD and the Universe by Vladimir Kanovei, Vassily Lyubetsky

    Published 2022-02-01
    Get full text
    Article
  13. 13
    On Effectively Indiscernible Projective Sets and the Leibniz-Mycielski Axiom

    On Effectively Indiscernible Projective Sets and the Leibniz-Mycielski Axiom by Ali Enayat, Vladimir Kanovei, Vassily Lyubetsky

    Published 2021-07-01
    Get full text
    Article

Search Tools: