The internal and external aspect of logic and set theory in elementary topoi
The internal rate of return of fuzzy cash flows.
An internal rate of return (IRR) of an investment or financing project with cash flow (a0,a1,a2,...,an) is usually defined as a rate of interest r such thata0 + a1(1 + r)-1 + ... + an(1 + r)-n = 0.If the cash flow has one sign change then the previous equation has a unique solution r > -1.Generally the IRR technique does not extend to fuzzy cash flows, as it can be seen with examples (see [2]). In this paper we show that under suitable hypothesis a unique fuzzy IRR exists for a fuzzy cash...
The interpreted type-free modal calculus
The interpreted type-free modal calculus
The interpreted type-free modal calculus . II
The irrelevant information principle for collective probabilistic reasoning
Within the framework of discrete probabilistic uncertain reasoning a large literature exists justifying the maximum entropy inference process, , as being optimal in the context of a single agent whose subjective probabilistic knowledge base is consistent. In particular Paris and Vencovská completely characterised the inference process by means of an attractive set of axioms which an inference process should satisfy. More recently the second author extended the Paris-Vencovská axiomatic approach...
The isomorphism relation between tree-automatic Structures
An ω-tree-automatic structure is a relational structure whose domain and relations are accepted by Muller or Rabin tree automata. We investigate in this paper the isomorphism problem for ω-tree-automatic structures. We prove first that the isomorphism relation for ω-tree-automatic boolean algebras (respectively, partial orders, rings, commutative rings, non commutative rings, non commutative groups, nilpotent groups of class n ≥ 2) is not determined by the axiomatic system ZFC. Then we prove that...
The isomorphism relation on countable torsion free abelian groups
The isomorphism relation on countable torsion free abelian groups is non-Borel.
The join of equational theories
The -theory of profinite abelian groups
The laminary model of the exploded Descartes-plane.
The lattice of bi-numerations of arithmetic. I.
The lattice of bi-numerations of arithmetic. II.
The lattice of equational theories. Part I: Modular elements
The lattice of equational theories. Part II: The lattice of full sets of terms
The lattice of equational theories. Part III: Definability and automorphisms
The lattice of equational theories. Part IV: Equational theories of finite algebras
The lattice of indiscernibility equivalences
The lattice of linear classes in prime-valued logics
The lattice structure of quantum logics