A Hierarchy of Axiom Systems for Set Theory

在文献[1,2]中,我们研究了范畴论基础,建立了集合的公理系统ACG,它能够处理超出了集合与类的极其大的汇合。本文进一步推广了系统ACG,建立了集合论公理系统的三个无穷序列:H0,H1,…;J0,J1,…,G0,G1,…。在建立这些公理系统的过程中,我们使用了类型论的方法,它们描述的能力是逐步增长的,

An Axiom System of Probabilistic Mu-Calculus

Mu-calculus(a.k.a.μTL)is built up from modal/dynamic logic via adding the least fixpoint operatorμ.This type of logic has attracted increasing attention since Kozen’s seminal work.PμTL is a succinct probabilistic extension of the standardμTL obtained by making the modal operators probabilistic.Properties of this logic,such as expressiveness and satisfiability decision,have been studied elsewhere.We consider another important problem:the axiomatization of that logic.By extending the approaches of Kozen and Walukiewicz,we present an axiom system for PμTL.In addition,we show that the axiom system is complete for aconjunctive formulas.

THE BOOLEAN-VALUED MODEL OF THE AXIOM SYSTEM OF GB

Scott formulated his version of Boolean-valued models in 1967, He proved that the V（B） is a Boolean-valued model of ZFC, i. e. every axiom of ZFC has Boolean value 1, and assumed the GCH. Then, if B satisfies ccc and |B|=2No, V（B） GCH （see [1]）. In this note we construct the model △（B） on the basis of V（B）. Our main results are:（1）△（B）) is a Booleanvalued model of GB. （2） Assume the GCH. Then, if B satisfies ccc and |B|=2No, △（B） GCH. （3） The maximum and minimum principle is true in △（B）. （4） △（B）（B≠{0, 1}） is a Boolean-valued model of QM.

A HIERARCHY OF AXIOM SYSTEM ACG

The study on the foundation of category was started in 1986, and the axiom system AGC has been developed for congolomerates. The consistency of the system ZF# and QM in the system ACG has been proved. A hierarchy of the systems: B0, B1,…,B. (n ∈ω),… is developed such that the consistency of any system within the sequence is provable in its succeeding systems, and the union of all systems in the sequence is just ACG, The consistency of the system ZF# and QM can be proved only in B0 although there exists a sequence of (?)0 axiom systems provided with increasing strength between system B and ACG.

3D Fractals, Axiom of Algebra (Δn)n = +1

After having laid down the Axiom of Algebra, bringing the creation of the square root of -1 by Euler to the entire circle and thus authorizing a simple notation of the nth roots of unity, the author uses it to organize homogeneous divisions of the limited development of the exponential function, that is opening the way to the use of a whole bunch of new primary functions in Differential Calculus. He then shows how new supercomplex products in dimension 3 make it possible to calculate fractals whose connexity depends on the product considered. We recall the geometry of convex polygons and regular polygons.

The Evaluation of Risk-Based Resource Allocation Alternatives Based on Fuzzy Information Axiom

This paper presents an analysis of the challenges in risk-based resource allocation in engineering projects.Sub-sequently,an alternative resource allocation evaluation method based on language information and information axioms is proposed.Firstly,the evaluation team uses language information to give the evaluation information of the alternatives of risk resource allocation and provides the corresponding expected information for each resource.Secondly,according to the transformation formula of language information and fuzzy numbers,the above information is transformed into the evaluation information and expected information of the alternatives of risk-based resource allocation.Thirdly,according to the transformation formula of language information and fuzzy numbers,the above information is transformed into evalu-ation information and expectation information of alternative risk resource allocation.Finally,according to the information amount of each risk resource and the corresponding weight,the comprehensive information amount of the expected risk-based resource allocation alternatives is determined.

INFORMATION AXIOM BASED EVALUATION APPROACH TO FACILITY LAYOUT PROBLEM

