Filters
Results 1 - 10 of 17475
Results 1 - 10 of 17475.
Search took: 0.045 seconds
Sort by: date | relevance |
AbstractAbstract
[en] The Lindenbaum algebra of Peano PA can be enriched by the n-consistency operators which assign, to a given formula, the statement that the formula is compatible with the theory PA extended by the set of all true Πn-sentences. In the Lindenbaum algebra of PA, a lower semilattice is generated from 1 by the n-consistency operators. We prove the undecidability of the elementary theory of this semilattice and the decidability of the elementary theory of the subsemilattice (of this semilattice) generated by the 0-consistency and 1-consistency operators only. Bibliography: 16 titles.
Primary Subject
Source
Available from http://dx.doi.org/10.1070/SM2012v203n08ABEH004261; Country of input: International Atomic Energy Agency (IAEA)
Record Type
Journal Article
Journal
Sbornik. Mathematics; ISSN 1064-5616;
; v. 203(8); p. 1211-1229

Country of publication
Reference NumberReference Number
INIS VolumeINIS Volume
INIS IssueINIS Issue
AbstractAbstract
No abstract available
Primary Subject
Record Type
Journal Article
Journal
Scr. Met; v. 5 p. 191-193
Country of publication
Reference NumberReference Number
INIS VolumeINIS Volume
INIS IssueINIS Issue
AbstractAbstract
No abstract available
Primary Subject
Source
Available from http://dx.doi.org/10.1070/RM2012v067n03ABEH004801; Abstract only; Country of input: International Atomic Energy Agency (IAEA)
Record Type
Journal Article
Journal
Country of publication
Reference NumberReference Number
INIS VolumeINIS Volume
INIS IssueINIS Issue
AbstractAbstract
[en] The results of a study of the solubility of amorphous, hydrous ThO2 over the pH range 3.5 - 14.2 are reported. The solubility is high at pH 3.5 and decreases rapidly at pH 4.5. The chemical modes of solubility over various pH ranges are discussed. No conclusive evidence for any amphoteric behavior of Th(IV) is reported. 22 references, 1 figure
Record Type
Journal Article
Journal
Country of publication
Reference NumberReference Number
INIS VolumeINIS Volume
INIS IssueINIS Issue
Beaudry, B.J.; Spedding, F.H.
Proceedings of the tenth rare earth research conference, Carefree, Arizona, April 30--May 3, 19731973
Proceedings of the tenth rare earth research conference, Carefree, Arizona, April 30--May 3, 19731973
AbstractAbstract
No abstract available
Primary Subject
Source
Kevane, C.J.; Moeller, T. (eds.); Arizona State Univ., Tempe (USA); p. 554-562; 1973
Record Type
Report
Literature Type
Conference
Report Number
Country of publication
Reference NumberReference Number
INIS VolumeINIS Volume
INIS IssueINIS Issue
Long, Wang; Xing, Chengzong; Xu, Li; Liu, Guoji, E-mail: wanglong3767@163.com, E-mail: xuli@zzu.edu.cn, E-mail: guojiliu@zzu.edu.cn2019
AbstractAbstract
[en] The article is published in the original.
Primary Subject
Source
Copyright (c) 2019 Pleiades Publishing, Ltd.; Country of input: International Atomic Energy Agency (IAEA)
Record Type
Journal Article
Journal
Country of publication
Reference NumberReference Number
INIS VolumeINIS Volume
INIS IssueINIS Issue
AbstractAbstract
No abstract available
Source
Israel Atomic Energy Commission, Tel Aviv; p. 135; Jul 1982; p. 135; Published in summary form only.
Record Type
Report
Report Number
Country of publication
Reference NumberReference Number
INIS VolumeINIS Volume
INIS IssueINIS Issue
AbstractAbstract
[en] The phase boundary between the dilute phase and the two-phase region α+β of the vanadium tritide (VTsub(x)) system was determined for the first time. We observe a large shift of the terminal solubility to higher concentrations x as expected from the known behaviour of the VHsub(x) and VDsub(x) systems. The maximum solubility of the α-phase of VTsub(x) is about nine quarters of that for VHsub(x) in the temperature range between 25 and 800C. (orig./RK)
Primary Subject
Secondary Subject
Source
Record Type
Journal Article
Journal
Journal of Nuclear Materials; ISSN 0022-3115;
; v. 126(3); p. 234-238

Country of publication
Reference NumberReference Number
INIS VolumeINIS Volume
INIS IssueINIS Issue
AbstractAbstract
[en] In the Scotia and Weddell Seas the concentration of dissolved Al was 1-1.5 nM in ice-free surface waters, up to 3 nM in ice-covered waters and about 2.6 nM in bottom waters. The solubility and the dissolution rate of diatomaceous silica, obtained from net samples and from incubations in the presence or absence of dissolved Al, were inversely related to solid-phase Al/Si ratios. At in situ temperatures, dissolution rates from Antarctic diatoms are higher than those for diatoms from temperature regions. Effects on distribution patterns of silicic acid in the Weddell Sea are discussed. (author). 32 refs.; 3 figs.; 2 tabs
Primary Subject
Source
International Symposium on Biochemistry and Circulation of Water Masses in the Southern Ocean; Brest (France); 2-6 Jul 1990; This work was supported by the European Science Foundation, the Alfred Wegener Institute for Polar and Marine Research, Bremerhaven and the Netherlands Foundation for Oceanic Research (SOZ).
Record Type
Journal Article
Literature Type
Conference
Journal
Country of publication
Reference NumberReference Number
INIS VolumeINIS Volume
INIS IssueINIS Issue
AbstractAbstract
[en] The miscibility gap (MG) of the Au-Pt binary system in the temperature range 600-1050 oC has been experimentally determined by the diffusion couple technique. The results show that the determined MG deviates from the currently accepted one, which shifts to the Au-rich side of the Au-Pt system. Based on the present experimental data, the Au-Pt system has been thermodynamically reassessed, with the result that the critical point of the miscibility gap is ∼1200 oC at 56 at.% Pt, in contrast to the currently accepted 1260 oC at 61 at.% Pt. The chemical and coherent spinodals of the Au-Pt system have been thus calculated.
Primary Subject
Source
S1359-6462(09)00474-6; Available from http://dx.doi.org/10.1016/j.scriptamat.2009.07.016; Copyright (c) 2009 Elsevier Science B.V., Amsterdam, The Netherlands, All rights reserved.; Country of input: International Atomic Energy Agency (IAEA)
Record Type
Journal Article
Journal
Country of publication
Reference NumberReference Number
INIS VolumeINIS Volume
INIS IssueINIS Issue
1 | 2 | 3 | Next |