Results 151 to 160 of about 394 (185)
Some of the next articles are maybe not open access.
Colimit completions and the effective topos
Journal of Symbolic Logic, 1990The family of readability toposes, of which the effective topos is the best known, was discovered by Martin Hyland in the late 1970's. Since then these toposes have been used for several purposes. The effective topos itself was originally intended as a category in which various recursion-theoretic or effective constructions would live as natural parts ...
ROBINSON E., ROSOLINI, GIUSEPPE
openaire +3 more sources
1992
Abstract In the effective topos, Eff, described by Hyland using suggestions from Dana Scott, Church’s thesis is true in the strong sense that every function from the naturals to themselves in recursive. In fact, all functions between objects built from the natural numbers, including the rationals and the real numbers, are recursive. Thus
Colin Mclarty
exaly +2 more sources
Abstract In the effective topos, Eff, described by Hyland using suggestions from Dana Scott, Church’s thesis is true in the strong sense that every function from the naturals to themselves in recursive. In fact, all functions between objects built from the natural numbers, including the rationals and the real numbers, are recursive. Thus
Colin Mclarty
exaly +2 more sources
Studies in Logic and the Foundations of Mathematics, 1982
Publisher Summary This chapter describes the most accessible of the series of toposes that can be constructed from notions of realizability: it is that based on the original notion of recursive realizability and presents the abstract approach to recursive realizability in some detail. The chapter introduces effective topos and discusses the notion of
exaly +2 more sources
Publisher Summary This chapter describes the most accessible of the series of toposes that can be constructed from notions of realizability: it is that based on the original notion of recursive realizability and presents the abstract approach to recursive realizability in some detail. The chapter introduces effective topos and discusses the notion of
exaly +2 more sources
The Discrete Objects in the Effective Topos
Proceedings of the London Mathematical Society, 1990The original aim of this paper was to give a rather quick and undemanding proof that the effective topos contains two non-trivial small (i.e. internal) full subcategories which are closed under all small limits in the topos (and hence in particular are internally complete).
M. HYLAND +2 more
exaly +3 more sources
Anti-Cancer Drugs, 1999
Steady-state levels and rates of DNA binding and release of wild-type and mutant topoisomerase I (Topo I) proteins were quantified by surface plasmon resonance analysis. The proteins were constructed and expressed as GST fusion proteins. The Topo I mutations analyzed were F361S, R362L and R364G, all altering a highly conserved region of wild-type ...
C D, Pond +3 more
openaire +2 more sources
Steady-state levels and rates of DNA binding and release of wild-type and mutant topoisomerase I (Topo I) proteins were quantified by surface plasmon resonance analysis. The proteins were constructed and expressed as GST fusion proteins. The Topo I mutations analyzed were F361S, R362L and R364G, all altering a highly conserved region of wild-type ...
C D, Pond +3 more
openaire +2 more sources
CrystEngComm, 2021
The higher the number of fluorine atoms, the higher the topological photo-induced [2 + 2] cycloaddition reactivity of chalcones.
Yuanhong Shu +8 more
openaire +1 more source
The higher the number of fluorine atoms, the higher the topological photo-induced [2 + 2] cycloaddition reactivity of chalcones.
Yuanhong Shu +8 more
openaire +1 more source
Understanding the thermal decomposition effects in TOPO capped ZnO nanocrystals
CrystEngComm, 2012Different shapes and sizes of TOPO-capped ZnO nanostructures have been obtained by the decomposition of the cupferron complex in the presence of tri-n-octylphosphine oxide (TOPO) under different conditions. The precursor : TOPO ratio, the order of reactants and thermal decomposition temperature play important roles in determining of the shape and size ...
Hashem Shahroosvand, Mahsa Ghorbani-asl
openaire +1 more source
The Journal of Physical Chemistry C, 2022
The enduring demand for ever-increasing storage capacities inspires the development of new few nanometer-sized, high-performance memory devices. In this work, tri-n-octylphosphine oxide (TOPO)-stabilized sub-10 nm monoclinic HfO2 nanocrystals (NC) with a rod-like and spherical shape are synthesized and used to build up microscale and nanoscale test ...
Sonam Maiti +6 more
openaire +2 more sources
The enduring demand for ever-increasing storage capacities inspires the development of new few nanometer-sized, high-performance memory devices. In this work, tri-n-octylphosphine oxide (TOPO)-stabilized sub-10 nm monoclinic HfO2 nanocrystals (NC) with a rod-like and spherical shape are synthesized and used to build up microscale and nanoscale test ...
Sonam Maiti +6 more
openaire +2 more sources
Effect of oxidation-reduction on the extraction of uranium from wet phosphoric acid by DEHPA/TOPO
Journal of Radioanalytical and Nuclear Chemistry Articles, 1995Uranium is recovered from wet phosphoric acid by DEHPA/TOPO in kerosene. Uranium is present in wet phosphoric acid in the tetravalent and hexavalent states but DEHPA/TOPO extracts uranium in the hexavalent state only. The ratio of U4+/U6+ depends on several factors such as the origin of the phosphate rock, the method of preparation of phosphoric acid ...
Y. Koudsi +4 more
openaire +1 more source