Zobrazeno 1 - 10
of 146
pro vyhledávání: '"Generic Models"'
Autor:
Vladimir Kanovei, Vassily Lyubetsky
Publikováno v:
Axioms, Vol 11, Iss 8, p 354 (2022)
The problem of the existence of analytically definable well-orderings at a given level of the projective hierarchy is considered. This problem is important as a part of the general problem of the study of the projective hierarchy in the ongoing devel
Externí odkaz:
https://doaj.org/article/abde3808463a43f1a4b911e8e091db2a
Autor:
Dmitry V. DUDKIN
Publikováno v:
Вестник Донского государственного технического университета, Vol 10, Iss 7, Pp 1094-1101 (2018)
The design techniques of integrated information systems development aimed at the life cycle support are reviewed. Cases of the CALS-technologies and systems engineering for building some typical models are considered. These models can be used for typ
Externí odkaz:
https://doaj.org/article/d4cd4e1c30914bac9e7e1af0c926953a
Publikováno v:
Mathematics, Vol 9, Iss 14, p 1670 (2021)
Examples of effectively indiscernible projective sets of real numbers in various models of set theory are presented. We prove that it is true, in Miller and Laver generic extensions of the constructible universe, that there exists a lightface Π21 eq
Externí odkaz:
https://doaj.org/article/ca03603e77204eaea8ffc4902a080e19
Publikováno v:
Global Journal of Engineering and Technology Advances. 12:042-051
In this study, optimization based on artificial neural network (ANN) was established to predict the optimal performance parameters of the system, leading to an optimized propulsion system. Optimization related works on propulsion system investigated
Publikováno v:
Wind Engineering, 2016 Jun 01. 40(3), 212-227.
Externí odkaz:
https://www.jstor.org/stable/90007156
Autor:
Vladimir Kanovei, Vassily Lyubetsky
Publikováno v:
Mathematics, Vol 8, Iss 12, p 2214 (2020)
In this paper we prove that for any m≥1 there exists a generic extension of L, the constructible universe, in which it is true that the set of all constructible reals (here subsets of ω) is equal to the set D1m of all reals definable by a paramete
Externí odkaz:
https://doaj.org/article/48985eabad924552a9a8fbbae7bb9aef
Autor:
Vladimir Kanovei, Vassily Lyubetsky
Publikováno v:
Mathematics, Vol 8, Iss 9, p 1477 (2020)
In this paper, we prove the following. If n≥3, then there is a generic extension of L, the constructible universe, in which it is true that the set P(ω)∩L of all constructible reals (here—subsets of ω) is equal to the set P(ω)∩Δn1 of all
Externí odkaz:
https://doaj.org/article/517eed7e96a341dcb3273059b557b072
Autor:
Vladimir Kanovei, Vassily Lyubetsky
Publikováno v:
Mathematics, Vol 8, Iss 6, p 910 (2020)
Models of set theory are defined, in which nonconstructible reals first appear on a given level of the projective hierarchy. Our main results are as follows. Suppose that n ≥ 2 . Then: 1. If it holds in the constructible universe L that a ⊆ ω an
Externí odkaz:
https://doaj.org/article/0318f32a83044826a9033b1f8fc334b7
The energy demand worldwide is increasing, and such demand should be satisfied with renewable resources to diminish the carbon footprint. There are a few ways to produce clean energy such as wind, solar and marine energy; however, some technologies a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a527bc2a1653eb0aacd41148fa7a5895
https://hdl.handle.net/1842/38876
https://hdl.handle.net/1842/38876
Autor:
Hejný, Milan
Publikováno v:
Orbis scholae. 6(2):41-55
Externí odkaz:
https://www.ceeol.com/search/article-detail?id=61420