68 research outputs found
On the strength of the finite intersection principle
We study the logical content of several maximality principles related to the
finite intersection principle (F\IP) in set theory. Classically, these are
all equivalent to the axiom of choice, but in the context of reverse
mathematics their strengths vary: some are equivalent to \ACA over \RCA,
while others are strictly weaker, and incomparable with \WKL. We show that
there is a computable instance of F\IP all of whose solutions have
hyperimmune degree, and that every computable instance has a solution in every
nonzero c.e.\ degree. In terms of other weak principles previously studied in
the literature, the former result translates to F\IP implying the omitting
partial types principle (). We also show that, modulo
induction, F\IP lies strictly below the atomic model theorem
().Comment: This paper corresponds to section 3 of arXiv:1009.3242, "Reverse
mathematics and equivalents of the axiom of choice", which has been
abbreviated and divided into two pieces for publicatio
Performance improvement of silicon solar cells by nanoporous silicon coating
In the present paper the method is shown to improve the photovoltaic parameters of screen-printed silicon solar cells by nanoporous silicon film formation on the frontal surface of the cell using the electrochemical etching. The possible mechanisms responsible for observed improvement of silicon solar cell performance are discussed
The high-temperature thermal expansion of BiPbSrCaCuO superconductor and the oxide components (Bi2O3, PbO, CaO, CuO)
The effect of internal electric field on the high-temperature diffusion of arsenic in variable-gap epitaxial CdHgTe layers
Applying POVM to model non-orthogonality in quantum cognition
© Springer International Publishing Switzerland 2016. Much of the work currently occurring in the field of Quantum Interaction (QI) relies upon Projective Measurement. This is perhaps not optimal, cognitive states are not nearly as well behaved as standard quantum mechanical systems; they exhibit violations of repeatability, and the operators that we use to describe measurements do not appear to be naturally orthogonal in cognitive systems. Here we attempt to map the formalism of Positive Operator Valued Measure (POVM) theory into the domain of semantic memory, showing how it might be used to construct Bell-type inequalities
Role of monoamine oxidase in the intensification of mitochondrial lipid peroxidation in experimental myocardial necrosis
- …