846 research outputs found
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
mK and the corresponding transversal reduced emittance m rad 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 -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 -logical validity can then be countenanced within a coalgebraic logic, and -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 -logical validity correspond to those of second-order logical consequence, -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
- …