Recall that B is PA relative to A if B computes a member of every nonempty $\Pi ^0_1(A)$ class. This two-place relation is invariant under Turing equivalence and so can be thought of as a binary relation on Turing degrees. Miller and Soskova [23] introduced the notion of a $\Pi ^0_1$ class relative to an enumeration oracle A, which they called a $\Pi ^0_1{\left \langle {A}\right \rangle }$ class. We study the induced extension of the relation B is PA relative (...) to A to enumeration oracles and hence enumeration degrees. We isolate several classes of enumeration degrees based on their behavior with respect to this relation: the PA bounded degrees, the degrees that have a universal class, the low for PA degrees, and the ${\left \langle {\text {self}\kern1pt}\right \rangle }$ -PA degrees. We study the relationship between these classes and other known classes of enumeration degrees. We also investigate a group of classes of enumeration degrees that were introduced by Kalimullin and Puzarenko [14] based on properties that are commonly studied in descriptive set theory. As part of this investigation, we give characterizations of three of their classes in terms of a special sub-collection of relativized $\Pi ^0_1$ classes—the separating classes. These three can then be seen to be direct analogues of three of our classes. We completely determine the relative position of all classes in question. (shrink)

In their logical analysis of theorems about disjoint rays in graphs, Barnes, Shore, and the author (hereafter BGS) introduced a weak choice scheme in second-order arithmetic, called the $\Sigma ^1_1$ axiom of finite choice (hereafter finite choice). This is a special case of the $\Sigma ^1_1$ axiom of choice ( $\Sigma ^1_1\text {-}\mathsf {AC}_0$ ) introduced by Kreisel. BGS showed that $\Sigma ^1_1\text {-}\mathsf {AC}_0$ suffices for proving many of the aforementioned theorems in graph theory. While it is not known (...) if these implications reverse, BGS also showed that those theorems imply finite choice (in some cases, with additional induction assumptions). This motivated us to study the proof-theoretic strength of finite choice. Using a variant of Steel forcing with tagged trees, we show that finite choice is not provable from the $\Delta ^1_1$ -comprehension scheme (even over $\omega $ -models). We also show that finite choice is a consequence of the arithmetic Bolzano–Weierstrass theorem (introduced by Friedman and studied by Conidis), assuming $\Sigma ^1_1$ -induction. Our results were used by BGS to show that several theorems in graph theory cannot be proved using $\Delta ^1_1$ -comprehension. Our results also strengthen results of Conidis. (shrink)

This paper presents an empirical test of Schlegel's “interaction interpretation” of the theory of special relativity. Analysis of the UTC time scales maintained at various observatory sites over the world indicates that neither Schlegel's “interaction interpretation” of the theory of relativity nor the conventional “space-time coordinate transformation interpretation” of relativity can significantly improve agreement between the UTC time scales. Instead evidence for the effects of accelerations on clock rates is suggested.

Walter Reese-Schäfer, Karl-Otto Apel, Zur Einführung (with an Afterword by Jürgen Habermas), Junis Verlag GmbH, Hamburg 1990, 176pp. DM 17.80 -/- The author, presently a freelance writer published in the newspaper “Die Zeit” and the magazine “Stern,” pro­vides in this small book a clear and concise introduction to sources, themes and conclusions in the philosophy of Karl-Otto Apel. Apel, Emeritus Pro­fessor at Frank­furt, and close colleague of Habermas, characterizes his viewpoint as a “transcen­dental pragmatism” in which a Kantian concern for (...) question regarding “the conditions for the possi­bility of some­thing,” (p.10) mixes with deontological discourse-ethics, semeiotic themes from Peirce, an ap­proach to fallibilism, the demand for “final justifica­tions” (Letzt­begründung) and German her­meneutics. In view of the “den­sity and concentration” of Apel’s texts, which often have a “deterrent effect” upon those not already at home with “the phil­osophical language game,” it is the announced aim of this book to provide a work of translation and clarification of Apel’s special­ized efforts --in effect an orientation to Apel’s work. The book divides into an Introduction, 8 chapters and a summary conclusion --with Habermas’ appreciation, “A Master Builder with Hermeneutic Feeling --The Way of Philosopher Karl-Otto Apel,” bringing up the rear. There is also a bibliography of primary and secondary sources and a short table outlining highlights of Apel’s career. The “Introduction” provides a good overview of the aims of the book and gets one started on central themes. (shrink)

