(1) ∀u, k∀v ≤ρ tuk∃w A0(u, k, v, w), where A0 is a quantifier–free formula 1 (containing only u, k, v, w as free variables) in the language of a suitable subsystem T ω of arithmetic in all finite types, t is a closed term and ≤ρ is defined pointwise (ρ being an arbitrary finite type). Lets suppose that (1) is provable in T . Then from a given such proof one can extract an effective uniform boun...

We consider the monodic formulas of common knowledge predicate logic, which allow applications of epistemic operators to formulas with at most one free variable. We provide nite axiomatizations of the monodic fragment of the most important common knowledge predicate logics (the full logics are known to be not recursively enumerable) and single out a number of their decidable fragments. On the o...

A formula '(x 1 ; : : :; x n) conforms to a partition P of fx 1 ; : : :; x n g if it is equivalent to a Boolean combination of formulae that do not have free variables from more than one block of P. We show that if ' conforms to two partitions P 1 and P 2 , it also conforms to their greatest lower bound in the partition lattice. As a corollary, we obtain that the concept of orthographic dimensi...

This paper examines critically the contributions of Cournot, Jevons and Walras as the founders of classical mathematical economics from a methodological standpoint. Advances in different economic schools and doctrines in the 19th century produced an environment of multi-dimensionality in economic analysis which was regarded by the pioneers of classical mathematical economists as a chaotic state...

We discuss a mechanism through which inversion symmetry (i.e., invariance of a joint probability density function under the exchange of variables) and Gibrat’s law generate power-law distributions with different tail exponents. Using a dataset of firm size variables, that is, tangible fixed assets K, the number of workers L, and sales Y , we confirm that these variables have power-law tails wit...

Health services and health economics research articles commonly use multivariate regression techniques to measure the relationship of health service utilization and health outcomes (the outcomes of interest) with clinical characteristics, sociodemographic factors, and policy changes (usually treated as explanatory variables). Common regression methods measure differences in outcome variables be...

The issue of the breakdown of the marriage bond in Western societies has become a routine object of social and moral concern, political and public debate. This is striking, given that in most non-western cultures still and in every society heretofore, marriage has been insisted upon as the required precondition for the mating of men and women as the act that initiates and sustains the family or...

This paper reports our ongoing research effort to develop a system which translates legal texts into logical forms in which we can check for inconsistency. Our logical formalization conforms to Davidsonian Style, which is suitable for languages allowing expressions with zero-pronouns such as Japanese. We examine our system with actual data of legal documents. As a result, the system was 78% of ...

Second-order uniication is undecidable in general. Miller showed that uniication of so-called higher-order patterns is decidable and unitary. We show that the uniication of a linear higher-order pattern s with an arbitrary second-order term that shares no variables with s is decidable and nitary. A few extensions of this uniication problem are still decidable: unifying two second-order terms, w...

Abstract. We give a new insight into the upper bounding of the 3-SAT threshold by the first moment method. The best criteria developed so far to select the solutions to be counted discriminate among neighboring solutions on the basis of uniform information about each individual free variable. What we mean by uniform information, is information which does not depend on the solution: e.g. the num...