We study the foundation of space-time theory in the framework of first-order logic (FOL). Since the foundation of mathematics has been successfully carried through (via set theory) in FOL, it is not entirely impossible to do the same for space-time theory (or relativity). First we recall a simple and streamlined FOL-axiomatization Specrel of special relativity from the literature. Specrel is complete with respect to questions about inertial motion. Then we ask ourselves whether we can prove the usual relativistic properties of accelerated motion (e.g., clocks in acceleration) in Specrel. As it turns out, this is practically equivalent to asking whether Specrel is strong enough to “handle” (or treat) accelerated observers. We show that there is a mathematical principle called induction (IND) coming from real analysis which needs to be added to Specrel in order to handle situations involving relativistic acceleration. We present an extended version AccRel of Specrel which is strong enough to handle accelerated motion, in particular, accelerated observers. Among others, we show that~the Twin Paradox becomes provable in AccRel, but it is not provable without IND. 相似文献
Enantioselective solubility of rac-norgestrel was found in the presence of γ-cyclodextrin or hydroxypropyl-γ-cyclodextrin.
In both cases the efficacious enantiomer was dissolved in greater extent. Calculating the molar absorptivity and molar ellipticity
spectra of the γ- and hydroxypropyl-γ-cyclodextrin aqueous complexes, a simple and rapid direct circular dichroism (CD) spectrometric
method was obtained for the determination of the enantiomer ratio in aqueous solutions. 相似文献
We establish an estimate on sums of shifted products of Fourier coefficients coming from holomorphic or Maass cusp forms
of arbitrary level and nebentypus. These sums are analogous to the binary additive divisor sum which has been studied extensively.
As an application we derive, extending work of Duke, Friedlander and Iwaniec, a subconvex estimate on the critical line for
L-functions associated to character twists of these cusp forms.
Received: 2 October 2001 / Revised version: 9 September 2002 /
Published online: 28 March 2003
Mathematics Subject Classification (2000): Primary 11F30, 11F37; Secondary 11M41. 相似文献
Soluble forms of aggregated tau misfolded protein, generally termed oligomers, are considered to be the most toxic species of the different assembly states that are the pathological components of neurodegenerative disorders. Therefore, a critical biomedical need exists for imaging probes that can identify and quantify them. We have designed and synthesized a novel fluorescent probe, pTP-TFE for which binding and selectivity profiles towards aggregated tau and Aβ proteins were assessed. Our results have shown pTP-TFE to be selective for early forms of soluble tau aggregates, with high affinity of dissociation constants (Kd) = 66 nM, and tenfold selectivity over mature tau fibrils. Furthermore, we found that pTP-TFE is selective for tau over Aβ aggregates and had good cell permeability. This selectivity of pTP-TFE towards early forms of aggregated tau protein ex vivo was also supported with studies on human brain tissue containing tau and Aβ pathology. To the best of our knowledge, this is the first fluorescent molecule to be reported to have this form of selectivity profile, which suggests that pTP-TFE is a unique probe candidate for imaging-based detection of early stages of Alzheimer''s disease and other tauopathies. pTP-TFE imaging probe can distinguish soluble tau aggregated proteins from other aggregated proteins enabling earlier detection of neurodegenerative diseases.相似文献
Although , (Fp η-C5H5Fe(CO)2) (I) is stable and characterizable, the lower homologue FpCH2CH(CO2CH3)2 (II) is not; this we attribute to a facile elimination reaction resulting from the relatively acidic β-hydrogen of II. Formation of I from Fp? and XCH2CE2CH3 (X Br, Cl; E CO2CH2CH3) and cleavage of its FeC bonds (using H+, Br2, CeIV and HgII) occur without major amounts of ester group migrations, even though ·CH2CE2CH3 radicals are involved in some of these reactions. 相似文献
Cobalt(II) compounds [Co(pyterpy)Cl(2)].MeOH (1.(MeOH)) and [Co(pyterpy)Cl(2)].2H(2)O (1.(2H(2)O)) were synthesized. The compound 1.(MeOH) forms the quasi 3-D networks by making pi-pi stacking between the 1-D chains. The methanol molecules from 1.(MeOH) can be removed by heating, and substituted by absorption of water molecules. The MeOH molecules in 1.(MeOH) are removed by heating at 410 K, and they are substituted by water molecules to form 1.(2H(2)O). 1.(2H(2)O) exhibits a S = (3)/(2) (HS) left arrow over right arrow S = (1)/(2) (LS) spin transition with a thermal hysteresis. We have succeeded in constructing a guest dependent 1-D spin-crossover cobalt(II) compound. 相似文献
Summary The fast flow technique with OH resonance fluorescence detection has been applied at T = 298 ± 2 K to study the kinetics of the overall reaction: H + CH3C(O)Cl → products (1) A rate constant value of k1 = (1.02 ± 0.12) x 1010 cm3 mol-1 s-1 has been determined which is the first direct kinetic parameter reported for reaction (1) in the literature (the error given
refers to 2σ accuracy). 相似文献