There are no maximal d.c.e. wtt-degrees

В статье доказывается, что не существует максимальной 2-в.п. wtt-степени в 2-в.п. wtt-степеня

A survey of results on the d-c.e. and n-c.e. degrees

© Springer International Publishing AG 2017.This paper is a survey on the upper semilattices of Turing and enumeration degrees of n-c.e. sets. Questions on the structural properties of these semilattices, and some model-theoretic properties are considered

Nondensity of double bubbles in the D.C.E. degrees

© Springer International Publishing AG 2017.In this paper, we show that the so-called “double bubbles” are not downward dense in the d.c.e. degrees. Here, a pair of d.c.e. degrees d1 > d2 > 0 forms a double bubble if all d.c.e. degrees below d1 are comparable with d2

Computability Theory

Computability is one of the fundamental notions of mathematics, trying to capture the effective content of mathematics. Starting from Gödel’s Incompleteness Theorem, it has now blossomed into a rich area with strong connections with other areas of mathematical logic as well as algebra and theoretical computer science

The volcaniclastic deposits of the main caldera and the evolution of the Galluccio Tuff of Roccamonfina volcano, Southern Italy

A thesis submitted in partial fulfilment of the requirements of the Council for National Academic Awards for the degree of Doctor of PhilosophyThe south-west portion of the main caldera was mapped and a stratigraphy for the caldera-fill was constructed. The exact timing of formation of the main caldera is unclear; However, caldera collapse either predates or was synchronous with the eruption of the Campagnola Tuff. The proximal facies of the Campagnola Tuff exists as a complex relation of ignimbrite, lithic breccia and pyroclastic surge deposits. Overlying this the Galluccio Tuff a compound ignimbrite, ~6 km3 D.R.E, forms the base of the exposed caldera fill. Caldera lakes then became well established and following activity was predominantly phreatomagmatic. Pyroclastic surge deposits possess sand wave structures of several types and their migration direction was apparently controlled by the velocity/flow regime of the surge rather than the moisutre content. The morphology of juvenile clasts from phreatomagmatic deposits indicates that the eruptions were driven by a combination of vesiculation and magma/water interaction. The uppermost pyroclastic deposits are thought to represent the early phase of dome building where water still had access to the vent. The construction of the lava domes brought activity to a close within the main caldera. The Galluccio Tuff on the flanks of the volcano may be divided into three compositionally distinct eruptive units. The Lower Galluccio Tuff, correlated with the bulk of the Galluccio Tuff filling the main caldera. The Middle Galluccio Tuff commenced with the eruption of pumice-rich pyroclastic flows followed by flows enriched in both the size and amount of lithic fragments forming lithic-rich ignimbrite and co-ignimbrite lithic breccias of which several types exist. The Upper Galluccio Tuff is composed of lithic-rich ignimbrite which possess dense pumice fragments and are thought to be the product of a combination of both vesiculation and magma water interaction. Field relations indicate that pyroclastic flows were sometimes generated in quick succession and may have overrun earlier slower moving flows. Occasionally internal shear may have caused the overriding of portions of the same flow, these often coincide with lithic breccias and represent the climax of the eruptive phases. The grading of lithic fragments indicates that the expansion and fluidization decreased and yield strength increased with time in a pyroclastic flow

Computability Theory

Computability and computable enumerability are two of the fundamental notions of mathematics. Interest in effectiveness is already apparent in the famous Hilbert problems, in particular the second and tenth, and in early 20th century work of Dehn, initiating the study of word problems in group theory. The last decade has seen both completely new subareas develop as well as remarkable growth in two-way interactions between classical computability theory and areas of applications. There is also a great deal of work on algorithmic randomness, reverse mathematics, computable analysis, and in computable structure theory/computable model theory. The goal of this workshop is to bring together researchers representing different aspects of computability theory to discuss recent advances, and to stimulate future work