Results 11 to 20 of about 12,247,654 (298)
Tripos models of Internal Set Theory [PDF]
, 2021 This thesis provides a framework to make sense of models of E. Nelson’s Internal Set Theory (and hence of nonstandard analysis) in elementary toposes by exploiting the technology of tripos theory and Lawvere’s hyperdoctrines. A new doctrinal account of nonstandard phenomena is described, which avoids a few key restrictions in Nelson’s approach: chiefly,
openaire +4 more sources
Independence and conservativity results for intuitionistic set theory [PDF]
, 2010 There are two main parts to this thesis. The first part will deal with some independence results. In 1979, Lifschitz in [13] introduced a realizability interpretation for Heyting's arithmetic, HA, that could differentiate between Church's thesis with ...
Chen, Ray-Ming
core +7 more sources
A general construction of internal sheaves in algebraic set theory [PDF]
, 2007 We present a solution to the problem of defining a counterpart in Algebraic Set Theory of the construction of internal sheaves in Topos Theory. Our approach is general in that we consider sheaves as determined by Lawvere-Tierney coverages, rather than by Grothen-dieck coverages, and assume only a weakening of the axioms for small maps originally ...
Awodey, Steve +4 more
core +4 more sources
Mathematics, 2021 This article aims to analyze the functions of corporate governance agents as a key part of the study and evaluation of the internal control by the independent auditor to propose a governance fuzzy model based on legality.
Enriqueta Mancilla-Rendón +2 more
doaj +1 more source
Direct and Semi-Direct Product of Neutrosophic Extended Triplet Group [PDF]
Neutrosophic Sets and Systems, 2019 The object of this article is mainly to discuss the notion of neutrosophic extended triplet direct product (NETDP) and neutrosophic extended triplet semi-direct product (NETS-DP) of NET group.
Moges Mekonnen Shalla, Necati Olgun
doaj +1 more source
Blueprints in biochemistry: Systematic assessment in undergraduate medical education [PDF]
Research and Development in Medical Education, 2022 Background: The traditional pattern of theory assessment may not address the principles of assessment due to faulty paper-setting practices. This interventional study aimed to sensitize the faculty in designing a test blueprint template to set question ...
Yogesh R. Pawade +2 more
doaj +1 more source
Métodos no estándar en el problema de la parada óptima
Revista de Matemática: Teoría y Aplicaciones, 2009 We analize the optimal-stopping ploblem by the use of non standard analysis techniques. Using the non standard concept of quasi-optimal time, we prove the existence of optimal times for the problems of finite and infinite horizon .
Jaime Lobo Segura
doaj +1 more source
Measurement + Control, 2020 In this article, an enhanced 2-degree-of-freedom internal model control strategy for typical industrial processes with time-delay is developed. For the proposed controller, it is composed of an inner loop feedback controller which is designed based on ...
Sheng Wu, Ziwei Li, Ridong Zhang
doaj +1 more source
Abordagem Conceitual às Estratégias de Internacionalização sob Pressões Institucionais Duais para Legitimidade e Conformidade [PDF]
RAC: Revista de Administração Contemporânea, 2015 Internationalizing operations requires multinational corporations (MNCs) to develop strategies capable of simultaneously dealing with external institutional pressures towards legitimacy and internal institutional pressures towards conformity.
Manuel Portugal Ferreira +1 more
doaj +1 more source
Neutrosophic Soft Cubic Refined Sets [PDF]
Neutrosophic Sets and SystemsThis paper presents a novel approach to the Neutrosophic Soft Cubic Refined Set (NSCRS), which serves as the foundation for combining the theory of soft sets, the already-existing Neutrosophic cubic set, and the Neutrosophic refined set and Neutrosophic ...
Anitha Cruz R
doaj +1 more source