12 found
Order:
Disambiguations
Vassily Lyubetsky [11]Vassily A. Lyubetsky [1]
  1.  22
    A Groszek‐Laver pair of undistinguishable ‐classes.Mohammad Golshani, Vladimir Kanovei & Vassily Lyubetsky - 2017 - Mathematical Logic Quarterly 63 (1-2):19-31.
    A generic extension of the constructible universe by reals is defined, in which the union of ‐classes of x and y is a lightface set, but neither of these two ‐classes is separately ordinal‐definable.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  2.  21
    A definable E 0 class containing no definable elements.Vladimir Kanovei & Vassily Lyubetsky - 2015 - Archive for Mathematical Logic 54 (5-6):711-723.
    A generic extension L[x]\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf{L}[x]}$$\end{document} by a real x is defined, in which the E0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf{E}_0}$$\end{document}-class of x is a lightface Π21\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\it \Pi}^1_2}$$\end{document} set containing no ordinal-definable reals.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  3.  13
    Countable OD sets of reals belong to the ground model.Vladimir Kanovei & Vassily Lyubetsky - 2018 - Archive for Mathematical Logic 57 (3-4):285-298.
    It is true in the Cohen, Solovay-random, dominaning, and Sacks generic extension, that every countable ordinal-definable set of reals belongs to the ground universe. It is true in the Solovay collapse model that every non-empty OD countable set of sets of reals consists of \ elements.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  4.  17
    Minimal axiomatic frameworks for definable hyperreals with transfer.Frederik S. Herzberg, Vladimir Kanovei, Mikhail Katz & Vassily Lyubetsky - 2018 - Journal of Symbolic Logic 83 (1):385-391.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  5.  16
    Counterexamples to countable-section Π 2 1 uniformization and Π 3 1 separation.Vladimir Kanovei & Vassily Lyubetsky - 2016 - Annals of Pure and Applied Logic 167 (3):262-283.
  6.  19
    Definable E 0 classes at arbitrary projective levels.Vladimir Kanovei & Vassily Lyubetsky - 2018 - Annals of Pure and Applied Logic 169 (9):851-871.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  7.  11
    Definable minimal collapse functions at arbitrary projective levels.Vladimir Kanovei & Vassily Lyubetsky - 2019 - Journal of Symbolic Logic 84 (1):266-289.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  8.  17
    The full basis theorem does not imply analytic wellordering.Vladimir Kanovei & Vassily Lyubetsky - 2021 - Annals of Pure and Applied Logic 172 (4):102929.
  9.  8
    A good lightface Δ n 1 well-ordering of the reals does not imply the existence of boldface Δ n − 1 1 well-orderings.Vladimir Kanovei & Vassily Lyubetsky - 2024 - Annals of Pure and Applied Logic 175 (6):103426.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  7
    Canonization of Smooth Equivalence Relations on Infinite-Dimensional E0-Large Products.Vladimir Kanovei & Vassily Lyubetsky - 2020 - Notre Dame Journal of Formal Logic 61 (1):117-128.
    We propose a canonization scheme for smooth equivalence relations on Rω modulo restriction to E0-large infinite products. It shows that, given a pair of Borel smooth equivalence relations E, F on Rω, there is an infinite E0-large perfect product P⊆Rω such that either F⊆E on P, or, for some ℓ<ω, the following is true for all x,y∈P: xEy implies x(ℓ)=y(ℓ), and x↾(ω∖{ℓ})=y↾(ω∖{ℓ}) implies xFy.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11.  26
    On effective σ‐boundedness and σ‐compactness.Vladimir Kanovei & Vassily Lyubetsky - 2013 - Mathematical Logic Quarterly 59 (3):147-166.
  12.  48
    The origin of Metazoa: a transition from temporal to spatial cell differentiation.Kirill V. Mikhailov, Anastasiya V. Konstantinova, Mikhail A. Nikitin, Peter V. Troshin, Leonid Yu Rusin, Vassily A. Lyubetsky, Yuri V. Panchin, Alexander P. Mylnikov, Leonid L. Moroz, Sudhir Kumar & Vladimir V. Aleoshin - 2009 - Bioessays 31 (7):758-768.
    For over a century, Haeckel's Gastraea theory remained a dominant theory to explain the origin of multicellular animals. According to this theory, the animal ancestor was a blastula‐like colony of uniform cells that gradually evolved cell differentiation. Today, however, genes that typically control metazoan development, cell differentiation, cell‐to‐cell adhesion, and cell‐to‐matrix adhesion are found in various unicellular relatives of the Metazoa, which suggests the origin of the genetic programs of cell differentiation and adhesion in the root of the Opisthokonta. Multicellular (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation