Unification of Universes in Set Theory
The logic of quantification. Non-standart set theories. Typically ambiguous variables. Standardized theory of types. Equate the null classes. Connections with Zermelo's theory. Functional Logic. A motive for unifying universes. Use general variables.
Подобные документы
Study of the content of Galileo's revolution in science, which introduced into science the analytical method typical of the general modern thinking. Familiarization with the method of determining the laws of motion of objects using time functions.
статья, добавлен 10.04.2023Description of a variational graph-theoretic. Brief review of linear graph principles. Generate the equations of motion with elastic deformations, the flexible bodies are discretized using two types of finite elements. Discretize unidirectional bodies.
статья, добавлен 17.04.2013An analytic univalent convex function. Solution the Gauss equation with negative exponents. Meromorphic starlike and meromorphic convex solutions. Series with negative powers. l-index boundedness. Example of the general solution of Gauss equation.
статья, добавлен 27.06.2016Finding common solutions of linear differential equations of the fourth order, the coefficients of which satisfy the system of three differential equations of the first order. The problem of conformal mapping of polygons, whose sides are arcs of circles.
статья, добавлен 04.02.2017Tiling of the limit space under the action of a (self-similar) subgroup. Self-similar groups and their limit spaces. Subgroup tilings of limit spaces. Tilings of limit spaces of abelian and nilpotent groups. Functional analysis to nilpotent Lie groups.
статья, добавлен 27.06.2016