Toda comprensión de la evolución de la idea de una filosofía práctica entre los griegos depende de reconocer que, aquí, ellos nos legaron dos tipos fundamentalmente diferentes, en relación con la clase de textos filosóficos en Platón y en Aristóteles. Por un lado, diálogos muy logrados que evocan a Sócrates o a uno semejante a él como si estuvieran presentes y, por el otro lado, renglones escritos sin arte de un espíritu que se articula, a través de un trabajo de (...) pensamiento y palabras de enseñanza. Uno es literatura en el alto sentido de la palabra. El otro es un material que es difícil de descifrar y que todavía debe ser despertado a una vida de ideas. Pero frente a ambos es el mismo ejercicio. Las dos clases de texto, como dos formas de hablar, se nos presentan como el mismo esfuerzo de rendir cuentas y, con ello, conducir la pregunta socrática a su verdad. (shrink)

As far as I know, Kaibel is the only champion of the soundness of our text in this passage. In his edition of the Electra he has the following note : ‘Zu τòν xs22EFxs025Bxs22EF πατρóς ist, wie Haupt gezeigt hat , der Nominal-begriff aus dem Verbum zu ergäanzen, genau wie in μxs22EFανδικxs22EFζxs025Bιν, διττxs22EFν παxs1FD6σαι u. a. statt des Adjektivs steht das durch den Artikel gestützte Adverbium, vgl. Arist. Ran. 191 νxs025Bναυμxs22EFχηκxs025B τxs22EFν πxs025Bρxs22EF τxs22EFν κρxs025Bxs22EFν und das sprüchwörtliche τòν πxs025Bρxs22EF ψυχ࿆ς (...) τpεXειv. So ist auch der Komikervers ganz in Ordnung εγω Tov αλλov, αvδρεs, εTεθvηkη πáλaι aπavθ', ôv εζηv, wo zu εζηv und also auch zu ετεθvηkη sich ein Nominal-begriff wie βιóv oder χρóvov von selbst ergánzt; denn auf ein bestimmtes Nomen kommt nichts an, da kein Grieche thatsáchlich ein Nomen ergánzte, sondern den Begriff aus dem Verbum heraushörte.’ He concludes: ‘So unzweifelhaft richtig Haupts Erklärung ist, so pflegt man sie neuerdings doch wieder zu ignoriren oder zu verwerfen und die allerungläublichsten “Emendationen” zu bevorzugen.’ With the latter part of his assertion I fully agree, and am prepared to throw all emendations that have been so far suggested overboard. But with due diffidence I beg to try my hand once more at emending this passage, as I firmly believe that Sophocles has not written it as handed down to us. τóv aεì…στεváχovσ' is intolerably weak. It is far more likely that we have here a case of the wrong division of words. In uncials we should have read: HAEKTPATON, which ought to have been transcribed ΉHλεkτρ’. (shrink)

πóθεν θράος η Θρενό ηχειρì ΤÈΚνων σÈθΕνΚαρδα τε λήψηδεινàν πpoσáγονσα τóλμαν.

