Endothelial dysfunction in a child with Pearson marrow-pancreas syndrome managed with Descemet stripping automated endothelial keratoplasty using a suture pull-through techniqu

A 4-year-old girl with a history of Pearson marrow-pancreas syndrome presenting with severe, progressive photophobia was found to have bilateral, diffuse corneal thickening and peripheral pigmentary retinopathy. She underwent Descemet stripping automated endothelial keratoplasty (DSAEK) surgery in both eyes using a modified suture pull-through technique. Postoperatively there was no evidence of cataract formation or graft detachment; her corneas thinned, and her photophobia improved dramatically

Measurement of the temperature of an ultracold ion source using time-dependent electric fields

We report on a measurement of the characteristic temperature of an ultracold rubidium ion source, in which a cloud of laser-cooled atoms is converted to ions by photo-ionization. Extracted ion pulses are focused on a detector with a pulsed-field technique. The resulting experimental spot sizes are compared to particle-tracking simulations, from which a source temperature $T = (1 \pm 2)$ mK and the corresponding transversal reduced emittance $\epsilon_r = 7.9 X 10^{-9}$ m rad $\sqrt{\rm{eV}}$ are determined. We find that this result is likely limited by space charge forces even though the average number of ions per bunch is 0.022.Comment: 8 pages, 11 figure

Is a Trapped One-Dimensional Bose Gas a Luttinger Liquid?

The low-energy fluctuations of a trapped, interacting quasi one-dimensional Bose gas are studied. Our considerations apply to experiments with highly anisotropic traps. We show that under suitable experimental conditions the system can be described as a Luttinger liquid. This implies that the correlation function of the bosons decays algebraically preventing Bose-Einstein condensation. At significantly lower temperatures a finite size gap destroys the Luttinger liquid picture and Bose-Einstein condensation is again possible.Comment: 4 pages (revtex), 1 figure (eps file

Modal Ω-Logic: Automata, Neo-Logicism, and Set-Theoretic Realism

This essay examines the philosophical significance of $\Omega$-logic in Zermelo-Fraenkel set theory with choice (ZFC). The duality between coalgebra and algebra permits Boolean-valued algebraic models of ZFC to be interpreted as coalgebras. The modal profile of $\Omega$-logical validity can then be countenanced within a coalgebraic logic, and $\Omega$-logical validity can be defined via deterministic automata. I argue that the philosophical significance of the foregoing is two-fold. First, because the epistemic and modal profiles of $\Omega$-logical validity correspond to those of second-order logical consequence, $\Omega$-logical validity is genuinely logical, and thus vindicates a neo-logicist conception of mathematical truth in the set-theoretic multiverse. Second, the foregoing provides a modal-computational account of the interpretation of mathematical vocabulary, adducing in favor of a realist conception of the cumulative hierarchy of sets