Regularity, Local and Microlocal Analysis in Theories of Generalized Functions

We introduce a general context involving a presheaf A and a subpresheaf B of A. We show that all previously considered cases of local analysis of generalized functions (defined from duality or algebraic techniques) can be interpretated as the B-local analysis of sections of A. But the microlocal analysis of the sections of sheaves or presheaves under consideration is dissociated into a "frequential microlocal analysis " and into a "microlocal asymptotic analysis". The frequential microlocal analysis based on the Fourier transform leads to the study of propagation of singularities under only linear (including pseudodifferential) operators in the theories described here, but has been extended to some non linear cases in classical theories involving Sobolev techniques. The microlocal asymptotic analysis can inherit from the algebraic structure of B some good properties with respect to nonlinear operations

LL-fuzzy ideal degrees in effect algebras

summary:In this paper, considering $L$ being a completely distributive lattice, we first introduce the concept of $L$-fuzzy ideal degrees in an effect algebra $E$, in symbol $\mathfrak{D}_{ei}$. Further, we characterize $L$-fuzzy ideal degrees by cut sets. Then it is shown that an $L$-fuzzy subset $A$ in $E$ is an $L$-fuzzy ideal if and only if $\mathfrak{D}_{ei}(A)=\top,$ which can be seen as a generalization of fuzzy ideals. Later, we discuss the relations between $L$-fuzzy ideals and cut sets ($L_{\beta}$-nested sets and $L_{\alpha}$-nested sets). Finally, we obtain that the $L$-fuzzy ideal degree is an $(L,L)$-fuzzy convexity. The morphism between two effect algebras is an $(L,L)$-fuzzy convexity-preserving mapping

Abelian qo-groups and atomic pseudo-valuation domains

The notion of imposing a partial ordering on algebraic structures is one of the most fundamental concepts in abstract algebra. Even further, the notion of a quasi-ordering is also used at the most basic algebraic levels. These orderings, however, are not very useful or well behaved when studying universal algebra. The first topic of this thesis is to examine the concept of a quasi-ordered abelian group and create a category, over which, the category of quasi-ordered abelian groups is monadic. This monadicity theorem allows one to examine the category of quasi-ordered abelian groups in a more algebraic setting. The second focus is on the partial ordering of divisibility on a class of integral domains, known as pseudo-valuation domains. It has been known for some time that pseudo-valuation domains have a fairly predictable divisibility structure. Here, it is shown that this divisibility structure can be used to find sufficient criteria to ensure a domain is a pseudo-valuation domain. This criteria is then used, along with a classification of a related class of domains, to classify all atomic pseudo-valuation domains. This classification is done solely in terms of the divisibility structure of the domains. Within the discussion of pseudo-valuation domains there is a classification of the lattice of ideals of a certain class of pseudo-valuation domains, so called restricted power series. Additionally, there is a classification of the groups of divisibility of generalized restricted power series which provides further evidence for the conjecture that every pseudo-valuation domain can be classified in terms of its group of divisibility alone. The thesis concludes with a discussion of the variety generated by the collection of all fields considered as algebras with two binary operations, division and subtraction. We develop an axiomatic approach to obtain an idea on what would be included in this variety as well as an discussion of some of the properties of subvarieties generated by individual finite fields