Zobrazeno 1 - 10
of 287
pro vyhledávání: '"Lyubetsky Vassily A"'
Autor:
Kanovei, Vladimir, Lyubetsky, Vassily
We make use of generalized iterations of Jensen forcing to define a cardinal-preserving generic model of ZF for any $n\ge 1$ and each of the following four Choice hypotheses: (1) $\text{DC}(\mathbf\Pi^1_n)\land\neg\text{AC}_\omega(\varPi^1_{n+1})\,;$
Externí odkaz:
http://arxiv.org/abs/2407.20098
Autor:
Kanovei, Vladimir, Lyubetsky, Vassily
The parameter-free part $\text{PA}_2^\ast$ of $\text{PA}_2$, the 2nd order Peano arithmetic, is considered. We make use of a product/iterated Sacks forcing to define an $\omega$-model of $\text{PA}_2^\ast + \text{CA}(\Sigma^1_2)$, in which an example
Externí odkaz:
http://arxiv.org/abs/2209.07599
Autor:
Kanovei, Vladimir, Lyubetsky, Vassily
Publikováno v:
Axioms 2022, 11, no. 3, article no. 122
In this paper, we prove the following: If $n\ge3$, there is a generic extension of $L$ -- the constructible universe -- in which it is true that the Separation principle holds for both effective (lightface) classes $\varSigma^1_n$ and $\varPi^1_n$ fo
Externí odkaz:
http://arxiv.org/abs/2204.03915
Autor:
Kanovei, Vladimir, Lyubetsky, Vassily
A set is nontypical in the Russell sense, if it belongs to a countable ordinal definable set. The class HNT of all hereditarily nontypical sets satisfies all axioms of ZF and the double inclusion HOD $\subseteq$ HNT $\subseteq$ V holds. Solving a pro
Externí odkaz:
http://arxiv.org/abs/2111.13491
Autor:
Kanovei, Vladimir, Lyubetsky, Vassily
By Tzouvaras, a set is nontypical in the Russell sense, if it belongs to a countable ordinal definable set. The class HNT of all hereditarily nontypical sets satisfies all axioms of ZF and the double inclusion HOD$\subseteq$HNT$\subseteq$V holds. Sev
Externí odkaz:
http://arxiv.org/abs/2111.07654
Autor:
Kanovei, Vladimir, Lyubetsky, Vassily
Publikováno v:
In Annals of Pure and Applied Logic June 2024 175(6)
Publikováno v:
Biology Direct, Vol 7, Iss 1, p 48 (2012)
Abstract Background A long recognized problem is the inference of the supertree S that amalgamates a given set {Gj} of trees Gj, with leaves in each Gj being assigned homologous elements. We ground on an approach to find the tree S by minimizing the
Externí odkaz:
https://doaj.org/article/e7f0788e28564426a1b57811d975fbea
Publikováno v:
Biology Direct, Vol 7, Iss 1, p 26 (2012)
Abstract Background In previous work, we introduced a concept, a mathematical model and its computer realization that describe the interaction between bacterial and phage type RNA polymerases, protein factors, DNA and RNA secondary structures during
Externí odkaz:
https://doaj.org/article/813735c648dc4ff289bf760ee97e6d7c
Publikováno v:
Biology Direct, Vol 6, Iss 1, p 3 (2011)
Abstract Background Modeling of a complex biological process can explain the results of experimental studies and help predict its characteristics. Among such processes is transcription in the presence of competing RNA polymerases. This process involv
Externí odkaz:
https://doaj.org/article/4a587254dfd04005824fe7128e59e102
Publikováno v:
Biology Direct, Vol 5, Iss 1, p 34 (2010)
Abstract We demonstrate the scarcity of conserved bacterial-type promoters in plastids of Streptophyta and report widely conserved promoters only for genes psaA, psbA, psbB, psbE, rbcL. Among the reasonable explanations are: evolutionary changes of s
Externí odkaz:
https://doaj.org/article/db6c6d5d6f7b49a9a3574958063a5ec5