The facility layout problem belongs to typical multiple-attribute decision-making（MADM） problems. To make the information axiom fit to MADM problems, the original computation method for the information content is improved by increasing the satisfaction degree item. Attribute values are divided into precise type, uncertainty type and fuzzy type. For benefit, cost, fixation, and interval type attributes, the computation methods for the information content on the three types of attribute values are presented. The improved information content can reflect the system success probability and the decision-maker satisfaction degree simultaneously and evaluate the MADM problem including multiple type attribute values. Finally, as a case study, the facility layout alternatives of a welding assembly workshop are evaluated. The result verifies the validity and the feasibility of the improved information axiom on the MADM problems.

西门子AXIOM Artis数字减影X线机在肾外伤DSA中摄影参数的探讨

目的:探讨西门子AXIOMArtis数字减影X线机摄影参数(采集参数、血管造影技术参数)在肾外伤DSA中的选择。方法:选择5例肾外伤患者在常规消毒、铺巾、穿刺、插管下,分别行腹主动脉DSA检查和超选择性肾动脉DSA检查。结果:选择适当的数字减影X线机摄影参数行DSA造影检查,准确显示了肾外伤部位、程度、出血灶及其相邻血管的关系。结论:数字减影X线机摄影参数在肾外伤DSA中的正确选择,对肾外伤性肾内动脉的影像显示、肾外伤的诊疗及患者的安全性,具有重要意义。

Generalized covariant differentiation and axiom-based tensor analysis

This paper reports the new progresses in the axiomatization of tensor anal- ysis, including the thought of axiomatization, the concept of generalized components, the axiom of covariant form invariability, the axiomatized definition, the algebraic structure, the transformation group, and the simple calculation of generalized covariant differentia- tions. These progresses strengthen the tendency of the axiomatization of tensor analysis.

On an Axiomatic Foundation for a Theory of Everything

Whether a unified theory of everything(TOE)is possible or not is a philosophical question and yes or no can be chosen in a two-valued logic system.Currently the two schools are in conflict with each other.Based on the relativity of simultaneity axiom proposed in this paper,the present author suggests to use a midway philosophy to replace the present materialist philosophy for modern sciences;then this conflict together with many other conflicts among different theories such as classical mechanics(CM),general relativity(GR),and quantum mechanics(QM)can be solved and a unified theory of everything for the world we can observe can be constructed.In this paper,the axiomatic foundation for a TOE is proposed which contains six fundamental axioms.Various problems related to these foundational issues are discussed.It is hoped that the present paper might show a new promise and a new direction for TOE which would be helpful for the further development of modern sciences.

A minimal axiom group for rough set based on quasi-ordering

Rough set axiomatization is one aspect of rough set study to characterize rough set theory using dependable and minimal axiom groups. Thus, rough set theory can be studied by logic and axiom system methods. The classic rough set theory is based on equivalent relation, but rough set theory based on reflexive and transitive relation (called quasi-ordering) has wide applications in the real world. To characterize topological rough set theory, an axiom group named RT, consisting of 4 axioms, is proposed. It is proved that the axiom group reliability in characterizing rough set theory based on similar relation is reasonable. Simultaneously, the minimization of the axiom group, which requires that each axiom is an equation and each is independent, is proved. The axiom group is helpful for researching rough set theory by logic and axiom system methods.

An Equivalent Form of the Dedekind Axiomand Its Application(Ⅱ)——Also on the unity of the Continuous Induction,the Mathem atical Induction and the Transfinite Induction

In this paper,a common characteristic of real number system and well ordered set is revealed and proved to be an equivalent form of the Dedekind Axiom or the Continuous Induction in R. Basing on it,we get the unified form of the mathematical induction,the transfinite induction and the continuous induction and generalize induction to totally ordered set that has the same characteristic.

An Equivalent Form of the Dedekind Axiomand Its Application(Ⅰ)——Also on theunity ofthe ContinuousInduction,theMathem aticalInduction and theTransfiniteInduction

In this paper,a common characteristic of real number system and well ordered set is revealed and proved to be an equivalent form of the Dedekind Axiom or the Continuous Induction in R. Basing on it,we get the unified form of the mathematical induction,the transfinite induction and the continuous induction and generalize induction to totally ordered set that has the same characteristic.

A MULTIDIMENSIONAL CENTRAL LIMIT THEOREM WITH SPEED OF CONVERGENCE FOR AXIOM A DIFFEOMORPHISMS

