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

The project of dialetheic set theories is based on a simple motivation: we want to see how much mathematics we can do by keeping the following claim of Graham Priest in his celebrated ‘In Contradiction’: I wish to claim that (Abst) and (Ext) are true, and in fact that they analytically characterise the notion of set. ([4, p.30]) Here, (Abst) and (Ext) are ∃y∀x(x∈y↔β) and ∀x(x∈z↔x∈y)→z=y respect...

‎Let ${X_{alpha}:alphainLambda}$ be a collection of topological spaces‎, ‎and $mathcal {G}_{alpha}$ be a grill on $X_{alpha}$ for each $alphainLambda$‎. ‎We consider Tychonoffrq{}s type Theorem for $X=prod_{alphainLambda}X_{alpha}$ via the above grills and a natural grill on $X$ ‎related to these grills, and present a simple proof to this theorem‎. ‎This immediately yields the classical theorem...

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

Based on the standard axioms of quantum theory, we provide a counterexample which invalidates the full compatibility between consciousness and quantum theory. In particular, we present an example of a natural phenomenon in which an observer’s the mental state can be fully described in mathematical terms analogous to the state vector that is being observed. This mathematical description of the o...

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

It is possible, but difficult, to reason in Hoare logic about programs which address and modify data structures defined by pointers. The challenge is to approach the simplicity of Hoare logic’s treatment of variable assignment, where substitution affects only relevant assertion formulæ. The axiom of assignment to object components treats each component name as a pointerindexed array. This permi...

We logically model uncertainty by expanding language without changing logical reasoning rules. We expand the language of set theory by adding new predicate symbols, uncertain membership relations ∈+ and ∈−. We define the set theory ZF± as an extension of ZF with new symbols in classical logic. In this system we can represent uncertainty which is naturally represented in the model of 3-valued lo...

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.