A Proof-Theoretic Analysis of Theories for Stratified Inductive Definitions

In this article we study subsystems SIDᵥ of the theory ID₁ in which fixed point induction is restricted to properly stratified formulas.

The Reference Interview: Theories and Practice

The reference librarian's task is to translate the patron's question into one that can be answered with the library's resources. The first element of that task is to know what the patron wants; the second is to know what resources the library has and how to use them. Reference librarians must learn continuously throughout their careers, both because new resources become available, but also because patrons present questions requiring new resources. This article will focus on how to determine what kind of information the patron needs through the reference interview.

Gravity potential spherical harmonic series

Time variable gravity fields, reflecting variations of mass distribution in the system Earth is one of the key parameters to understand the changing Earth. Mass variations are caused either by redistribution of mass in, on or above the Earth's surface or by geophysical processes in the Earth's interior. The first set of observations of monthly variations of the Earth gravity field was provided by the US/German GRACE satellite mission beginning in 2002. This mission is still providing valuable information to the science community. However, as GRACE has outlived its expected lifetime, the geoscience community is currently seeking successor missions in order to maintain the long time series of climate change that was begun by GRACE. Several studies on science requirements and technical feasibility have been conducted in the recent years. These studies required a realistic model of the time variable gravity field in order to perform simulation studies on sensitivity of satellites and their instrumentation. This was the primary reason for the European Space Agency (ESA) to initiate a study on ''Monitoring and Modelling individual Sources of Mass Distribution and Transport in the Earth System by Means of Satellites''. The goal of this interdisciplinary study was to create as realistic as possible simulated time variable gravity fields based on coupled geophysical models, which could be used in the simulation processes in a controlled environment. For this purpose global atmosphere, ocean, continental hydrology and ice models were used. The coupling was performed by using consistent forcing throughout the models and by including water flow between the different domains of the Earth system. In addition gravity field changes due to solid Earth processes like continuous glacial isostatic adjustment (GIA) and a sudden earthquake with co-seismic and post-seismic signals were modelled. All individual model results were combined and converted to gravity field spherical harmonic series, which is the quantity commonly used to describe the Earth's global gravity field. The result of this study is a twelve-year time-series of 6-hourly time variable gravity field spherical harmonics up to degree and order 180 corresponding to a global spatial resolution of 1 degree in latitude and longitude. In this paper, we outline the input data sets and the process of combining these data sets into a coherent model of temporal gravity field changes. The resulting time series was used in some follow-on studies and is available to anybody interested.

Stausberg, M. Contemporary Theories of Religion. A Critical Companion, New York, Routledge, Nueva York, 2009, 309 pp. ISBN: 978-0415463478

Fil: Bogdan, Guillermina. Universidad Nacional de La Plata. Facultad de Humanidades y Ciencias de la Educación; Argentina.

Stausberg, M. Contemporary Theories of Religion. A Critical Companion, New York, Routledge, Nueva York, 2009, 309 pp. ISBN: 978-0415463478

Fil: Bogdan, Guillermina. Universidad Nacional de La Plata. Facultad de Humanidades y Ciencias de la Educación; Argentina.

Stausberg, M. Contemporary Theories of Religion. A Critical Companion, New York, Routledge, Nueva York, 2009, 309 pp. ISBN: 978-0415463478

Fil: Bogdan, Guillermina. Universidad Nacional de La Plata. Facultad de Humanidades y Ciencias de la Educación; Argentina.

Major nannofossils, carbon and oxygen isotopes and carbon composition of ODP leg 194 site survey gravity cores

Biostratigraphic, sedimentologic, and geochemical analyses of hemipelagic periplatform sediments from shallow gravity cores taken during the Ocean Drilling Program Leg 194 site survey reveal that, despite the strong currents and almost infilled intraplatform bathymetric depressions, recent sedimentation at the location of the Leg 194 drill sites recorded glacial-interglacial cycles. Sediment analyses included determination of sediment type, carbonate content, bulk stable oxygen isotope composition, and calcareous nannofossil zones. Glacial periods, identified by elevated bulk d18O, are characterized by darker sediment color, coarser grain size, and lower carbonate content, whereas interglacial periods yield lighter-colored, finer, and carbonate-rich sediments. These data from the shallowmost few meters of Marion Plateau sediments complement the subsurface information of Leg 194 holes, in which the top few meters have not been analyzed in such a high-resolution fashion. In addition, these gravity cores are more likely to have recovered the sediments closest to the sediment/water interface as compared to the hydraulic piston cores collected during Leg 194.

Tab. 2: Gravity measurements of the Inntal underground at Thaur

A cross-section of the Inn-valley has been surveyed by refraction- and refiection-seismic and gravimetrie methods. The thickness of the Inn-va.!ley sediments is 340- 390 m. At the northern edge of the valley an intermediate layer between sediments and basement has been detected, which is up to 300 ITl thick. This zone seems to mark the boundary of the northern calcareous alps.

Gravity mapping in the southern Weddell Sea region, Antarctica (Scale 1:2 000 000)

New maps of free-air and the Bouguer gravity anomalies on the Weddell Sea sector (70-81° S, 6-75° W) of Antarctica are presented. These maps are based on the first computer compilation of available gravity data collected by ''Sevmorgeologia'' in 1976-89 in the southern Weddell Sea and adjacent coasts of western Dronning Maud Land (WDML) and Coats Land. The accomplished gravity studies comprise airborne observations with a line spacing of about 20 km and conventional measurements at over-the-ice points, which were spaced at 10-30 km and supplemented by seismic soundings. Hence, anomalies on the maps represent mainly large-scale and deep crustal features. The dominant feature in free-air gravity map is a large dipolar gravity anomaly stretching along the continental margin. Following the major grain of seabed morphology this shelf-edge/slope anomaly (SESA) is clearly divided into three segments characterized by diverse anomaly amplitudes, wavelengths and trends. They are associated with continental margins of different geotectonic provinces of Antarctica surrounding the Weddell Sea. Apparent distinctions in the SESA signatures are interpreted as the gravity expression of tectonic, deep crustal structure segmentation of the continental margin. The prominent gravity highs (100-140 mGal) of the shelf edge anomaly mapped along WDML are assumed to represent high-density mantle injections intruded into the middle/lower crust during initial rifting of continental breakup. Enlarged wavelengths and diminished amplitudes of the gravity anomaly westwards, along the Weddell Sea embayment (WSE) margin, reflect a widening of the continental slope and a significant increase in thickness of underlying sediment strata. Low amplitude, negative free-air anomalies in the Filchner-Ronne Ice Shelves (FRIS) contrast sharply with the dominating positive anomalies offshore. This indicates a greater sedimentary thickness of the basin in this area. Crustal response to the enlarged sediment load is impressed in mostly positive features of the Bouguer gravity field observed here. Two pronounced positive Bouguer anomalies of 50-70 mGal and an average widths of 200 km dominate the Weddell Sea embayment margins towards the Antarctic Peninsula and the East Antarctic craton. They correlate well with very deep seabed troughs (> 1000 m below sea level). The gravity highs are most likely caused by a shallow upper mantle underneath graben-rift structures evolved at the margins of the WSE basin. A regional zone (> 100 km in width) of the prominent Bouguer and free-air negative anomalies (-40 to -60 mGal) adjacent Coats Land to the north of the ice shelf edge may indicate the presence of the thick old cratonic crust far offshore beneath the Weddell Sea Embayment.