These are some minor notes and observations related to a paper by Cholak, Jockusch, and Slaman [3]. In particular, if T1 and T2 are theories in the language of second-order arithmetic and T2 is Π 1 1 conservative over T1, it is not necessarily the case that every countable model of T1 is an ω-submodel of a countable model of T2; this answers a question posed in [3]. On the other hand, for n ≥ 1...

The topology and geometry of the moduli space, M2, of degree 2 static solutions of the CP 1 model on a torus (spacetime T 2 × R) are studied. It is proved that M2 is homeomorphic to the left coset space G/G0 where G is a certain eight-dimensional noncompact Lie group and G0 is a discrete subgroup of order 4. Low energy two-lump dynamics is approximated by geodesic motion on M2 with respect to a...

These are some minor notes and observations related to a paper by Cholak, Jockusch, and Slaman [3]. In particular, if T1 and T2 are theories in the language of second-order arithmetic and T2 is Π 1 1 conservative over T1, it is not necessarily the case that every countable model of T1 is an ω-submodel of a countable model of T2; this answers a question posed in [3]. On the other hand, for n ≥ 1...

A high molecular polymer solution with viscoelasticity has the effect of reducing frictional drag, which is quite practical for energy saving. Effective simulations viscoelastic flows in a pipeline Reynolds number realized by incorporating constitutive equation into k−ε−v′2¯−f turbulence model. The Finitely Extensive Nonlinear Elastic Peterlin (FENE-P) model employed characterizing viscoelastic...

Bu çal??man?n amac?; fen bilimleri dersinin teknoloji destekli olarak yürütülmesinin ve gerçekle?tirilen Web 2.0 uygulamalar?n?n ortaokul 6. s?n?f ö?rencilerinin fene teknolojiye yönelik tutumlar?na etkisini ortaya koymakt?r. Gerçekle?tirilen çal??mada nicel ara?t?rma yöntemlerinden ön test-son test kontrol gruplu yar? deneysel desen kullan?lm??t?r. Çal??ma grubunu, Kars ilinin Merkez ilçesinde...

Bu araştırmada, ortaokul öğrencilerine uygulanan STEM (Science, Technology, Engineering, Mathematic) etkinliklerinin, öğrencilerin alanına yönelik tutumlarına ve fene motivasyonlarına etkisi incelenmiştir. Araştırma deneme öncesi deneysel desenlerden tek grup ön-son test modelinde yürütülmüş örneklemi Ankara ilindeki bir özel ortaokulda eğitim alan 70 öğrenciden oluşturmaktadır. Öğrencilerden e...

Glutathione S-transferase mu2 (GST-M2) is a phase II detoxification enzyme. Low expression of GST-M2 in lung cancers is due to hypermethylation of its promoter. Lung cancer with the GST mu-null genotype is associated with shorter survival. However, a correlation between GST-M2 and important clinical parameters, as well as the migration of GST-M2-defective cells in lung cancer, has not been esta...

ing logical rules should be justified and based on the data that we can observe from a real system. In other words, if a logical rule is abstracted, the input data for the abstracted logical rule should be observable in the real system, and its output data also should be comparable to the observable results of the real system. An abstracted model does not provide more I/O data than the original...