set theory/ separationpositive formulasdescriptive set theoryinfinitary sentential logictopological spacesLyndon interpolationinfinitary predicate calculusrecursively presented Polish spaces/ C4210 Formal logic C1160 Combinatorial mathematicsThesis (Ph. D. in Mathematics)--University of California, Berkeley, June ...
Alongside with this classical problem, it is possible and natural to consider the following one: to recover the holomorphic function in D from its values on some set MeaD not containing S. Of course, M is to be a set of uniqueness for the class of holomorphic functions under consideration ...
34 Sign changes of the error term in the Piltz divisor problem__Speaker_ Cruz Casti 43:45 Generalized valuations and idempotization of schemes 57:55 Exceptional Chebyshev's bias over finite fields 56:34 Kummer Theory for Number Fields 45:06 A walk on Legendre paths 1:05:13 Zeros of ...
A new fuzzy set theory, C -fuzzy set theory, is introduced in this paper. It is a particular case of the classical set theory and satisfies all formulas of the classical set theory. To add a limitation to C -fuzzy set system, in which all fuzzy sets must be "non-uniform inclusive" ...
, The crisis arisen in the naive set theory in the beginning of the 20th century brought to the origin of such strict axiomatic theories as the (ZF) and the (NBG). However, in the same time as the naive set theory admitted considering sets of arbitrary objects, such a natural notion as...
Summary: A task is a distributed coordination problem in which each process starts with a private input value taken from a finite set, communicates with th... M Herlihy - ACM 被引量: 140发表: 1996年 Decidability of the universal theory of natural numbers with addition and divisibility The ...
Common knowledge can be defined in at least two ways: syntactically as the common knowledge of a set of formulas or semantically, as the meet of the knowledge partitions of the agents. In the multi-agent S5 logic with either finitely or countably many agents and primitive propositions, the ...
例句 释义: 全部 1. Finally, an explanationintheoryisprovidedwithsomeformulasforthevalidityofthesubsectionlinearizationmethod. 本文还在理论上给出了关于分段线性化有效性的数学证明。 www.boshuo.net 2. This paper reviewssomeformulasforeventsequencesimilaritycalculation,andproposesanimprovededitdistance. ...
Arithmetic Progression (AP) is a sequence of numbers in order that the common difference of any two successive numbers is a constant value. Learn with arithmetic sequence formulas and solved examples.
Th. Ransford, Potential Theory in the Complex Plane (Cambridge Univ. Press, Cambridge, 1995). Book Google Scholar L. A. Santaló, Integral Geometry and Geometric Probability (Addison-Wesley, Reading, MA, 2004). Book Google Scholar Download references Funding The research was carried out wi...