scholarly journals An Axiomatic Treatment of Enlarged Separation Portfolios and Treasurer’s Portfolios (with Applications to Financial Synthetics)

2009 ◽  
Author(s):  
Rodolfo Apreda
Keyword(s):  
Axiomatic Treatment

scholarly journals On the axiomatic treatment of probability

1955 ◽  
Vol 3 (2) ◽  
pp. 125-137 ◽  
Author(s):  
J. Łoś
Keyword(s):  
Axiomatic Treatment

An axiomatic treatment of ALGOL 68 routines

1979 ◽  
pp. 530-545 ◽  
Author(s):  
Richard L. Schwartz
Keyword(s):  
Axiomatic Treatment ◽  
Algol 68

scholarly journals Universal properties for universal types in bifibrational parametricity

2019 ◽  
Vol 29 (06) ◽  
pp. 810-827
Author(s):  
Neil Ghani ◽  
Fredrik Nordvall Forsberg ◽  
Federico Orsanigo
Keyword(s):  
Ad Hoc ◽  
Universal Property ◽  
Axiomatic Treatment ◽  
Model Independent ◽  
Universal Properties ◽  
Extension Lemma ◽  
Uniformity Principle

AbstractIn the 1980s, John Reynolds postulated that a parametrically polymorphic function is an ad-hoc polymorphic function satisfying a uniformity principle. This allowed him to prove that his set-theoretic semantics has a relational lifting which satisfies the Identity Extension Lemma and the Abstraction Theorem. However, his definition (and subsequent variants) has only been given for specific models. In contrast, we give a model-independent axiomatic treatment by characterising Reynolds’ definition via a universal property, and show that the above results follow from this universal property in the axiomatic setting.

ON THE AXIOMATIC TREATMENT OF THE UTILITY THEORY

1984 ◽  
Vol 36 (2-3) ◽  
pp. 203-209 ◽  
Author(s):  
L. Daboni
Keyword(s):  
Utility Theory ◽  
Axiomatic Treatment

XVII.—Axiomatic Treatment of Kinematical Relativity

1943 ◽  
Vol 61 (3) ◽  
pp. 210-222
Author(s):  
G. C. McVittie
Keyword(s):  
Deductive Reasoning ◽  
Laws Of Nature ◽  
Local Conditions ◽  
Inverse Square Law ◽  
Axiomatic Treatment ◽  
First Case ◽  
Deductive Method ◽  
Local Law ◽  
The Universe ◽  
Deductive Theory

The suggestion has recently been put forward that the laws of nature can be established by purely deductive reasoning instead of by induction from observation. We may, with Eddington, start the chain of reasoning from epistemological premises or, with E. A. Milne, from axiomatic statements regarding the nature of the system to be studied. Different opinions may be held regarding the value of a deductive method, but a final judgment can hardly be passed on a deductive theory until the initial premises are clearly revealed. We may, indeed, justly require of the author of such a theory that he fulfil the following conditions. He should, firstly, be himself aware of all the axioms which he employs. If he is not, there is the obvious danger that he may use inductions from observation without being aware of doing so. But he may also arrive at quite erroneous conclusions about the range of validity of his results. For instance, a deductive theory may produce a formula which is interpreted as the inverse square law of gravitation. It is then very necessary to know whether the initial premises are axioms concerning the nature of the universe as a whole or whether they merely define local conditions. In the first case the law of gravitation is deduced from the nature of the universe as a whole, in the second it is shown to be merely a “local” law.

AN AXIOMATIC TREATMENT OF POLAR GEOMETRY

1962 ◽  
pp. 193-198
Author(s):  
F.D. VELDKAMP
Keyword(s):  
Axiomatic Treatment ◽  
Polar Geometry

An axiomatic treatment of ratios in an affine plane

1967 ◽  
Vol 18 (4) ◽  
pp. 444-448 ◽  
Author(s):  
Heinz Lüneburg
Keyword(s):  
Affine Plane ◽  
Axiomatic Treatment

On the axiomatic treatment of the ϕ-mean

1995 ◽  
Vol 4 (3) ◽  
pp. 299-336 ◽  
Author(s):  
B. Girotto ◽  
S. Holzer
Keyword(s):  
Axiomatic Treatment

scholarly journals Frobenius n-homomorphisms, transfers and branched coverings

2008 ◽  
Vol 144 (1) ◽  
pp. 1-12 ◽  
Author(s):  
V. M. BUCHSTABER ◽  
V. M. BUCHSTABER ◽  
E. G. REES
Keyword(s):  
Function Spaces ◽  
Branched Coverings ◽  
Axiomatic Treatment ◽  
Continuous Maps ◽  
Induced Maps

AbstractThe main purpose is to characterise continuous maps that are n-branched coverings in terms of induced maps on the rings of functions. The special properties of Frobenius n-homomorphisms between two function spaces that correspond to n-branched coverings are determined completely. Several equivalent definitions of a Frobenius n-homomorphism are compared and some of their properties are proved. An axiomatic treatment of n-transfers is given in general and properties of n-branched coverings are studied and compared with those of regular coverings.

Sign in / Sign up

Export Citation Format

Share Document