The number of variables used by a first-order query is a fundamental measure which has been studied in numerous contexts, and which is known to be highly relevant to the task of query evaluation. In this article, we study this measure in the context of existential positive queries. Building on previous work, we present a combinatorial quantity defined on existential positive queries; we show th...

Existential theory is derived from the existential philosophy movement of the nineteenth century. There were several individuals instrumental in the development of existential therapy including Bugental, Frankl, May, and Yalom. It is not a concise theory but is a loose collection of theories centering on the meaning or purpose of life. However it is applicable to counseling because of its focus...

We compare G7 life expectancies with the existential conditions from 1870 to date, using the real annual outputs of goods and services per capita as a measure of existential conditions. Wars destroy analytic relations, but life insurers eliminate catastrophic losses, and the outputs have an envelope representing the undisturbed existential condition. Both evolutions are S-functions with the sam...

In this article we offer an existential theory of well-being that is guided by Heidegger's later writings on "homecoming". We approach the question of what it is about the essence of well-being that makes all kinds of well-being possible. Consistent with a phenomenological approach, well-being is both a way of being-in-the-world, as well as a felt sense of what this is like as an experience. Dr...

abstract:one of the target groups is women in poverty eradication programs, especially divorced women and widows in order to the social, economic and cultural community that are more involved with the issue of poverty. such a study aims to measure the effective factors on poverty alleviation and empowerment of divorced women and widows in selseleh city (as one of disadvantaged city).to do so, d...

The purpose of this paper is to draw attention to existential fixed-point logic. Among other things, we show that: (1) If a structure A satisfies an existential fixed-point formula φ, then A has a finite subset F such that every structure B with A |F = B |F satisfies φ. (2) Using existential fixed-point logic instead of first-order logic removes the expressivity hypothesis in Cook's completenes...

This paper investigates an interesting type of existential construction in Tagalog and proposes an analysis of it in terms of Role and Reference Grammar. The construction in question is known as an ‘event existential’ and is exemplified in (1), and it contrasts with a ‘plain’ or ‘nominal’ existential construction in (2). Example (1) is from Aldridge (2011), who presents a Minimalist analysis of...

This paper shows the inhabitance in the lambda calculus with negation, product, and existential types is decidable. This is proved by showing existential quantification can be eliminated and reducing the problem to provability in intuitionistic propositional logic. By the same technique, this paper also shows existential quantification followed by negation can be replaced by a specific witness ...

this research uses econometrics techniques to study significant correlation between poverty and globalization of economy and investigate mechanisms influence of globalization on poverty in the economy during the period 1984-2004. in this context, the estimated three models discussed. in the form of a model for a significant correlation between poverty and globalization of the economy - causal r...