Reverse mathematics, countable and uncountable: a computational approach

Author(s):  
Richard A. Shore
2010 ◽  
Vol 16 (3) ◽  
pp. 378-402 ◽  
Author(s):  
Richard A. Shore

AbstractThis paper is essentially the author's Gödel Lecture at the ASL Logic Colloquium '09 in Sofia extended and supplemented by material from some other papers. After a brief description of traditional reverse mathematics, a computational approach to is presented. There are then discussions of some interactions between reverse mathematics and the major branches of mathematical logic in terms of the techniques they supply as well as theorems for analysis. The emphasis here is on ones that lie outside the usual main systems of reverse mathematics. While retaining the usual base theory and working still within second order arithmetic, theorems are described that range from those far below the usual systems to ones far above.


Author(s):  
S. Nakahara ◽  
D. M. Maher

Since Head first demonstrated the advantages of computer displayed theoretical intensities from defective crystals, computer display techniques have become important in image analysis. However the computational methods employed resort largely to numerical integration of the dynamical equations of electron diffraction. As a consequence, the interpretation of the results in terms of the defect displacement field and diffracting variables is difficult to follow in detail. In contrast to this type of computational approach which is based on a plane-wave expansion of the excited waves within the crystal (i.e. Darwin representation ), Wilkens assumed scattering of modified Bloch waves by an imperfect crystal. For localized defects, the wave amplitudes can be described analytically and this formulation has been used successfully to predict the black-white symmetry of images arising from small dislocation loops.


Author(s):  
Elizabeth S Baranowski ◽  
Sreejita Ghosh ◽  
Cedric HL Shackleton ◽  
Angela E Taylor ◽  
Beverly A Hughes ◽  
...  

2020 ◽  
Author(s):  
Francisco Andújar-Vera ◽  
Cristina García-Fontana ◽  
Sheila González-Salvatierra ◽  
Manuel Muñoz-Torres ◽  
Beatriz García-Fontana

2019 ◽  
Author(s):  
Sayan Mondal ◽  
Gary Tresadern ◽  
Jeremy Greenwood ◽  
Byungchan Kim ◽  
Joe Kaus ◽  
...  

<p>Optimizing the solubility of small molecules is important in a wide variety of contexts, including in drug discovery where the optimization of aqueous solubility is often crucial to achieve oral bioavailability. In such a context, solubility optimization cannot be successfully pursued by indiscriminate increases in polarity, which would likely reduce permeability and potency. Moreover, increasing polarity may not even improve solubility itself in many cases, if it stabilizes the solid-state form. Here we present a novel physics-based approach to predict the solubility of small molecules, that takes into account three-dimensional solid-state characteristics in addition to polarity. The calculated solubilities are in good agreement with experimental solubilities taken both from the literature as well as from several active pharmaceutical discovery projects. This computational approach enables strategies to optimize solubility by disrupting the three-dimensional solid-state packing of novel chemical matter, illustrated here for an active medicinal chemistry campaign.</p>


Sign in / Sign up

Export Citation Format

Share Document