Existential definability of modal frame classes

We prove an existential analogue of the Goldblatt-Thomason Theorem which characterizes modal definability of elementary classes of Kripke frames using closure under model theoretic constructions. The less known version of the Goldblatt-Thomason Theorem gives general conditions, without the assumption of first-order definability, but uses non-standard constructions and algebraic semantics. We present a non-algebraic proof of this result and we prove an analogous characterization for an alternative notion of modal definability, in which a class is defined by formulas which are satisfiable under any valuation (the so-called existential validity). Continuing previous work in which model theoretic characterization for this type of definability of elementary classes was proved, we give an analogous general result without the assumption of the first-order definability. Furthermore, we outline relationships between sets of existentially valid formulas corresponding to several well-known modal logics.     

Additive-Free Isomerization of Allylic Alcohols to Ketones with a Cobalt PNP Pincer Catalyst

Catalytic isomerization of allylic alcohols in ethanol as a green solvent was achieved by using air and moisture stable cobalt (II) complexes in the absence of any additives. Under mild conditions, the cobalt PNP pincer complex substituted with phenyl groups on the phosphorus atoms appeared to be the most active. High rates were obtained at 120 °C, even though the addition of one equivalent of base increases the speed of the reaction drastically. Although some evidence was obtained supporting a dehydrogenation–hydrogenation mechanism, it was proven that this is not the major mechanism. Instead, the cobalt hydride complex formed by dehydrogenation of ethanol is capable of double-bond isomerization through alkene insertion–elimination.     

Thermal and spectral stability of electroluminescent hyperbranched copolymers containing tetraphenylthiophene‐quinoline‐triphenylamine moieties

Fluorescent hyperbranched copolymers (HB‐x, x = 1–4) with inherent tetraphenylthiophene, triphenylamine (TPA) and quinoline (Qu) moieties were prepared to study the influence of the TPA branching point on the thermal and the spectral stability. All the HB‐x copolymers exhibited high glass transition temperatures (T_gs = 245–315 °C) with the detected values increasing with the increasing branching TPA content in the HB‐x. The solid HB‐x films possess high emission efficiency with the resulting quantum yields (?_Fs) in the ranges of 0.72–0.74. More importantly, the HB‐x copolymers and the derived light‐emitting devices exhibit high photoluminescence (PL) and electroluminescence (EL) stability towards thermal annealing at temperatures higher than 200 °C. After annealing at 200 °C (or 300 °C), no change was observed in the respective PL and EL spectra of HB‐1 (or HB‐4) copolymers. The spectral stability was found to correlate with T_g and with the highest branching density, HB‐4 copolymer possesses the highest thermal stability among all HB‐xs and show no EL spectral change after annealing at 300 °C for 4 h. The results indicate that all the branched HB‐x copolymers are promising candidates for the polymer light‐emitting diodes due to their high quantum yield and spectral stability. © 2011 Wiley Periodicals, Inc. J Polym Sci Part A: Polym Chem, 2012     

Filtrations of generalized Veltman models

The filtration method is often used to prove the finite model property of modal logics. We adapt this technique to the generalized Veltman semantics for interpretability logics. In order to preserve the defining properties of generalized Veltman models, we use bisimulations to define adequate filtrations. We give an alternative proof of the finite model property of interpretability logic with respect to Veltman models, and we prove the finite model property of the systems and with respect to generalized Veltman models.     

Guanidine Additive Enabled Intermolecular ortho-Phthalaldehyde-Amine-Thiol Three-Component Reactions for Modular Constructions

Recently, ortho-phthalaldehyde (OPA) is experiencing a renascence for the modification of proteins and peptides through OPA-amine two-component reactions for bioconjugation and intramolecular OPA-amine-thiol three-component reactions for cyclization. Historically, small thiol molecules were used in large excess to allow for the intermolecular OPA-amine-thiol reaction forming 1-thio-isoindole derivatives. In this study, we discovered that guanidine could serve as an effective additive to switch the intermolecular OPA-amine-thiol three-component reaction to a stoichiometric process and enable the modular construction of peptide-peptide, and peptide-drug conjugate structures. Thus, 12 model peptide-peptide conjugates have been synthesized from unprotected peptides featuring all proteinogenic residues. Besides, 6 peptide-drug conjugates have been prepared in one step, with excellent conversions and isolated yields. In addition, a conjugate product has been further functionalized by utilizing a premodified OPA derivative, demonstrating the versatility and flexibility of this reaction.     

Acido-base behavior of hydroxamic acids: experimental and ab initio studies on hydroxyureas

The values of Ka, DeltaSa, and DeltaHa for deprotonation of hydroxyurea (HU) and N-methylhydroxyurea (NMHU), as targeted compounds, and for betainohydroxamic acid, were potentiometrically determined. Although NMHU has two and HU even three deprotonation sites, the measurements confirm that they behave as weak acids with a single pK a approximately 10. Comparison with analogous thermodynamic parameters previously determined for series of monohydroxamic acids reveals deviations from a DeltaSa, vs DeltaHa plot for HU and NMHU, raising the question of the dissociation site of hydroxureas in water. In addition to the deprotonation of the hydroxyl oxygen, ab initio calculations performed at the MP2/6-311++G(d,p) level of theory for these two compounds indicate a notable participation of the nitrogen deprotonation site in HU. The calculations for the isolated, monohydrate, trihydrate, and decahydrate molecular and anionic forms of hydroxyureas support the importance of hydrogen bonding in the gas and aqueous phases. The hydroxylamino nitrogen in HU is the most acidic site in water, contributing approximately 94% to the overall deprotonation process at 25 degrees C. On the contrary, the hydroxylamino oxygen is by far the most favored deprotonation site in NMHU, contributing almost 100% in aqueous medium. The predicted participations of two deprotonation sites in HU, calculated at the MP2/6-311++G(d,p) level of theory, combined with the calculated relative reaction enthalpy and entropy for the deprotonation, satisfactorily explain the observed deviation from linearity of DeltaHa vs DeltaSa, plot. There is no such a simple explanation for acid-base behavior of NMHU.     

Synthesis, characterization, DNA-binding study and anticancer properties of ternary metal(II) complexes of edda and an intercalating ligand

A series of ternary metal(ii) complexes {M(phen)(edda); 1a (Cu), 1b (Co), 1c (Zn), 1d (Ni); H(2)edda = N,N(')-ethylenediaminediacetic acid} of N,N'-ethylene-bridged diglycine and 1,10-phenanthroline were synthesized and characterized by elemental analysis, FTIR, UV-visible spectroscopy and magnetic susceptibility measurement. The interaction of these complexes with DNA was investigated using CD and EPR spectroscopy. MTT assay results of 1a-1c , screened on MCF-7 cancer cell lines, show that synergy between the metal and ligands results in significant enhancement of their antiproliferative properties. Preliminary results from apoptosis and cell cycle analyses with flow cytometry are reported. seems to be able to induce cell cycle arrest at G(0)/G(1). The crystal structure of 1a is also included.     

Deflection Stability of Work-Hardening Structures

ABSTRACT

This paper considers the adaptation problem of structures of elastic-strain-hardening material. In particular, the modes of inadaptation of such structures are investigated, and the deflection response obtained. It is shown that recognition of the way in which the structure violates the shakedown limit can drastically reduce the amount of computational work involved in the evaluation of that limit. Finally, three possible failure modes of ductile structures are described.