An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory
نویسندگان
چکیده
We relate certain models of Axiomatic Domain Theory (ADT) and Synthetic Domain Theory (SDT). On the one hand, we introduce a class of non-elementary models of SDT and show that the domains in them yield models of ADT. On the other hand, for each model of ADT in a wide class we construct a model of SDT such that the domains in it provide a model of ADT which conservatively extends the original model.
منابع مشابه
The Fixed Point Property in Synthetic Domain Theory
We present an elementary axiomatisation of synthetic domain theory and show that it is sufficient to deduce the fixed point property and solve domain equations. Models of these axioms based on partial equivalence relations have received much attention, but there are also very simple sheaf models based on classical domain theory. In any case the aim of this paper is to show that an important the...
متن کاملHysteresis: Phenomenon and Modeling in Soil- Water Relationship
Hysteresis has been widely recognized in the soil water relationship. In this paper, a detailed review of hysteresis was performed in relation to its models. So far, different models have been suggested to describe hysteresis in the water retention curve (WRC) that could be categorized into two main groups: conceptual and empirical models. The models in the first group are based on the domain t...
متن کاملProbability Modeling of Synthetic Theories in Economics
Economic theories seek a scientific explanation or prediction of economic phenomena using a set of axiom, defined expressions, and theorems. Mathematically explicit economic models are one of these theories. Due to the unknown structure of each model, the existence of measurement error in economic committees and failure of Ceteris Paribus; the Synthetic of any economic theory requires probabili...
متن کاملOn the uniqueness theory of algebroid functions in some proper domain
We consider the uniqueness problem of algebroid functions on an angular domain. Several theorems are established to extend the uniqueness theory of meromorphic functions to algebroid functions.
متن کاملFractional Order Generalized Thermoelastic Functionally Graded Solid with Variable Material Properties
In this work, a new mathematical model of thermoelasticity theory has been considered in the context of a new consideration of heat conduction with fractional order theory. A functionally graded isotropic unbounded medium is considered subjected to a periodically varying heat source in the context of space-time non-local generalization of three-phase-lag thermoelastic model and Green-Naghdi mod...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1996