scholarly journals ON WEIHRAUCH REDUCIBILITY AND INTUITIONISTIC REVERSE MATHEMATICS

2017 ◽  
Vol 82 (4) ◽  
pp. 1438-1458 ◽  
Author(s):  
RUTGER KUYPER
Keyword(s):  
Reverse Mathematics ◽  
The Other ◽  
Strong Connection ◽  
Other Hand ◽  
Intuitionistic Version

AbstractWe show that there is a strong connection between Weihrauch reducibility on one hand, and provability in EL0, the intuitionistic version of RCA0, on the other hand. More precisely, we show that Weihrauch reducibility to the composition of finitely many instances of a theorem is captured by provability in EL0 together with Markov’s principle, and that Weihrauch reducibility is captured by an affine subsystem of EL0 plus Markov’s principle.

scholarly journals PARALITURGICAL WORKS AS A SACRED-AESTHETIC ELEMENT OF UKRAINIAN MUSICAL CULTURE

2020 ◽  
pp. 26-53
Author(s):  
Hanna Karas ◽  
Keyword(s):  
Golden Age ◽  
The Other ◽  
Close Connection ◽  
Musical Culture ◽  
Strong Connection ◽  
Xxth Century ◽  
Material Development ◽  
National School ◽  
Other Hand ◽  
Aesthetic Ideal

The purpose of the section is to clarify the place of Ukrainian diaspora composers’ paraliturgical works of the XXth century and, in particular, the works of Mykhailo Hayvoronsky (1892–1949) in the spiritual musical culture of Ukrainians. Paraliturgical works include spiritual songs and chants performed outside the church’s Christian canonical rite. In the works of composers it is: a series of chants from Pochaiv’s «Bogohlasnyk», arrangements of koliadkas, songs of the Virgin and Resurrection, prayers to the King of Heaven, communions. Paraliturgical music of diaspora composers testifies to a strong connection with traditions: here we have the influence of «part-song», and the achievement of the «golden age» of Ukrainian music, and creative achievements in this genre of older contemporaries – M. Lysenko, M. Leontovych, K. Stetsenko. On the other hand, there is a close connection of this music with folklore sources, first of all, in the field of melody, texture, principles of musical material development. The sacral-aesthetic element of M. Hayvoronsky’s spiritual music is expressed by the figurative content of these works (bright, contemplative mood, sorrowful-focused prayer spirit, joyful exaltation, mood spirit), aesthetic categories (sublime, beauty, harmony, aesthetic ideal). Due to its genre and stylistic features, the paraliturgical music of diaspora composers became an integral part of the national school of composers development and contributed to the establishment of its identity.

Stability and posets

2009 ◽  
Vol 74 (2) ◽  
pp. 693-711 ◽  
Author(s):  
Carl G. Jockusch ◽  
Bart Kastermans ◽  
Steffen Lempp ◽  
Manuel Lerman ◽  
Reed Solomon
Keyword(s):  
Reverse Mathematics ◽  
Infinite Chain ◽  
The Other ◽  
Weak Stability ◽  
Other Hand ◽  
Natural Notion ◽  
Weakly Stable

AbstractHirschfeldt and Shore have introduced a notion of stability for infinite posets. We define an arguably more natural notion called weak stability, and we study the existence of infinite computable or low chains or antichains, and of infinite chains and antichains, in infinite computable stable and weakly stable posets. For example, we extend a result of Hirschfeldt and Shore to show that every infinite computable weakly stable poset contains either an infinite low chain or an infinite computable antichain. Our hardest result is that there is an infinite computable weakly stable poset with no infinite chains or antichains. On the other hand, it is easily seen that every infinite computable stable poset contains an infinite computable chain or an infinite antichain. In Reverse Mathematics, we show that SCAC, the principle that every infinite stable poset contains an infinite chain or antichain, is equivalent over RCA0 to WSAC, the corresponding principle for weakly stable posets.

scholarly journals Poetic formulas of Belarusian carol and volochebnye songs. Problems of correlation of Irtysh region migrants' and maternal traditions

2019 ◽  
pp. 33-40
Author(s):  
S. A. Myasnikova
Keyword(s):  
Comparative Analysis ◽  
Visual Representation ◽  
Significant Degree ◽  
The Other ◽  
Strong Connection ◽  
Text Corpora ◽  
Other Hand ◽  
The One

The article analyzes the poetic formulas of the Belarusian carol and volochebnye songs recorded in Omsk Irtysh region. The poetic formula is stable and repeatable, like the motive, but it does not have the motivation and the structure of the sentence, most often it is expressed in a quotation from the song text, which is absolutely not characteristic of the motive. The isolation and analysis of the poetic formulas of text corpora can provide a visual representation of a particular tradition. The aim of the study is to demonstrate the folk material recorded in the Irtysh through the prism of comparative analysis with the material of the maternal tradition. To isolate poetic formulas, the author has compiled a systematic, informative catalog that does not allow the full scope of the article to be published. But for clarity, the work demonstrated selected groups reflecting the architectonics of songs and containing their classification and systematization sections. The study resulted in conclusions that, on the one hand, the classification and systematization of regional Omsk records demonstrates a significant degree of loss of resettlement material. This is manifested in a small number of selected poetic formulas (in comparison with the place of outcome of the tradition), in the fragmentaryness and loss of textual elements, as part of subject groups. On the other hand, there is a strong connection with the maternal tradition which is reflected in the presence of typical ritual formulas, their full or partial coincidence with the formulas of а Belarusian texts.

