Related papers: Valuations in G\"{o}del Logic, and the Euler Chara…
The purpose of this article is to introduce the concept of invariance and its properties. These properties can be used to check the primality of a number. Combining these properties with the Euler theorem, it is possible to generalize this…
Given a finite simplicial complex L and a collection of pairs of spaces indexed by its vertex set, one can define their polyhedral product. We record a simple formula for its Euler characteristic. In special cases the formula simplifies…
We study several variants of Euler sums by using the methods of contour integration and residue theorem. These variants exhibit nice properties such as closed forms, reduction, etc., like classical Euler sums. In addition, we also define a…
We obtain, for the first time, a modular many-valued semantics for combined logics, which is built directly from many-valued semantics for the logics being combined, by means of suitable universal operations over partial non-deterministic…
We consider different generalizations of the Euler formula and discuss the properties of the associated trigonometric functions. The problem is analyzed from different points of view and it is shown that it can be formulated in a natural…
This paper announces results on the behavior of some important algebraic and topological invariants --- Euler characteristic, arithmetic genus, and their intersection homology analogues; the signature, etc. --- and their associated…
A new computational method that uses polynomial equations and dynamical systems to evaluate logical propositions is introduced and applied to Goedel's incompleteness theorems. The truth value of a logical formula subject to a set of axioms…
The variational properties of the scalar so--called ``Universal'' equations are reviewed and generalised. In particular, we note that contrary to earlier claims, each member of the Euler hierarchy may have an explicit field dependence. The…
It is shown that if a real value PL-invariant of closed combinatorial manifolds admits a local formula that depends only on the f-vector of the link of each vertex, then the invariant must be a constant times the Euler characteristic.
Using the weak factorization theorem we give a simple presentation for the value group of the universal Euler characteristic with compact support for varieties of characteristic zero and describe the value group of the universal Euler…
Let f be a C1 bivariate function with Lipschitz derivatives, and F = {x $\in$ R2 : f(x) $\lambda$} an upper level set of f, with $\lambda$ $\in$ R. We present a new identity giving the Euler characteristic of F in terms of its three-points…
We propose a multi-agent epistemic logic capturing reasoning with degrees of plausibility that agents can assign to a given statement, with $1$ interpreted as "entirely plausible for the agent" and $0$ as "completely implausible" (i.e., the…
The aim of this paper is twofold. One is to give a definition of the Euler characteristic of infinite acyclic categories with filtrations and the other is to prove the invariance of the Euler characteristic under the subdivision of finite…
The Euler characteristic is the only additive topological invariant for spaces of certain sort, in particular, for manifolds with some finiteness properties. A generalization of the notion of a manifold is the notion of a V-manifold. Here…
The notion of pairable functions is introduced and some of its properties are developed. In this connection the famous Euler identity is interpreted as a property of certain pairable functions and finite cyclic groups.
Kurt G\"odel proved that it is not possible to characterize Intuitionistic Propositional Logic (IPL) by means of finite and deterministic truth-tables. After extending the same result with respect to non-deterministic matrices, we provide a…
We discuss the universal orbifold Euler characteristic and generalized orbifold Euler characteristics corresponding to finitely generated groups $A$ (the $A$-Euler characteristics). We show that the collection of all $A$-Euler…
Generating functions for the number of commuting m-tuples in the symmetric groups are obtained. We define a natural sequence of ``orbifold Euler characteristics'' for a finite group G acting on a manifold X. Our definition generalizes the…
We study the expressive power of the two-variable fragment of order-invariant first-order logic. This logic departs from first-order logic in two ways: first, formulas are only allowed to quantify over two variables. Second, formulas can…
The Euler characteristic was defined for finite strict n-categories by Leinster using the theory of enriched categories. This was an extension of some of his earlier work, which defined Euler characteristic for finite categories. Building…