✦ LIBER ✦

The lack of definable witnesses and provably recursive functions in intuitionistic set theories

✍ Scribed by Harvey M Friedman; Andrej Ščedrov

Book ID: 107709963
Publisher: Elsevier Science
Year: 1985
Tongue: English
Weight: 691 KB
Volume: 57
Category: Article
ISSN: 0001-8708
DOI: 10.1016/0001-8708(85)90103-3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Studies in Fuzziness and Soft Computing

[Studies in Fuzziness and Soft Computing] On Intuitionistic Fuzzy Sets Theory Volume 283 || On the Concept of Intuitionistic Fuzzy Sets

✍ Atanassov, Krassimir T. 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 282 KB

The bias and mass function of dark matte

The bias and mass function of dark matter haloes in non-Markovian extension of the excursion set theory

✍ Chung-Pei Ma; Michele Maggiore; Antonio Riotto; Jun Zhang 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 620 KB

Functional differential equations for th

Functional differential equations for the free energy and the effective energy in the broken-symmetry phase of φ4-theory and their recursive graphical solution

✍ Axel Pelster; Hagen Kleinert 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 447 KB

Chemical reactivity and selectivity usin

Chemical reactivity and selectivity using Fukui functions: basis set and population scheme dependence in the framework of B3LYP theory

✍ P. Thanikaivelan; J. Padmanabhan; V. Subramanian; T. Ramasami 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 151 KB

Complete basis set ab initio and hybrid

Complete basis set ab initio and hybrid density functional theory exploration of the potential energy surface in the reaction between an amino radical and nitrogen oxide

✍ Branko S. Jursic 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 148 KB 👁 2 views

The potential energy surface for the reaction involving NH plus NO 2 was explored with a quadratic complete basis set ab initio approach and three hybrid density functional theory methods, the target being to accurately estimate activation barriers and the relative stability of the nitrogen᎐oxygen i

Note on the choice of basis set in densi

Note on the choice of basis set in density functional theory calculations for electronic structures of molecules (test on the atoms from the first three rows of the periodic table (2 ⩽ N ⩽ Z ⩽ 18), water, ammonia and pyrrole)

✍ Sándor Kristyán 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 808 KB