© 2016 Regents of the University of California.The Review summarizes much of particle physics and cosmology. Using data from previous editions, plus 3,062 new measurements from 721 papers, we list, evaluate, and average measured properties of gauge bosons and the recently discovered Higgs boson, leptons, quarks, mesons, and baryons. We summarize searches for hypothetical particles such as supersymmetric particles, heavy bosons, axions, dark photons, etc. All the particle properties and search limits are listed in Summary Tables. We also give numerous (...) tables, figures, formulae, and reviews of topics such as Higgs Boson Physics, Supersymmetry, Grand Unified Theories, Neutrino Mixing, Dark Energy, Dark Matter, Cosmology, Particle Detectors, Colliders, Probability and Statistics. Among the 117 reviews are many that are new or heavily revised, including those on Pentaquarks and Inflation. The complete Review is published online in a journal and on the website of the Particle Data Group. The printed PDG Book contains the Summary Tables and all review articles but no longer includes the detailed tables from the Particle Listings. A Booklet with the Summary Tables and abbreviated versions of some of the review articles is also available. (shrink)

This is my review of D.W. Howe's 2007 book, What Hath God Wrought, Transformation of America 1815-1848. The book is a volume in the new Oxford History of the U.S.(O.U.P. 2007)--exploring the transformation of the early American republic through the period of domination of the Jacksonian Democrats. This is also the period of the New England Renaissance and the early work of R.W. Emerson. Howe devotes a good deal of attention to Emerson and his influence and thereby provides needed historical (...) context for the understanding of American thought. (shrink)

Actuality of the conducted research is practically oriented character. Without the use of information and communication technologies in the field of higher education, it is impossible to carry out qualitative training of specialists in engineering, the results of which are necessary for the implementation of a national strategy for modernizing the economy and forming a progressive state of European type. Formulation of the task - the specificity of the use of ICT in the system of higher education has not been (...) studied sufficiently. ICT form a complex environment, which includes a lot of information objects and the links between them. It can be argued that the structural and functional analysis of the use of ICT in higher education is the basis of the theoretical justification in the formation of technical professionalism of future engineers. ICTs form a complex system, which includes not only technical and software-hardware capabilities, but also psycho-pedagogical, organizational, methodological. Without taking into account all of these components, as well as the needs of the subjects of the educational process, the use of ICT tools may be accompanied by risks and negatively affect the quality of high education. An analysis of recent research and publications-is actively exploring the experience of using ICT in high school, it is possible to distinguish the work of foreign specialists D. Stevenson, G. Reinhold, E. Wenger, S. Papierta, I. Zakharova, E. Patarakina, A. Khutorskogo, E. Polat The founders of this scientific direction in our country were M. I. Zhaldak, Y. I.Mashbits. The recent significant increase in the number of studies, the subject of which was the use of information and communication technologies in the educational process. Tsitemi in Ukraine is dedicated to the study of such scholars as V. Yu. Bykov, Ya.V. Bulakhova, O.M. Bondarenko, V.F. Zabolotny, G.O. Kozlakova, O. Moiko, O. Naumenko, Yu.Burovitskaya, I. Stavyts'ka, O.P. Pinchuk, O.V. Shestopal and others. Selection of unexplored parts of the general problem. The use of information technologies in the educational process is the foundation of innovative development of the educational system. The rapid development of ICT provides not only significant pace of innovative progress, but also requires the definition of information resources that guarantee the quality of learning, the choice of techniques that are in line with the general strategy for the formation of professional competences. Therefore, the problem of choosing an approach to the process of learning with the use of ICTs remains one of the main tasks of education. Research methods. In theory and practice, the study of the application of information and communication technologies in high school uses empirical methods of collecting and analyzing information based on the results of the survey of 120 students. Presenting main material. The essence of professionalism of future specialists of the technical direction is revealed. The scientific point of view on the professionalism of the engineer is presented. The peculiarities of formation of the basis of technical professionalism of future engineers in the process of studying at a higher school are theoretically grounded. The quantitative and qualitative analysis of the results of empirical researches of this problem is presented. The practical significance of the research topic is that the innovative approaches to the training of specialists in engineering specialties are differentiated, which differentiate in the educational concepts of teaching in higher educational institutions of European countries. (shrink)

