Synaptic plasticity in hippocampal CA1 neurons of mice lacking type 1 inositol-1,4,5-trisphosphate receptors

In hippocampal CA1 neurons of wild-type mice, delivery of a standard tetanus (100 pulses at 100 Hz) or a train of low-frequency stimuli (LFS; 1000 pulses at 1 Hz) to a naive input pathway induces, respectively, long-term potentiation (LTP) or long-term depression (LTD) of responses, and delivery of LFS 60 min after tetanus results in reversal of LTP (depotentiation, DP), while LFS applied 60 min before tetanus suppresses LTP induction (LTP suppression). To evaluate the role of the type 1 inositol-1,4,5-trisphosphate receptor (IP3R1) in hippocampal synaptic plasticity, we studied LTP, LTD, DP, and LTP suppression of the field excitatory postsynaptic potentials (EPSPs) in the CA1 neurons of mice lacking the IP3R1. No differences were seen between mutant and wild-type mice in terms of the mean magnitude of the LTP or LTD induced by a standard tetanus or LFS. However, the mean magnitude of the LTP induced by a short tetanus (10 pulses at 100 Hz) was significantly greater in mutant mice than in wild-type mice. In addition, DP or LTP suppression was attenuated in the mutant mice, the mean magnitude of the responses after delivery of LFS or tetanus being significantly greater than in wild-type mice. These results suggest that, in hippocampal CA1 neurons, the IP3R1 is involved in LTP, DP, and LTP suppression but is not essential for LTD. The facilitation of LTP induction and attenuation of DP and LTP suppression seen in mice lacking the IP3R1 indicates that this receptor plays an important role in blocking synaptic potentiation in hippocampal CA1 neurons.     

Axiomatizing hybrid products: How can we reason many-dimensionally in hybrid logic?

The aim of this paper is to propose a two-dimensional hybrid logic in order to formalize inferences containing both spatial and temporal propositions. The semantic idea behind the proposal is to name both horizontal and vertical lines in a 2D-plane by two kinds of nominals. This is a generalization of the idea of naming a point in one-dimensional hybrid logic. I give an axiomatization of the proposed two-dimensional hybrid logic and show that it enjoys a general completeness result (called pure completeness) with respect to product Kripke frames. Moreover, in order to capture $T\times W$-frames studied by R.H. Thomason (1984), I introduce the notion of a dependent product frame, which enables us to represent the dependence of space over time. I also give a complete axiomatization of this dependent two-dimensional hybrid logic, and, as a corollary, reveal that a hybridization of $T\times W$-logic enjoys strong completeness.     

The role of myelination in learning performance observed in two strains of myelin-deficient mutant mice (shiverer and mld)

In order to study whether myelination is involved in learning performance, the behavior of myelin-deficient mutant mice (shiverer and mld) was examined. Shiverer is a deletion mutant of the myelin basic protein (MBP) gene causing severe myelin deficits due to the complete absence of MBP, while mld, allelic mutant to shiverer, shows lowered MBP expression, resulting in less severe effects. Shiverer clearly showed deficits in successive reversal learning, while mld showed less deficits in the learning performance. Both mutant mice showed no deficits in the radial maze performance, which is though to show the natural foraging behavior of rodents. These results suggest that myelin formation is related to learning but not to natural behavior.     

Involvement of IP3 receptors in LTP and LTD induction in guinea pig hippocampal CA1 neurons

The role of inositol 1, 4, 5-trisphosphate receptors (IP3Rs) in long-term potentiation (LTP) and long-term depression (LTD) was studied in CA1 neurons in guinea pig hippocampal slices. In standard solution, short tetanic stimulation consisting of 15 pulses at 100 Hz induced LTP, while three short trains of low-frequency stimulation (LFS; 200 pulses at 1 Hz) at 18-min intervals or one long train of LFS (1000 pulses at 1 Hz) induced stable LTD in both the slope of the field EPSP (S-EPSP) and the amplitude of the population spike (A-PS). Bath application of 2-aminoethoxydiphenyl borate (2-APB), an IP3R antagonist, or of alpha-methyl-4-carboxyphenylglycine (MCPG), a wide-spectrum metabotropic glutamate receptor antagonist, during weak tetanic stimulation significantly increased the magnitude of the LTP in both the S-EPSP and A-PS. Three short trains of LFS or one long train of LFS delivered in the presence of 2-APB or MCPG did not induce LTD, but elicited LTP. Based on these results, we conclude that, in hippocampal CA1 neurons, IP3Rs play an important role in synaptic plasticity by attenuating LTP and facilitating LTD.     

Phase transformation of germanium by processing through high-pressure torsion: strain and temperature effects

Germanium has been processed by high-pressure torsion (HPT) under a nominal pressure of 24 GPa at room temperature and cryogenic temperature. The samples processed at room temperature were composed of a diamond-cubic Ge-I phase and a metastable tetragonal Ge-III phase. The formation of Ge-III was significantly suppressed and Ge-I and an amorphous phase, in addition to a small amount of body-centred-cubic Ge-IV, appeared in the case of cryogenic HPT processing at 100 K. The Ge-IV phase gradually disappeared at room temperature. These results indicated that shear strain and thermal energy are important for promoting the formation of Ge-III.     

Recapturing Dynamic Logic of Relation Changers via Bounded Morphisms

Studia Logica - The present contribution shows that a Hilbert-style axiomatization for dynamic logic of relation changers is complete for the standard Kripke semantics not by a well-known rewriting...