A supermanifold, Mm/n, can be caracterired by its smooth superfunctions which constitute an algebra A (Leites, Kostant). We associate canonically ~a Ia Gelfand, certain fibred manifolds on which the automorphisms (the Jordan automorphisms) of A actas diffeomorphisms. For example, the kernelsof all homomorphisms from the algebra of superfunctions onto the Grassmann algebra of dimension n form na...

The Hirsch index is a number that synthesizes a researcher’s output. It is the maximum number h such that the researcher has h papers with at least h citations each. Woeginger [Woeginger, G. J. (2008a). An axiomatic characterization of the Hirsch-index. Mathematical Social Sciences, 56(2), 224–232; Woeginger, G. J. (2008b). A symmetry axiom for scientific impact indices. Journal of Informetrics...

We prove that a random choice rule satisfies Luce's Choice Axiom if and only its support is correspondence the Weak of Revealed Preference, thus it consists alternatives are optimal according to some preference, then occurs tie-breaking mechanism among such Renyi's Conditioning Axiom. Our result shows is, in precise formal sense, probabilistic version It supports view his own axiom as “canon ra...

We present equiconsistency results at the level of subcompact cardinals. Assuming SBHδ, a special case of the Strategic Branches Hypothesis, we prove that if δ is a Woodin cardinal and both 2(δ) and 2δ fail, then δ is subcompact in a class inner model. If in addition 2(δ) fails, we prove that δ is Π21 subcompact in a class inner model. These results are optimal, and lead to equiconsistencies. A...

We present a novel approach to representing uncertain information in ontologies based on design patterns. We provide a brief description of our approach, present its use in case of fuzzy information and probabilistic information, and describe the possibility to model multiple types of uncertainty in a single ontology. We also shortly present an appropriate fuzzy reasoning tool and define a comp...

In this paper, as an application of fuzzy matroids, the fuzzifying greedy algorithm is proposed and an achievableexample is given. Basis axioms and circuit axioms of fuzzifying matroids, which are the semantic extension for thebasis axioms and circuit axioms of crisp matroids respectively, are presented. It is proved that a fuzzifying matroidis equivalent to a mapping which satisfies the basis ...

Basu and Van (1998) present a fundamental framework of child labor with two important axioms: the luxury axiom and the substitution axiom. A number of empirical studies, however, reveal a “wealth paradox”. The current paper has two aims. First, it develops a model that provides an explanation for “the wealth paradox” in light of the luxury axiom and the substitution axiom. Second, it helps unde...

The last years have seen an exponential increase in the interest for the development of methods for combining probability with Description Logics (DLs). These methods are very useful to model real world domains, where incompleteness and uncertainty are common. This combination has become a fundamental component of the Semantic Web. Our work started with the development of a probabilistic semant...

We present a general way that allows to construct systematically analytic calculi for a large family of non-Archimedean many-valued logics: hyperrational-valued, hyperreal-valued, and p-adic valued logics characterized by a special format of semantics with an appropriate rejection of Archimedes’ axiom. These logics are built as different extensions of standard many-valued logics (namely, Lukasi...

In recent publications Alain Connes [1] and John Barrett [2] proposed to change the KO-dimension of the internal space of the standard model in its noncommutative representation [3] from zero to six. This apparently minor modification allowed to resolve the fermion doubling problem [4], and the introduction of Majorana mass terms for the right-handed neutrino. The price which had to be paid was...