This is a reply to Timothy Williamson’s paper ‘Tennant’s Troubles’. It defends against Williamson’s objections the anti-realist’s knowability principle based on the author’s ‘local’ restriction strategy involving Cartesian propositions, set out in The Taming of the True. Williamson’s purported Fitchian reductio, involving the unknown number of books on his table, is analyzed in detail and shown...

This paper focuses on three research questions which are connected with combinations of modal logics: (i) Under which conditions can (frame-)completeness (and related properties) be transferred from a propositional modal logic (PML) to its quantificational counterpart (QML)? (ii) Does (frame-) completeness generally transfer from monomodal QMLs to their multimodal combination? (iii) Can complet...

We introduce the notion of L2-rigidity for von Neumann algebras, a generalization of property (T) which can be viewed as an analogue for the vanishing of 1-cohomology into the left regular representation of a group. We show that L2rigidity passes to normalizers and is satisfied by nonamenable II1 factors which are non-prime, have property Γ, or are weakly rigid. As a consequence we obtain that ...

We formulate the generation of finite dimensional pointed Hopf algebras by group-like elements and skew-primitives in geometric terms. This is done through a more general study connected coconnected inside braided fusion category C. describe such as orbits for action reductive group on an affine variety. then show that closed are precisely Nichols algebras, all other therefore deformations alge...

This is an attempt at reviving Kneale's version of the description theory of names, which says that a proper name is synonymous with a definite description of the form 'the individual named so-and-so'. To begin with, I adduce a wide range of observations to show that names and overt definites are alike in all relevant respects. I then turn to Kripke's main objection against Kneale's proposal, a...

We prove a structure theorem for triangulated Calabi-Yau categories: An algebraic 2-Calabi-Yau triangulated category over an algebraically closed field is a cluster category iff it contains a cluster tilting subcategory whose quiver has no oriented cycles. We prove a similar characterization for higher cluster categories. As an application to commutative algebra, we show that the stable categor...

Solar energy represents one of the most abundant and yet least harvested sources of renewable energy. In recent years, tremendous progress has been made in developing photovoltaics that can be potentially mass deployed. Of particular interest to cost-effective solar cells is to use novel device structures and materials processing for enabling acceptable efficiencies. In this regard, here, we re...

The cochaperone Sti1/Hop physically links Hsp70 and Hsp90. The protein exhibits one binding site for Hsp90 (TPR2A) and two binding sites for Hsp70 (TPR1 and TPR2B). How these sites are used remained enigmatic. Here we show that Sti1 is a dynamic, elongated protein that consists of a flexible N-terminal module, a long linker and a rigid C-terminal module. Binding of Hsp90 and Hsp70 regulates the...

The 2.5 MeV injector for the Spallation Neutron Source is currently under construction at LBNL, which includes a 2.5 MeV high power, high duty factor four vane RFQ made of four modules. Transverse mode stabilization is obtained through a series of cross coupling rods. Each of the four RFQ modules is equipped with twenty fixed tuners, two active power and two vacuum ports. Fine frequency tuning ...

Human motor behavior can be generated using distributed system. In this study, human standing-up motion is focused as an important daily activity. Especially, 13 muscle activation of lower body and trunk during human standing-up motion is decomposed into small numbers of modules of synchronized muscle activation called muscle synergy. Moreover human musculoskeletal model is developed with four ...