Heinrich Seuse in Melk

2017 ◽  
Vol 139 (2) ◽  
Author(s):  
Antje Willing
Keyword(s):  
The Other ◽  
German Version ◽  
Strong Connection ◽  
14Th Century ◽  
Low German ◽  
Other Hand ◽  
German Regions ◽  
The One

AbstractIn this study, the strong connection existing between the High German and the Low German transmission of Heinrich Seuse’s ›Büchlein der ewigen Weisheit‹ is shown on the basis of the codices 235 and 1389 of the Stiftsbibliothek Melk, which have been written by Lienhart Peuger, as well as on the basis of codex 55 of the same library, which Peuger has edited. Both Melk 235 and Melk 1389 contain extensive enlargements of the text of the ›Büchlein‹ that have their origin in a German version of Seuse’s ›Horologium sapientiae‹ as well as in Saying 203 of the ›Buch der Vollkommenheit‹ of Pseudo-Engelhart von Ebrach; moreover, Peuger integrated these enlargements into the codex Melk 55 that was written by another hand. The same enlargements can also be found in a group of manuscripts of Low and Middle German provenance. That the High German transmission of the ›Büchlein der ewigen Weisheit‹ has been influenced by the Low German one, or vice versa, is furthermore proven by two other groups of manuscripts which are near to each other in the textual versions they transmit. These are, on the one hand, a group of Low German manuscripts which integrate to a great extent passages of the ›Horologium sapientiae‹ into the ›Büchlein der ewigen Weisheit‹, and, on the other hand, a group of High German manuscripts which have readings in common with the group named before, but which do not transmit the insertions contained in them. The redaction of the ›Büchlein der ewigen Weisheit‹ used by Lienhart Peuger for the copying of the codices Melk 235 and Melk 1389 was already in the 14th century so popular in the Low German and in the High German regions that Peuger even corrected an older version of the ›Büchlein‹ according to this redaction. Neither the edited versions, nor the textual connection between the Low German and the High German transmission can be inferred from Karl Bihlmeyer’s publication of the ›Büchlein‹ from 1907. Therefore, a new edition of the ›Büchlein‹ is necessary.

Interfacing

1994 ◽  
Author(s):  
Douglas Schenck ◽  
Peter Wilson
Keyword(s):  
The Other ◽  
Strong Connection ◽  
Information Base ◽  
Other Hand ◽  
The Subject

Interfacing allows you to define a schema and then use some or all of the material in it to build other ones. The basic idea is simple, and common in the programming world. However, the EXPRESS rendition of the interface has some twists and turns that go beyond the simple mechanics involved of importing declarations. Note: Ada, Modula-2 and some variants of Pascal to mention a few offer similar capabilities. The introduction of the schema earlier characterized it as a container for the work you do. But, no distinctions about the kind of work was ever made. That is because EXPRESS makes no such distinction. A schema can represent a library of basic definitions, a collection gathered in preparation for assembly into a final product or the description of the information base you eventually wish to build. There is a strong connection between the properties of the information base and interfacing. Specific interface specifications are used to define those properties. EXPRESS takes the view that, in the information base, certain objects will be more important than others. Values of datatypes (an integer for example) are always seen as ‘less important.’ Values of specific entity types can be seen as ‘more important’ or ‘less important’ as need dictates. This is where the twists and turns enter the picture. In EXPRESS, the interface does more than assemble diverse objects into a whole — it also defines certain properties of them for a given context. Let’s return to the subject of less or more important objects. On one hand it is reasonable to regard an integer and an entity (no matter how complex it is) on the same level. After all, both can exist, both have well defined behavior, etc. On the other hand, we do not attach the same importance to those things as they exist in the information base. This premise can be tested by asking the questions: Will I ask for a list of all the integer values independent of how they are used? (never) versus Will I ask for a list of all the values of some entity? (sometimes yes, sometimes no). By extension, it might be possible that certain entity types should be treated in the same manner as integers while others are not.

scholarly journals On mathematical instrumentalism

2005 ◽  
Vol 70 (3) ◽  
pp. 778-794 ◽  
Author(s):  
Patrick Caldon ◽  
Aleksandar Ignjatović
Keyword(s):  
Equational Theory ◽  
Reverse Mathematics ◽  
The Other ◽  
Conservative Extension ◽  
Philosophical View ◽  
Other Hand ◽  
Primitive Recursive Arithmetic ◽  
Speed Up ◽  
Primitive Recursive

