In Bishop-style constructive algebra it is known that if a module over a commutative ring has a Noetherian basis function, then it is Noetherian. Using countable choice we prove the reverse implication for countable and strongly discrete modules. The Hilbert basis theorem for this specific class of Noetherian modules, and polynomials in a single variable, follows with Tennenbaum’s celebrated ve...

We continue the study of the fundamental series of generalized Harish-Chandra modules initiated in [PZ2]. Generalized Harish-Chandra modules are (g, k)-modules of finite type where g is a semisimple Lie algebra and k ⊂ g is a reductive in g subalgebra. A first result of the present paper is that a fundamental series module is a g-module of finite length. We then define the notions of strongly a...

Ultradian (~4 hr) rhythms in locomotor activity that do not depend on the master circadian pacemaker in the suprachiasmatic nucleus have been observed across mammalian species, however, the underlying mechanisms driving these rhythms are unknown. We show that disruption of the dopamine transporter gene lengthens the period of ultradian locomotor rhythms in mice. Period lengthening also results ...

This paper investigates questions related to modularity in discrete models of biological interaction networks. We develop a theoretical framework based on the analysis of their asymptotic dynamics. More precisely, we exhibit formal conditions under which agents of interaction networks can be grouped into modules, forming a modular organisation. As main results, we show that the conventional dec...

The aim of this paper is to investigate generalizations locally artinian supplemented modules in module theory, namely radical and strongly modules. We have obtained elementary features for them. Also, we characterized by left perfect rings. Finally, proved that the reduced part a $R$-module has same property over Dedekind domain $R$.

We solve the isomorphism problem in the context of abstract algebraic logic and of π-institutions, namely the problem of when the notions of syntactic and semantic equivalence among logics coincide. The problem is solved in the general setting of categories of modules over quantaloids. We prove that these categories are strongly complete, strongly cocomplete, and (Epi,Mono)-structured. We prove...

BACKGROUND Recently, test developers have created rapid point-of-care tests that can simultaneously detect multiple infections within the same specimen using a single device. The SD BIOLINE Duo HIV/Syphilis rapid point-of-care test uses a solid-phase immunochromatographic assay to detect immunoglobulin (Ig)G, IgM, and IgA antibodies to human immunodeficiency virus (HIV)-specific antigens (HIV-1...