Results 11 to 20 of about 300,540 (311)
Relative set theory: Internal view
Journal of Logic and Analysis, 2009 eraire [28]. The theory GRIST formulated here is an extension of P´ RIST. We prove that it is conservative and categorical over ZFC, and universal among theories of its kind. Technically, the paper carries out detailed analysis of the construction of internally iterated ultrapowers introduced in the author’s [13].
Karel Hrbacek
doaj +4 more sources
Tripos models of Internal Set Theory
, 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 +3 more sources
Set Theory in the Foundation of Math; Internal Classes and External Sets
, 2022 Usual math sets have special types: countable, compact, open, occasionally Borel, rarely projective, etc. Each such set is described by a single Set Theory formula with parameters unrelated to other formulas. Exotic expressions involving sets related to formulas of unlimited quantifiers height appear mostly in esoteric or foundational studies ...
Levin, Leonid A.
openaire +3 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 +3 more
core +5 more sources
Renal Failure, 2023 Introduction To establish a prediction model to predict immunosuppressive medication (IM) nonadherence in kidney transplant recipients (KTRs) based on a combined theory framework.Methods This polycentric, cross-sectional study included 1191 KTRs from ...
Lei Dong +6 more
doaj +1 more source
A New Approach to Nonstandard Analysis [PDF]
Sahand Communications in Mathematical Analysis, 2018 In this paper, we propose a new approach to nonstandard analysis without using the ultrafilters. This method is very simple in practice. Moreover, we construct explicitly the total order relation in the new field of the infinitesimal numbers.
Saghe Abdeljalil
doaj +1 more source
Internal Categoricity in Arithmetic and Set Theory [PDF]
Notre Dame Journal of Formal Logic, 2015 We show that the categoricity of second-order Peano axioms can be proved from the comprehension axioms. We also show that the categoricity of second-order Zermelo–Fraenkel axioms, given the order type of the ordinals, can be proved from the comprehension axioms.
Väänänen, J., Wang, T.
openaire +4 more sources
Financial Innovation, 2021 In a highly intertwined and connected business environment, globalized layout planning can be an effective way for enterprises to expand their market. Nevertheless, conflicts and contradictions always exist between parent and subsidiary enterprises; if ...
Kuang-Hua Hu +3 more
doaj +1 more source
Identification of dynamic capabilities in open innovation [PDF]
Innovation & Management Review, 2021 Purpose – This study aims to understand the interaction between capabilities inherent in open innovation and dynamic capabilities (sensing, seizing and transforming) as a source of competitive advantage.
Edson Rodrigues de Aro, Gilberto Perez
doaj +1 more source
Self-Inconsistency of set theory [PDF]
, 2021 The consistency formula for set theory T e. g. Zermelo-Fraenkel set theory ZF, can be stated in form of a free-variable predicate in terms of the categorical theory PR of primitive recursive functions/maps/predicates. Free-variable p. r.
Pfender, Michael
core +1 more source