Results 1 to 10 of about 397 (188)
Dual Targeting Topoisomerase/G-Quadruplex Agents in Cancer Therapy—An Overview [PDF]
Biomedicines, 2022 Topoisomerase (Topo) inhibitors have long been known as clinically effective drugs, while G-quadruplex (G4)-targeting compounds are emerging as a promising new strategy to target tumor cells and could support personalized treatment approaches in the near
Silvia Salerno +5 more
doaj +2 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
Filtered colimits in the effective topos
Journal of Pure and Applied Algebra, 2006 The effective topos \({\mathcal E}ff\) is defined in the article of \textit{J. M. E. Hyland} [``The effective topos'', in: The L. E. J. Brouwer Centen. Symp., Proc. Conf., Noordwijkerhout/ Holl. 1981, Stud. Logic Found. Math. 110, 165--216 (1982; Zbl 0522.03055)]. Roughly speaking, the objects of this topos are effective sets (i.e., pairs \((X_0,=_X)\),
Jaap van Oosten
exaly +4 more sources
El esclavo como ‘texto corporal’ y ‘cuerpo textual’ en los mimos de Herondas
Aitia, 2021 Slaves are an important part of Herondas’ mimes’ characters. They are mostly women, silent figures who, with some exceptions, see their existence reduced to the activity of their body, with which they fulfill the orders of their masters.
Claudia N. Fernández
doaj +1 more source
Elementary Quotient Completions, Church's Thesis, and Partioned Assemblies [PDF]
Logical Methods in Computer Science, 2019 Hyland's effective topos offers an important realizability model for constructive mathematics in the form of a category whose internal logic validates Church's Thesis. It also contains a boolean full sub-quasitopos of "assemblies" where only a restricted
Maria Emilia Maietti +2 more
doaj +1 more source
THE CHARACTER OF SAINT JOSEPH – IN THE SERVICE OF CHRISTIAN EDUCATION?
Forum Teologiczne, 2022 Post-modernity, also referred to as postmodernism or late modernity, is a keyword used to describe contemporary social, cultural and religious changes.
Anna Zellma
doaj +1 more source
A PREDICATIVE VARIANT OF HYLAND’S EFFECTIVE TOPOS [PDF]
The Journal of Symbolic Logic, 2020 AbstractHere, we present a category ${\mathbf {pEff}}$ which can be considered a predicative variant of Hyland's Effective Topos ${{\mathbf {Eff} }}$ for the following reasons. First, its construction is carried in Feferman’s predicative theory of non-iterative fixpoints ${{\widehat {ID_1}}}$ .
Maietti Maria Emilia, Maschio Samuele
openaire +4 more sources
The Effect of Topo-Climate Variation on the Secondary Metabolism of Berries in White Grapevine Varieties (Vitis vinifera) [PDF]
Frontiers in Plant Science, 2022 Exploiting consistent differences in radiation and average air temperature between two experimental vineyards (Ramat Negev, RN and Mitzpe Ramon, MR), we examined the impact of climate variations on total carotenoids, redox status, and phenylpropanoid metabolism in the berries of 10 white wine grapevine (Vitis vinifera) cultivars across three ...
Kelem Gashu +7 more
openaire +3 more sources
Algebraic set theory and the effective topos [PDF]
Journal of Symbolic Logic, 2005 AbstractFollowing the book Algebraic Set Theory from André Joyal and Ieke Moerdijk [8], we give a characterization of the initial ZF-algebra, for Heyting pretoposes equipped with a class of small maps. Then, an application is considered (the effective topos) to show how to recover an already known model (McCarty [9]).
Kouwenhoven-Gentil, Claire +1 more
openaire +4 more sources