Results 141 to 150 of about 394 (185)
Anthocyanin-Rich Berry Extracts Affect SN-38-Induced Response: A Comparison of Non-Tumorigenic HCEC-1CT and HCT116 Colon Carcinoma Cells. [PDF]
Antioxidants (Basel)Schmutz C +8 more
europepmc +1 more source
Collective problem-solving in Japanese primary mathematics lessons. [PDF]
Educ Stud MathBatteau V, Miyakawa T, Ryu M.
europepmc +1 more source
a review of Toward the effective 2-topos. by Awodey, Steve; Emmenegger, Jacopo
a review of Toward the effective 2-topos. by Awodey, Steve; Emmenegger, Jacopoopenaire
Synergistic Effect in Solvent Extraction of Scandium β-Diketone TOPO System
Synergistic Effect in Solvent Extraction of Scandium β-Diketone TOPO Systemopenaire
The Synergistic Effect in Solvent Extraction. The Effect of the Chelating Ligands on the Stability Constant of Lutetium β-Diketonate Adducts with TOPOopenaire
Basic subtoposes of the effective topos
Annals of Pure and Applied Logic, 2013 We employ a new tool (sights) to investigate local operators in the Effective Topos. A number of new such local operators is analyzed using this machinery. Moreover, we investigate a local operator defined in the thesis of A. Pitts, and establish that its corresponding subtopos satisfies true arithmetic.
Jaap van Oosten
exaly +6 more sources
On the Failure of Fixed-Point Theorems for Chain-complete Lattices in the Effective Topos
Electronic Notes in Theoretical Computer Science, 2009 In the effective topos there exists a chain-complete distributive lattice with a monotone and progressive endomap which does not have a fixed point. Consequently, the Bourbaki-Witt theorem and Tarski's fixed-point theorem for chain-complete lattices do not have constructive (topos-valid) proofs.
Andrej Bauer
exaly +5 more sources
The category of equilogical spaces and the effective topos as homotopical quotients [PDF]
Journal of Homotopy and Related Structures, 2016 We show that the two models of extensional type theory, those given by the category of equilogical spaces and by the effective topos, are homotopical quotients of categories of 2-groupoids.
Giuseppe Rosolini
exaly +5 more sources
Some of the next articles are maybe not open access.