搜索结果: 1-3 共查到“数理逻辑与数学基础 Second-Order”相关记录3条 . 查询时间(0.104 秒)
Product update is an operation on models introduced into epistemic logic in order to represent a broad class of informational events. If adding modalities representing product update to a language do...
Second order subexponential distributions with finite mean and their applications to subordinated distributions
Second order subexponential distributions subordinated distributions
2010/11/22
Consider a probability distribution subordinate to a subexponential distribution with finite mean. In this paper, we discuss the second order tail behavior of the subordinated distribution within a r...
The maximal linear extension theorem in second order arithmetic
maximal linear extension theorem second order arithmetic
2010/12/1
We show that the maximal linear extension theorem for well partial orders is equivalent over RCA0 to ATR0. Analogously, the maximal chain theorem for well partial orders is equivalent to ATR0 over RCA...