AbstractIn this paper we devise some technical tools for dealing with problems connected with the philosophical view usually called mathematical instrumentalism. These tools are interesting in their own right, independently of their philosophical consequences. For example, we show that even though the fragment of Peanos Arithmetic known as IΣ1 is a conservative extension of the equational theory of Primitive Recursive Arithmetic (PRA). IΣ1 has a super-exponential speed-up over PRA. On the other hand, theories studied in the Program of Reverse Mathematics that formalize powerful mathematical principles have only polynomial speed-up over IΣ1.

A study of cometary eruptions through OH radio-lines

1999 ◽  
Vol 173 ◽  
pp. 249-254
Author(s):  
A.M. Silva ◽  
R.D. Miró
Keyword(s):  
Short Duration ◽  
Growth Curves ◽  
The Other ◽  
Initial Mass ◽  
Radio Lines ◽  
Other Hand ◽  
Sudden Rise

AbstractWe have developed a model for theH2OandOHevolution in a comet outburst, assuming that together with the gas, a distribution of icy grains is ejected. With an initial mass of icy grains of 108kg released, theH2OandOHproductions are increased up to a factor two, and the growth curves change drastically in the first two days. The model is applied to eruptions detected in theOHradio monitorings and fits well with the slow variations in the flux. On the other hand, several events of short duration appear, consisting of a sudden rise ofOHflux, followed by a sudden decay on the second day. These apparent short bursts are frequently found as precursors of a more durable eruption. We suggest that both of them are part of a unique eruption, and that the sudden decay is due to collisions that de-excite theOHmaser, when it reaches the Cometopause region located at 1.35 × 105kmfrom the nucleus.

Closing the GAP—A 5Å Scanning Microscope

1969 ◽  
Vol 27 ◽  
pp. 6-7
Author(s):  
A. V. Crewe
Keyword(s):  
Normal Form ◽  
The Other ◽  
Resolving Power ◽  
Scanning Microscope ◽  
Conventional Microscope ◽  
Other Hand ◽  
Closing The Gap ◽  
Thermal Sources ◽  
Better Than ◽  
Transmission Microscope

We have become accustomed to differentiating between the scanning microscope and the conventional transmission microscope according to the resolving power which the two instruments offer. The conventional microscope is capable of a point resolution of a few angstroms and line resolutions of periodic objects of about 1Å. On the other hand, the scanning microscope, in its normal form, is not ordinarily capable of a point resolution better than 100Å. Upon examining reasons for the 100Å limitation, it becomes clear that this is based more on tradition than reason, and in particular, it is a condition imposed upon the microscope by adherence to thermal sources of electrons.

Life Beyond 1MeV

1980 ◽  
Vol 38 ◽  
pp. 30-33
Author(s):  
K.H. Westmacott
Keyword(s):  
Electron Microscopy ◽  
Past Experience ◽  
The Other ◽  
Good Case ◽  
Other Hand ◽  
The U.S

Life beyond 1MeV – like life after 40 – is not too different unless one takes advantage of past experience and is receptive to new opportunities. At first glance, the returns on performing electron microscopy at voltages greater than 1MeV diminish rather rapidly as the curves which describe the well-known advantages of HVEM often tend towards saturation. However, in a country with a significant HVEM capability, a good case can be made for investing in instruments with a range of maximum accelerating voltages. In this regard, the 1.5MeV KRATOS HVEM being installed in Berkeley will complement the other 650KeV, 1MeV, and 1.2MeV instruments currently operating in the U.S. One other consideration suggests that 1.5MeV is an optimum voltage machine – Its additional advantages may be purchased for not much more than a 1MeV instrument. On the other hand, the 3MeV HVEM's which seem to be operated at 2MeV maximum, are much more expensive.

Can the Academic Self-Concept be Positive and Realistic?

2005 ◽  
Vol 19 (3) ◽  
pp. 129-132 ◽  
Author(s):  
Reimer Kornmann
Keyword(s):  
Academic Performance ◽  
Opposite Effect ◽  
Self Esteem ◽  
Point Of View ◽  
The Other ◽  
Self Concept ◽  
High Ability ◽  
Self Image ◽  
Other Hand

Summary: My comment is basically restricted to the situation in which less-able students find themselves and refers only to literature in German. From this point of view I am basically able to confirm Marsh's results. It must, however, be said that with less-able pupils the opposite effect can be found: Levels of self-esteem in these pupils are raised, at least temporarily, by separate instruction, academic performance however drops; combined instruction, on the other hand, leads to improved academic performance, while levels of self-esteem drop. Apparently, the positive self-image of less-able pupils who receive separate instruction does not bring about the potential enhancement of academic performance one might expect from high-ability pupils receiving separate instruction. To resolve the dilemma, it is proposed that individual progress in learning be accentuated, and that comparisons with others be dispensed with. This fosters a self-image that can in equal measure be realistic and optimistic.

Sign in / Sign up

Export Citation Format

Share Document