搜索结果: 1-15 共查到“理学 forcing”相关记录235条 . 查询时间(0.062 秒)
Random forcing and (S) and (L)
Random forcing (S) (L)
2015/8/17
In this article I will analyze the impact of forcing with a measure algebra on various topological statements. In particular our interest will focus on the study of hereditary separability and the her...
PROPER FORCING,CARDINAL ARITHMETIC,AND UNCOUNTABLE LINEAR ORDERS
PROPER FORCING CARDINAL ARITHMETIC UNCOUNTABLE LINEAR ORDERS
2015/8/17
In this paper I will communicate some new consequences of the Proper Forcing Axiom. First, the Bounded Proper Forcing Axiom implies that there is a well ordering of R which is Σ1-definable in (H(ω2), ...
THE PROPER FORCING AXIOM,PRIKRY FORCING,AND THE SINGULAR CARDINALS HYPOTHESIS
FORCING AXIOM PRIKRY FORCING SINGULAR CARDINALS
2015/8/17
The purpose of this paper is to present some results which suggest that the Singular Cardinals Hypothesis follows from the Proper Forcing Axiom. What will be proved is that a form of simultaneous refl...
The Proper Forcing Axiom
Forcing axiom Martin’s Axiom OCA Open Coloring Axiom PID P-ideal Dichotomy proper forcing PFA
2015/8/17
The Proper Forcing Axiom is a powerful extension of the Baire Category Theorem which has proved highly effective in settling mathematical statements which are independent of ZFC. In contrast to the Co...
The notes which follow reflect the content of a two day tutorial which took place at the Fields Institute on 5/29 and 5/30 in 2009. Most of the content has existed in the literature for some time (pri...
FORCING AXIOMS AND THE CONTINUUM HYPOTHESIS,PART II:TRANSCENDING ω1-SEQUENCES OF REAL NUMBERS
FORCING AXIOMS CONTINUUM HYPOTHESIS TRANSCENDING ω1-SEQUENCES OF REAL NUMBERS
2015/8/17
The purpose of this article is to prove that the forcing axiom for completely proper forcings is inconsistent with the Continuum Hypothesis. This answers a longstanding problem of Shelah.
One way to formulate the Baire Category Theorem is that no compact space can be covered by countably many nowhere dense sets. Soon after Cohen’s discovery of forcing, it was realized that it was natur...
Navy Operational Global Atmospheric Prediction System (NOGAPS): Forcing for Ocean Models
Atmospheric Prediction System Ocean Models
2015/7/31
Modeling the interactions between the atmosphere and ocean has become a very active research area in the meteorological and oceanographic communities in recent years. Several factors have contributed ...
Long-Term Impacts of Anthropogenic Forcing on the Black Sea Ecosystem
Anthropogenic Forcing Black Sea Ecosystem
2015/7/27
The Black Sea, a nearly enclosed and isolated environment, has suffered from severe ecological changes during the last three decades. It has been converted from an oligotrophic (less than 100 grams of...
Forcing and Dynamics of Seafloor-Water Column Exchange on a Broad Continental Shelf
Forcing and Dynamics Seafloor-Water Column Exchange Broad Continental Shelf
2015/7/22
Relict sediments of elevated permeability characterize the majority of continental shelves globally (Emery, 1968). In these settings, interactions between benthic boundary layer (BBL) flows and seabed...
Interannual to Interdecadal Salinity Variations Observed Near Hawaii:Local and Remote Forcing by Surface Freshwater Fluxes
Interdecadal Salinity Variations Observed Near Hawaii Local and Remote Forcing Surface Freshwater Fluxes
2015/7/20
Ray Schmitt's introduction to this issue underlines the importance of including the oceanic component of the hydrological cycle in considerations of Earth's climate. Spatial and temporal salinity vari...
Advances in Marine Ecosystem Dynamics from US GLOBEC: The Horizontal-Advection Bottom-up Forcing Paradigm
Global ocean ecosystem dynamics ecosystem climate Marine ecosystems
2015/7/16
A primary focus of the US Global Ocean Ecosystem Dynamics (GLOBEC) program was to identify the mechanisms of ecosystem response to large-scale climate forcing under the assumption that bottom-up forci...
Recent Arctic Climate Change and Its Remote Forcing of Northwest Atlantic Shelf Ecosystems
Climate Change Northwest Atlantic Shelf Ecosystems
2015/7/15
During recent decades, historically unprecedented changes have
been observed in the Arctic as climate warming has increased precipitation, river
discharge, and glacial as well as sea ice melting. ...
Study finds sudden shift in “forcing” led to demise of Laurentide ice sheet
forcing led to demise Laurentide ice sheet
2015/7/13
A new study has found that the massive Laurentide ice sheet that covered Canada during the last ice age initially began shrinking through calving of icebergs, and then abruptly shifted into a new regi...
PORT, a CESM tool for the diagnosis of radiative forcing
PORT CRM tool diagnosis radiative forcing
2014/12/16
The Parallel Offline Radiative Transfer (PORT) model is a stand-alone tool, driven by model-generated datasets, that can be used for any radiation calculation that the underlying radiative transfer sc...