Let T：X → X be an Axiom A diffeomorphism,m the Gibbs state for a Hlder continuous function ɡ. Assume that f：X → R^d is a Hlder continuous function with ∫_X^（fdm） = 0.If the components of f are cohomologously independent, then there exists a positive definite symmetric matrix σ~2：=σ~2 （f ） such that S^fn √ n converges in distribution with respect to m to a Gaussian random variable with expectation 0 and covariance matrix σ~2 . Moreover, there exists a real number A 〉 0 such that, for any integer n ≥ 1,Π（ m＊（ 1√ nS f n ）,N （0,σ~2 ） ≤A√n, where m＊（1√ n S^fn）denotes the distribution of 1√ n S^fn with respect to m, and Π is the Prokhorov metric.

A New Minimal Rough Set Axiom Group

Rough set axiomatization is one aspect of rough set study, and the purpose is to characterize rough set theory using independable and minimal axiom groups. Thus, rough set theory can be studied by logic and axiom system methods. To characterize rough set theory, an axiom group named H consisting of 4 axioms, is proposed. That validity of the axiom group in characterizing rough set theory is reasonable, is proved. Simultaneously, the minimization of the axiom group, which requires that each axiom is an inequality and each is independent, is proved. The axiom group is helpful for researching rough set theory by logic and axiom system methods. Key words rough set - lower approximation - axioms - minimization CLC number TP 18 Foundation item: Supported by the 973 National Basic Research Program of China (2002CB312106) and Science & Technology Program of Zhejiang Province (2004C31G101003)Biography: DAI Jian-hua (1977-), male, Ph. D, research direction: data mining, artificial intelligence, rough sets, evolutionary computation.

Stability of Hausdorff dimension of Axiom A attractors under random perturbations

This paper proves that the Hausdorff dimension of an Axiom A attractor is stable under random perturbations.

Separation axioms in topological ordered spaces

The Ti-axiom,the Ti-ordered axiom and Ti-pairwise axiom(i = 0,1,2,3,4) of topological ordered space are discussed and proved that they are equivalence under the certain conditions.

On Axiom A + no-cycles

In this paper, we give another description of Axiom A plus no cycles condition.

The Constructivist Real Number System

The paper summarizes the contributions of the three philosophies of mathematics—logicism, intuitionism-constructivism (constructivism for short) and formalism and their rectification—which constitute the new foundations of mathematics. The critique of the traditional foundations of mathematics reveals a number of errors including inconsistency (contradiction or paradox) and undefined and vacuous concepts which fall under ambiguity. Critique of the real and complex number systems reveals similar defects all of which are responsible not only for the unsolved long standing problems of foundations but also of traditional mathematics such as the 379-year-old Fermat’s last theorem (FLT) and 274-year-old Goldbach’s conjecture. These two problems require rectification of these defects before they can be resolved. One of the major defects is the inconsistency of the field axioms of the real number system with the construction of a counterexample to the trichotomy axiom that proved it and the real number system false and at the same time not linearly ordered. Indeed, the rectification yields the new foundations of mathematics, constructivist real number system and complex vector plane the last mathematical space being the rectification of the complex real number system. FLT is resolved by a counterexample that proves it false and the Goldbach’s conjecture has been proved both in the constructivist real number system and the new real number system. The latter gives to two mathematical structures or tools—generalized integral and generalized physical fractal. The rectification of foundations yields the resolution of problem 1 and the solution of problem 6 of Hilbert’s 23 problems.

Axiom Cosmology: A New Direction

In this work we have to deal with the axiomatization of cosmology, but it is only recently that we have hit upon a new mathematical approach to capitalize on our new set identities for the basic laws of cosmology. So our proposal of settlement is that we will propose some new laws (e.g., formation of the black hole). We introduce the concept of axiom cosmology. This principle describes the cosmology which can get freedom from the notion of the induction. We present a large-scale structure model of the universe, and this leads to successfully explanation of problem of closed universe or open universe (because from the outset it is theorem and its succinct proof). In this paper we prove that the non-singular point theorem means that a singularity cannot be mathematically defined nor physical. It allows us to overcome the mysterious, physical singularity conundrum and explain meaningful antimatter annihilations for general configurations.