To localize wheat ESTs on chromosomes, 882 homoeologous group 6-specific ESTs were identified by physically mapping 7965 singletons from 37 cDNA libraries on 146 chromosome, arm, and sub-arm aneuploid and deletion stocks. The 882 ESTs were physically mapped to 25 regions flanked by 23 deletion breakpoints. Of the 5154 restriction fragments detected by 882 ESTs, 2043 were localized to group 6 chromosomes and 806 were mapped on other chromosome groups. The number of loci mapped was greatest on chromosome 6B and (...) least on 6D. The 264 ESTs that detected orthologous loci on all three homoeologs using one restriction enzyme were used to construct a consensus physical map. The physical distribution of ESTs was uneven on chromosomes with a tendency toward higher densities in the distal halves of chromosome arms. About 43% of the wheat group 6 ESTs identified rice homologs upon comparisons of genome sequences. Fifty-eight percent of these ESTs were present on rice chromosome 2 and the remaining were on other rice chromosomes. Even within the group 6 bins, rice chromosomal blocks identified by 1-6 wheat ESTs were homologous to up to 11 rice chromosomes. These rice-block contigs were used to resolve the order of wheat ESTs within each bin. (shrink)

Exposure of man to chemical agents can occur intentionally, as in the treatment of disease, or inadvertently because the environment contains a wide range of synthetic or naturally occurring chemicals. The alkylating agents are a diverse group of compounds (Fig. 1) and comprise a good example of such xenobiotics, since much is known about their occurrence, and their biological effects include carcinogenicity, mutagenicity, toxicity and teratogenicity.Exposure to potentially carcinogenic alkylating agents such as nitrosamines may occur occupationally, from cigarette smoke, from (...) certain foodstuffs and even endogenously through the ingestion of the appropriate precursor chemicals.1 At the other extreme, the cytotoxic effects of agents such as the chloroethylating nitrosamides or mustards have been exploited in the design of certain antitumour drugs.2 The effectiveness of antitumour agents and the other, mostly adverse, biological effects of alkylating agents have been ascribed to their ability to damage cellular macromolecules, in particular DNA. This review concentrates on investigations carried out over the past two years on the role of DNA damage in carcinogenesis, but we shall see how recent advances in this area of research have also led to a better understanding of the mechanisms of the cytotoxic effects of alkylating antitumour agents. (shrink)

'Uncertainty and chance' is a subject with a broad span, in that there is no academic discipline or walk of life that is not beset by uncertainty and chance. In this book a range of approaches is represented by authors from varied disciplines: natural sciences, mathematics, social sciences and medical sciences. At one extreme, this volume is concerned with the foundations of probability. At the other extreme, we have scholars who acknowledge the concept of chance and uncertainty but do not (...) cope with it by means of systematic measurement or quantative analysis. (shrink)

By considering the irreducible representations of the Lorentz group, an analysis of the different spin-2 waves is presented. In particular, the question of the helicity is discussed. It is concluded that, although from the point of view of representation theory there are no compelling reasons to choose between spin-2 waves with helicity σ=±1 or σ=±2, consistency arguments of the ensuing field theories favor waves with helicity σ=±1.

According to the Accreditation Board for Engineering and Technology, Inc. [ABET], 2019), any approved engineering program must provide the student with “an ability to recognize ethical and professi...

This report describes the rationale, approaches, organization, and resource development leading to a large-scale deletion bin map of the hexaploid wheat genome. Accompanying reports in this issue detail results from chromosome bin-mapping of expressed sequence tags representing genes onto the seven homoeologous chromosome groups and a global analysis of the entire mapped wheat EST data set. Among the resources developed were the first extensive public wheat EST collection. Described are protocols for sequencing, sequence processing, EST nomenclature, and the assembly of (...) ESTs into contigs. These contigs plus singletons were used for selection of distinct sequence motif unigenes. Selected ESTs were rearrayed, validated by 5′ and 3′ sequencing, and amplified for probing a series of wheat aneuploid and deletion stocks. Images and data for all Southern hybridizations were deposited in databases and were used by the coordinators for each of the seven homoeologous chromosome groups to validate the mapping results. Results from this project have established the foundation for future developments in wheat genomics. (shrink)