1 The Axioms of Quantum Mechanics 1 1.1 The State Space Axiom . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1.2 The Unitary Evolution Axiom . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 1.3 The Measurement Axiom . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 1.4 The Composite System Axiom . . . . . . . . . . . . . . . . . . ...

The paper initially studies both the s-T3-separation and semi-T3-separation axiom of Khalimsky (K-for brevity) topological spaces. To do this work, first we investigate some properties semi-open semi-closed sets with respect to operations union or intersection further, a homeomorphism, semi-homeomorphism. Next, study various semi-topological K-topological spaces such as simple K-paths. Finally,...

The Maschler–Owen consistent value for non-transferable utility games is axiomatized, by means of a marginality axiom. JEL Classification: C7, D7

Let f be a diffeomorphism of a closed C∞ manifold M . In this paper, we introduce the notion of the C1-stable specification property for a closed f -invariant set Λ of M , and we prove that f|Λ satisfies a C 1-stable specification property if and only if Λ is a hyperbolic elementary set. As a corollary, the C1-interior of the set of diffeomorphisms of M satisfying the specification property is ...

We show there is a residual set of non-Anosov C∞ Axiom A diffeomorphisms with the no cycles property whose elements have trivial centralizer. If M is a surface and 2 ≤ r ≤ ∞, then we will show there exists an open and dense set of of Cr Axiom A diffeomorphisms with the no cycles property whose elements have trivial centralizer. Additionally, we examine commuting diffeomorphisms preserving a com...

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....

Jan von Plato proposed in 1998 an intuitionist axiomatization of ordered affine geometry consisting 22 axioms. It is shown that axiom I.7, which equivalent to a conjunction four statements, two are redundant, can be replaced with simpler axiom, Plato’s Theorem 3.10.