Results 271 to 280 of about 555,741 (309)
Some of the next articles are maybe not open access.
The Complete Extensions of the Monadic Second Order Theory of Countable Ordinals
Mathematical Logic Quarterly, 1983Let MT[co] be the monadic second order theory of countable ordinals. The authors characterize the complete extensions of MT[co] by axiom systems. They introduce the principle of definable choice, and show that the same elements are definable in the monadic and in the elementary case.
Büchi, J. Richard, Siefkes, Dirk
openaire +2 more sources
Translation of first order formulas into ground formulas via a completion theory
Journal of Applied Logic, 2016zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Demolombe, Robert +2 more
openaire +2 more sources
The Model Completion of the Theory of All Partially Ordered Sets
Mathematical Logic Quarterly, 1989We show that the Albert-Burris's proof of finite axiomatization of existentially closed posets [\textit{M. H. Albert} and \textit{S. N. Burris}, Order 3, 169-178 (1986; Zbl 0611.03013)] gives a counterexample for one of Schmerl's conjectures [\textit{J. H. Schmerl}, J. Symb.
openaire +2 more sources
Complete basis set limits of local second-order Møller–Plesset perturbation theory
Molecular Physics, 2013The performance of local Moller–Plesset second-order perturbation theory (LMP2) and the impact of domain choice upon accuracy for a series of correlation consistent basis sets have been examined. MP2 correlation energies were calculated for 31 molecules ranging from 4 to 26 atoms, and containing up to 10 non-hydrogen atoms.
Kameron R. Jorgensen +4 more
openaire +1 more source
The Journal of Chemical Physics, 2016
We present a CASPT2 method which exploits local approximations to achieve linear scaling of the computational effort with the molecular size, provided the active space is small and local. The inactive orbitals are localized, and the virtual space for each electron pair is spanned by a domain of pair-natural orbitals (PNOs).
Filipe Menezes +2 more
openaire +2 more sources
We present a CASPT2 method which exploits local approximations to achieve linear scaling of the computational effort with the molecular size, provided the active space is small and local. The inactive orbitals are localized, and the virtual space for each electron pair is spanned by a domain of pair-natural orbitals (PNOs).
Filipe Menezes +2 more
openaire +2 more sources
First Order Theory of Complete Stonean Algebras (Boolean-Valued Real and Complex Numbers)
Canadian Mathematical Bulletin, 1987AbstractWe axiomatize the theory of real and complex numbers in Boolean-valued models of set theory, and prove that every Horn sentence true in the complex numbers is true in any complete Stonean algebra, and provable from its axioms.
openaire +2 more sources
Model- and substructure complete theories of ordered Abelian groups
1984We give necessary conditions for an arbitrary elementary class of ordered abelian groups to be model-complete, resp. substructure-complete. Ordered abelian groups are considered in a suitable definitional extension of the usual language of ordered groups. We introduce also the concepts of convex model-completeness and convex substructure completeness.
openaire +1 more source
The Journal of Chemical Physics, 2006
The relativistic complete active-space second-order perturbation theory (CASPT2) is developed for the four-component relativistic Hamiltonian. The present method can describe the near-degenerated and dissociated electronic states of molecules involving atoms of heavy elements.
Minori, Abe +2 more
openaire +2 more sources
The relativistic complete active-space second-order perturbation theory (CASPT2) is developed for the four-component relativistic Hamiltonian. The present method can describe the near-degenerated and dissociated electronic states of molecules involving atoms of heavy elements.
Minori, Abe +2 more
openaire +2 more sources
The Journal of Chemical Physics, 1992
The recently implemented second-order perturbation theory based on a complete active space self-consistent field reference function has been extended by allowing the Fock-type one-electron operator, which defines the zeroth-order Hamiltonian to have nonzero elements also in nondiagonal matrix blocks.
Kerstin Andersson +2 more
openaire +1 more source
The recently implemented second-order perturbation theory based on a complete active space self-consistent field reference function has been extended by allowing the Fock-type one-electron operator, which defines the zeroth-order Hamiltonian to have nonzero elements also in nondiagonal matrix blocks.
Kerstin Andersson +2 more
openaire +1 more source
The complexity of isomorphism for complete theories of linear orders with unary predicates
Archive for Mathematical Logic, 2017zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources