Jensen formulates classes of notions of forcing in [1]. We take subproper among those. This class is wider than proper, may differ from semiproper of Shelah and is iterable under the revised countable support a la Donder according to [1]. We formulate a class of notion of forcing whose definition involves less parameters than Jensen’s subproper and show that it iterates under a type of revised ...

Proof. If T were not complete, there would a sentence ψ such that neither ψ and ¬ψ would follow from T . But then T ∪ {ψ} and T ∪ {¬ψ} would have infinite models. Since λ ≥ |L|, both would actually have models of cardinality λ by the theorems of Skolem and Löwenheim. But these cannot be isomorphic, because they are not elementarily equivalent, contradicting the λ-categoricity of T . Theorem 1.2...

We found a quasi-incompressible and liquid mixture of ibuprofen, water acetone, that enables the crystallization ibuprofen particles by decreasing pressure from 15MPa to ambient (~0.1MPa). measured solubility in as function acetone/water-ratio for pressures 0.1MPa, 5.5MPa at 308K using cloud point method. Based on solubilities, binodal compositions ternary system were modelled NRTL-SAC model. T...

An improved understanding of the Non-Random Two Liquid model can improve correlation vapor liquid equilibrium (VLE) phase behavior beyond trial-and-error approach often employed. This work provides a rigorous, systematic evaluation model’s capabilities to contribute unqualified, component-independent findings and recommendations─a limitation previous studies. First, evaluations isobaric isother...

Removal of sulfur from gasoline is one of the major processes in refineries. Designing of removal process requires phase equilibrium data of the sulfur with various hydrocarbon systems. 3-Methylthiphene is an organic sulfur compound found in gasoline. In the present work VLE data of 3-Methylthiophene with various hydrocarbons were modeled using genetic algorithm. VLE data were modeled using Wil...