Results 101 to 110 of about 695,402 (315)

Rudimentary and arithmetical constructive set theory

Annals of Pure and Applied Logic, 2013
Abstract The aim of this paper is to formulate and study two weak axiom systems for the conceptual framework of constructive set theory (CST). Arithmetical CST is just strong enough to represent the class of von Neumann natural numbers and its arithmetic so as to interpret Heyting Arithmetic.
openaire   +1 more source

Multifunctional Tailoring of Fertilizer Composites Directly Derived From Phosphate Rock

Advanced Science, EarlyView.
A novel phosphorus‑sulfur mixed acid with urea (PSU) activation system converts low‑grade phosphate rock (LPR) into multifunctional fertilizer composites (MFCs). MFCs feature porous structures, high nutrient‑activation efficiency, superior slow‑release, and enhanced crop growth, offering a sustainable solution for integrated nutrient management and ...
Zenglian Qi, Jianchao Wang, Lulu Chen, Zhenya Lu, Guodong Wang, Hang Ma, Cuihong Hou, Xinxin Wang, Wenqi Ma, Changzhou Wei, Jianbo Shen, Fusuo Zhang, Minghao Zhuang, Chengdong Huang   +13 more
wiley   +1 more source

A C-system defined by a universe category [PDF]

, 2015
This is a major update of the previous version. The methods of the paper are now fully constructive and the style is "formalization ready" with the emphasis on the possibility of formalization both in type theory and in constructive set theory without ...
Voevodsky, Vladimir
core  

Constructing Localized Van Der Waals Gaps in Cubic‐Phase GeMnTe2 Thermoelectric Material

Advanced Science, EarlyView.
Sb2Te3 alloying generates high‐density localized van der Waals gaps in cubic Ge0.45Mn0.55Te matrix, resulting in electron‐phonon decoupling and improved thermoelectric figure of merit ZT. Abstract Cubic‐phase GeMnTe2 shows high potential to replace state‐of‐the‐art rhombohedral GeTe for medium temperature thermoelectric application owing to its lower ...
Mingrui Zhang, Lingling Wei, Tingting Yang, Weishuai Wang, Fudong Zhang, Mengqi Li, Beiquan Jia, Yalin Shi, Zupei Yang, Rafal E. Dunin‐Borkowski, Lei Jin, Di Wu   +11 more
wiley   +1 more source

A set-theoretic approach to linguistic feature structures and unification algorithms (I) [PDF]

Computer Science Journal of Moldova, 2000
The paper proposes formal inductive definitions for linguistic feature structures (FSs) taking values within a class of value types or sorts: single, disjunctive, (ordered) lists, multisets (or bags), po-multisets (multisets embedded into a partially ...
N. Curteanu, P.-G. Holban
doaj  

Axial Coordination Induced Electron Delocalization and p‐p Orbital Hybridization in Single‐Atom Catalysts Boosts Zn2+ Desolvation for Highly Stable Zn Anode

Advanced Science, EarlyView.
The F‐axial coordinated Sb SAs (F‐Sb SAs) can effectively reduce the desolvation energy of hydrated Zn2+ ions and greatly accelerate the migration kinetics of Zn2+ ions. The symmetric cell and Zn‐I2 batteries based on F‐Sb SAs@Zn anode exhibit outstanding stability.
Yan Dao, Mengyuan Li, Miaomiao Zhang, Ke Fan, Qi Qi, Lin Zhang, Xin‐Yao Yu   +6 more
wiley   +1 more source

An elementary proof that the set of exceptions to the law of large numbers in Pierce expansions has full Hausdorff dimension

AIMS Mathematics
The digits of the Pierce expansion satisfy the law of large numbers. It is known that the Hausdorff dimension of the set of exceptions to the law of large numbers is $ 1 $.
Min Woong Ahn
doaj   +1 more source

A set-theoretic approach to linguistic feature structures and unification algorithms (II) [PDF]

Computer Science Journal of Moldova, 2001
The paper proposes formal inductive definitions for linguistic feature structures (FSs) taking values within a class of value types or sorts: single, disjunctive, (ordered) lists, multisets (or bags), po-multisets (multisets embedded into a partially ...
N.Curteanu, P.-G.Holban
doaj  

Some Brouwerian Counterexamples Regarding Nominal Sets in Constructive Set Theory [PDF]

, 2017
Andrew Swan
openalex   +1 more source

Stress‐Induced Melting Controlled Failure Mechanisms of Methane Hydrate

Advanced Science, EarlyView.
We study methane hydrate via nanoindentation and nuclear magnetic resonance (NMR), finding its regional melting and mechanical properties, challenging existing views on hydrogen‐bonded crystals. Abstract Methane hydrate, a kind of nonstoichiometric crystalline, attracted worldwide attentions as a promising substitute energy. Its Dissociation is thought
Yanlong Li, Yuan Zhou, Zhengcai Zhang, Minhui Qi, Yajuan Zhang, Yujing Jiang, Yunkai Ji, Qingguo Meng, Yongfu Sun, Nengyou Wu   +9 more
wiley   +1 more source