Your use of the JSTOR archive indicates your acceptance of JSTOR's Terms and Conditions of Use, available at http://www.jstor.org/about/terms.html. JSTOR's Terms and Conditions of Use provides, in part, that unless you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may use content in the JSTOR archive only for your perso...

In a paper of 1933 Godel proved that every satisfiable first-order V2?3* sentence has a finite model. Actually he constructed a finite model in an ingenious and sophisticated way. In this paper we use a simple and straightforward probabilistic argument to establish existence of a finite model of an arbitrary satisfiable V123* sentence. ?0. Introduction. We consider the usual first-order logic o...

Your use of the JSTOR archive indicates your acceptance of JSTOR's Terms and Conditions of Use, available at . http://www.jstor.org/page/info/about/policies/terms.jsp. JSTOR's Terms and Conditions of Use provides, in part, that unless you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may use content in the JSTOR archive...

1079–1082, 2008 21. Hartleben B, Godel M, Meyer-Schwesinger C, Liu S, Ulrich T, Kobler S, Wiech T, Grahammer F, Arnold SJ, Lindenmeyer MT, Cohen CD, Pavenstadt H, Kerjaschki D, Mizushima N, Shaw AS, Walz G, Huber TB: Autophagy influences glomerular disease susceptibility and maintains podocyte homeostasis in aging mice. J Clin Invest 120: 1084–1096, 2010 22. Samanovic M, Molina-Portela MP, Ches...

Correspondence and offprint requests to: Michael S. Goligorsky; E-mail: [email protected] Comment on Hartleben B, Godel M, Meyer-Schwesinger C et al. Autophagy influences glomerular disease susceptibility and maintains podocyte homeostasis in aging mice. J Clin Invest 2010; 120: 1084–1096. Kume S, Uzu T, Horiike K et al. Calorie restriction enhances cell adaptation to hypoxia through ...

We study properties of metric segments in the class all spaces considered up to an isometry, endowed with Gromov--Hausdorff distance. On isometry classes compact spaces, Gromov-Hausdorff distance is a metric. A segment that consists points lying between two given ones. By von Neumann--Bernays--Godel (NBG) axiomatic set theory, proper monster collection, e.g., collection cardinal sets. prove any...

We introduce a new formal logic, called equality propositional logic. It has two basic connectives, $boldsymbol{wedge}$ (conjunction) and $equiv$ (equivalence). Moreover, the $Rightarrow$ (implication) connective can be derived as $ARightarrow B:=(Aboldsymbol{wedge}B)equiv A$. We formulate the equality propositional logic and demonstrate that the resulting logic has reasonable properties such a...