Results 91 to 100 of about 687,146 (243)
A simple presentation of the effective topos [PDF]
We propose for the Effective Topos an alternative construction: a realisability framework composed of two levels of abstraction. This construction simplifies the proof that the Effective Topos is a topos (equipped with natural numbers), which is the main issue that this paper addresses. In this our work can be compared to Frey's monadic tripos-to-topos
arxiv
Phosphorus chalcogenide‐rich polymer networks swell in polar aprotic solvents, and remove metals from solutions. ABSTRACT Quaternary mixtures of primary phosphine, chalcogen, diimine, and triimine were employed in polymerization reactions to give α‐aminophosphine chalcogenide polymer networks.
Jan‐Willem Lamberink‐Ilupeju+7 more
wiley +1 more source
Argumentationsanalyse. Grundtræk af en modulær sprogvidenskabelig tilgang
In this article, the author presents some fundamentals of a modular linguistic approach to argumentation. Argumentation is seen as a matter of interpretation, and since interpretation phenomena depend on linguistic material as well as on context in the ...
Henning Nølke
doaj +1 more source
The Topos Of A Connectivity Space [PDF]
In this short note, a topos - called the topos of the connectivity space - is associated with every such space.
arxiv
Teoria kategorii i niektóre jej logiczne aspekty
This article is intended for philosophers and logicians as a short partial introduction to category theory (CT) and its peculiar connection with logic. First, we consider CT itself.
Mariusz Stopa
doaj
The story of the Tower of Babel in Gn 11:1–9 gave rise to a rich literary tradition, in which the topos of the primeval language emerged. Whereas the interpretative tradition originating among the Jewish commentators upheld that the original language was
Juan Pedro Monferrer-Sala
doaj +1 more source
Injective Hulls In a Locally Finite Topos [PDF]
We show that in a locally finite topos, every object has an essential extension that is injective, and that this extension is unique up to isomorphism. The construction was motivated by work on Bewl, a software project for doing topos-theoretic calculations.
arxiv
“What is a Thing?”: Topos Theory in the Foundations of Physics [PDF]
To appear in ``New Structures in Physics'' ed R ...
C. J. Isham, A. Döring
openaire +4 more sources
An enzyme involved in vitamin B2 biosynthesis, 3,4‐dihydroxy‐2‐butanone‐4‐phosphate synthase (DHBPS), was identified as the target of the natural product phosphonothrixin, representing a novel mode of action for herbicides. Abstract BACKGROUND In our ongoing search for new and environmentally friendly chemical entities that can control weeds via new ...
Bernd Laber+5 more
wiley +1 more source
“Utinam ne in nemore Pelio”. Un verso di Ennio nelle opere di Cicerone [PDF]
Rapidly become a literary topos, Ennius’s line utinam ne in nemore Pelio refers to certain events one wished had not unfolded, given the far-reaching consequences they had. In his works, Cicero quotes Ennius’s line repeatedly.
Alessandra Di Meglio
doaj