Results 1 to 10 of about 35,534 (193)

ERNA and Friedman's Reverse Mathematics [PDF]

open access: yesThe Journal of Symbolic Logic, 2011
AbstractElementary Recursive Nonstandard Analysis, in short ERNA, is a constructive system of nonstandard analysis with a PRA consistency proof, proposed around 1995 by Patrick Suppes and Richard Sommer. Recently, the author showed the consistency of ERNA with several transfer principles and proved results of nonstandard analysis in the resulting ...
Sanders, Sam, Sam Sanders
openaire   +5 more sources

Fra Jern-Erna til Erna er Stjerna [PDF]

open access: yes, 2023
Formålet med dette prosjektet er å avdekke hvilket image som konstrueres i et utvalg landsmøtetaler holdt av tidligere Høyreleder og Statsminister Erna Solbergs. Det brukes en kvalitativ tekstanalyse med nærlesing som tilnærming, og det bygges på innsikter fra retorikken.
Sebastian Johnsrud
openaire   +2 more sources

Role of eRNAs in Cardiovascular Diseases. [PDF]

open access: yesCurr Cardiol Rev
Enhancer RNAs (eRNAs), a class of non-coding RNAs transcribed from enhancer regions, have emerged as critical regulators of gene expression in cardiovascular diseases (CVDs), which are among the leading causes of morbidity and mortality in China.
Li Y   +5 more
europepmc   +3 more sources

eRNAs reach the heart of transcription [PDF]

open access: yesCell Research, 2013
Recently, various studies shed light on the functional significance of enhancer RNAs. Two recent studies published in Nature by Li et al. and Lam et al. highlight the importance of these newly characterized RNA molecules and their key role in controlling transcriptional programs.
Carlos A Melo   +2 more
openaire   +2 more sources

Opening the Chromatin by eRNAs [PDF]

open access: yesMolecular Cell, 2013
Enhancer RNAs (eRNAs) have emerged as an important component of transcriptional activation. In this issue, Mousavi et al. (2013) have uncovered a critical role for eRNAs in regulation of myogenic differentiation program through increasing chromatin accessibility at MyoD and MyoG loci.
openaire   +2 more sources

Transfer and a supremum principle for ERNA [PDF]

open access: yesJournal of Symbolic Logic, 2008
AbstractElementary Recursive Nonstandard Analysis, in short ERNA, is a constructive system of nonstandard analysis proposed around 1995 by Patrick Suppes and Richard Sommer, who also proved its consistency inside PRA. It is based on an earlier system developed by Rolando Chuaqui and Patrick Suppes, of which Michal Rössler and Emil Jeřábek have recently
Impens, Chris, Sanders, Sam
openaire   +3 more sources

Erna

open access: yes, 2011
Source: Charlotte von Ahlefeld: Erna. Kein Roman, Altona: Johann Friedrich Hammerich, 1820.
openaire   +1 more source

Home - About - Disclaimer - Privacy