We recently introduced an extensional model of the pure λcalculus living in a cartesian closed category of sets and relations. In this paper, we provide sufficient conditions for categorical models living in arbitrary cpo-enriched cartesian closed categories to have H∗, the maximal consistent sensible λ-theory, as their equational theory. Finally, we prove that our relational model fulfils thes...

In this very short paper, we show that the average overlap density of a union-closed family $\mathcal{F}$ subsets $\{1,2,\ldots,n\}$ may be as small \[\Theta((\log_2 \log_2 |\mathcal{F}|)/(\log_2 |\mathcal{F}|)),\] for infinitely many positive integers $n$.

The generalized fuzzy valued $theta$-Choquet integrals will beestablished for the given $mu$-integrable fuzzy valued functionson a general fuzzy measure space, and the convergence theorems ofthis kind of fuzzy valued integral are being discussed.Furthermore, the whole of integrals is regarded as a fuzzy valuedset function on measurable space, the double-null asymptoticadditivity and pseudo-doub...

This study investigated the effects of methylphenidate on intrahemispheric and interhemispheric EEG coherence in children with Attention-Deficit/Hyperactivity Disorder (AD/HD). Twenty boys with AD/HD Combined type and 20 age- and sex-matched control subjects, aged 8 to 13 years, participated in this study. EEG was recorded from 21 sites during an eyes-closed resting condition. Wave-shape cohere...

Previous studies have shown alterations of eyeblink reflex in patients with various psychiatric disorders. It has previously been demonstrated by our group that EEG measures of the reactivity to eye opening could effectively predict patient-reported startle response in patients with acute stress reaction. In our present study, EEG spectral power analysis and eyeblink electrical startle response...

The hippocampal formation is necessary for spatial learning and memory in rats. One aspect of this cognitive function, the ability to remember path sequences, is thought to be achieved through phase precession. The two components of phase precession are a strong theta rhythm (8-12 Hz) in the local field potential and place-selective neurons, which fire selectively while the rat is in a particul...

Neuroimaging has revealed robust large-scale patterns of high neuronal activity in the human brain in the classical eyes-closed wakeful rest condition, pointing to the presence of a baseline of sustained endogenous processing in the absence of stimulus-driven neuronal activity. This baseline state has been shown to differ in major depressive disorder. More recently, several studies have documen...

The current applications of non-Hermitian but ${\cal PT}-$symmetric Hamiltonians $H$ cover several, mutually not too closely connected subdomains quantum physics. Mathematically, the split between open and closed systems can be characterized by respective triviality non-triviality an auxiliary inner-product metric $\Theta=\Theta(H)$. With our attention restricted to latter, mathematically more ...

During healthy aging, inhibitory processing is affected at the sensorial, perceptual, and cognitive levels. The assessment of event-related potentials (ERPs) during the Stroop task has been used to study age-related decline in the efficiency of inhibitory processes. Studies using ERPs have found that the P300 amplitude increases and the N500 amplitude is attenuated in healthy elderly adults com...

We describe a new series of identities, which hold for certain general theta series, in two completely independent variables. We provide explicit examples of these identities involving the Dedekind eta function, Jacobi theta functions, and various theta functions of Ramanujan. Introduction Let z ∈ H = {x+ yi : x, y ∈ R, y > 0} and for each x ∈ R set q = exp(2πixz) and e(x) = exp(2πix). The Dede...