We highlight that the connection of well-foundedness and recursive definitions is more than just convenience. While the consequences of making well-foundedness a sufficient condition for the existence of hierarchies have been extensively studied, we point out that well-foundedness is a necessary condition for the existence of hierarchies e.g. that even in an intuitionistic setting α⊢wfwhereα\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${_\alpha \vdash \mathsf{wf}\, {\rm where}\, _\alpha}$$\end{document} stands for the iteration of Π10\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} (...) \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Pi^0_1}$$\end{document} comprehension along some ordinal α\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\alpha}$$\end{document} and wf\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf{wf}}$$\end{document} stands for the well-foundedness of α\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\alpha}$$\end{document}. (shrink)

The H19 gene produces a non‐coding RNA, which is abundantly expressed during embryonic development and down‐regulated after birth. Although this gene was discovered over 20 years ago, its function has remained unclear. Only recently a role was identified for the non‐coding RNA and/or its microRNA partner, first as a tumour suppressor gene in mice, then as a trans‐regulator of a group of co‐expressed genes belonging to the imprinted gene network that is likely to control foetal and early postnatal growth in (...) mice. The mechanisms underlying this transcriptional or post‐transcriptional regulation remain to be discovered, perhaps by identifying the protein partners of the full‐length H19 RNA or the targets of the microRNA. This first in vivo evidence of a functional role for the H19 locus provides new insights into how genomic imprinting helps to control embryonic growth. (shrink)

Das neue Buch des bereits mit zahlreichen Arbeiten besonders zum Vierten Kreuzzug hervorgetretenen Autors setzt sich aus drei unterschiedlichen, wenn auch eng miteinander verwobenen Teilen zusammen: einer Untersuchung zur Familie und zur Biographie des Dogen Enrico Dandolo, einer Darstellung von Politik und Verfassungsgeschichte Venedigs im 12. Jahrhundert und einer Geschichte des Vierten Kreuzzugs. Die Erzähl- und Argumentationsstränge der drei Teile sind vielfach miteinander verschränkt und verfolgen gemeinsam ein viertes Ziel: anschaulich zu machen, daß die politischen und verfassungsrechtlichen Entwicklungen des (...) 12. Jahrhunderts, besonders aber die mit der Person des Enrico Dandolo eng verbundenen Geschehnisse des Vierten Kreuzzugs die Stadt Venedig fundamental veränderten und sie von einer Kaufmannsrepublik (merchant republic) zu einer Seemacht (maritime empire) werden ließen. (shrink)