63 research outputs found
On Conjectures in t-Norm Based Fuzzy Logics
This paper is a humble homage to EnricTrillas. Following his foundational contributions on models of ordinary reasoning in an algebraic setting, we study here elements of thesemodels, like conjectures and hypothesis, in the logical framework of continuous t-norm based fuzzy logics.We consider notions of consistency, conjecture and hypothesis arising from two natural families of consequence operators definable in these logics, namely the ones corresponding to the so-called truth-preserving and degree-preserving consequence relations. We pay special attention to the particular cases of three prominent fuzzy logics: Gödel, Product and Łukasiewicz logics © 2015 Springer International Publishing Switzerland.This work has been partially supported by the Spanish projects TIN2012-39348-C02-01 and TIN2011-29827-C02-01Peer Reviewe
The Cuntz semigroup, the Elliott conjecture, and dimension functions on C*-Algebras
We prove that the Cuntz semigroup is recovered functorially from the Elliott invariant for a large class of C¤-algebras. In particular, our results apply to the largest class of simple C¤-algebras for which K-theoretic classification can be hoped for. This work has three significant consequences. First, it provides new conceptual insight into Elliott's classification program, proving that the usual form of the Elliott conjecture is equivalent, among Z-stable algebras, to a conjecture which is in general substantially weaker and for which there are no known counterexamples. Second and third, it resolves, for the class of algebras above, two conjectures of Blackadar and Handelman concerning the basic structure of dimension functions on C¤-algebras. We also prove in passing that the Kuntz-Pedersen semigroup is recovered functorially from the Elliott invariant for all simple unital C¤-algebras of interest
Iwahori-Hecke algebras for Kac-Moody groups over local fields
We define the Iwahori-Hecke algebra for an almost split Kac-Moody group over
a local non-archimedean field. We use the hovel associated to this situation,
which is the analogue of the Bruhat-Tits building for a reductive group. The
fixer K of some chamber in the standard apartment plays the role of the Iwahori
subgroup. We can define the Iwahori-Hecke algebra as the algebra of some
K-bi-invariant functions on the group with support consisting of a finite union
of double classes. As two chambers in the hovel are not always in a same
apartment, this support has to be in some large subsemigroup of the Kac-Moody
group. In the split case, we prove that the structure constants of the
multiplication in this algebra are polynomials in the cardinality of the
residue field, with integer coefficients depending on the geometry of the
standard apartment. We give a presentation of this algebra, similar to the
Bernstein-Lusztig presentation in the reductive case, and embed it in a greater
algebra, algebraically defined by the Bernstein-Lusztig presentation. In the
affine case, this algebra contains the Cherednik's double affine Hecke algebra.
Actually, our results apply to abstract "locally finite" hovels, so that we can
define the Iwahori-Hecke algebra with unequal parameters.Comment: Version 2: Section on the extended affine case added, containing the
relationship with the DAHAs, to appear in Pacific Journal of Mathematic
RECASTING THE ELLIOTT CONJECTURE
Let A be a simple, unital, finite, and exact C*-algebra which absorbs the Jiang-Su algebra Z tensorially. We prove that the Cuntz semigroup of A admits a complete order embedding into an ordered semigroup which is obtained from the Elliott invariant in a functorial manner. We conjecture that this embedding is an isomor phism, and prove the conjecture in several cases. In these same cases - Z-stable algebras all - we prove that the Elliott conjecture in its strongest form is equivalent to a conjecture which appears much weaker. Outside the class of Z-stable C*-algebras, this weaker conjecture has no known counterexamples, and it is plausible that none exist. Thus, we reconcile the still intact principle of Elliott's classification conjecture -that K-theoretic invariants will classify separable and nuclear C*-algebras- with the recent appearance of counterexamples to its strongest concrete form
A synthetic axiomatization of Map Theory
Includes TOC détaillée, index et appendicesInternational audienceThis paper presents a subtantially simplified axiomatization of Map Theory and proves the consistency of this axiomatization in ZFC under the assumption that there exists an inaccessible ordinal. Map Theory axiomatizes lambda calculus plus Hilbert's epsilon operator. All theorems of ZFC set theory including the axiom of foundation are provable in Map Theory, and if one omits Hilbert's epsilon operator from Map Theory then one is left with a computer programming language. Map Theory fulfills Church's original aim of introducing lambda calculus. Map Theory is suited for reasoning about classical mathematics as well ascomputer programs. Furthermore, Map Theory is suited for eliminating thebarrier between classical mathematics and computer science rather than just supporting the two fields side by side. Map Theory axiomatizes a universe of "maps", some of which are "wellfounded". The class of wellfounded maps in Map Theory corresponds to the universe of sets in ZFC. The first version MT0 of Map Theory had axioms which populated the class of wellfounded maps, much like the power set axiom et.al. populates the universe of ZFC. The new axiomatization MT of Map Theory is "synthetic" in the sense that the class of wellfounded maps is defined inside MapTheory rather than being introduced through axioms. In the paper we define the notion of kappa- and kappasigma-expansions and prove that if sigma is the smallest strongly inaccessible cardinal then canonical kappasigma expansions are models of MT (which proves the consistency). Furthermore, in the appendix, we prove that canonical omega-expansions are fully abstract models of the computational part of Map Theory
A new epistemic model
Meier (2012) gave a "mathematical logic foundation" of the purely measurable universal type space (Heifetz and Samet, 1998). The mathematical logic foundation, however, discloses an inconsistency in the type space literature: a finitary language is used for the belief hierarchies and an infinitary language is used for the beliefs. In this paper we propose an epistemic model to fix the inconsistency above. We show that in this new model the universal knowledgebelief space exists, is complete and encompasses all belief hierarchies. Moreover, by examples we demonstrate that in this model the players can agree to disagree Aumann (1976)'s result does not hold, and Aumann and Brandenburger (1995)'s conditions are not sufficient for Nash equilibrium. However, we show that if we substitute selfevidence (Osborne and Rubinstein, 1994) for common knowledge, then we get at that both Aumann (1976)'s and Aumann and Brandenburger (1995)'s results hold
- …