Results 11 - 20 of 2,049

Equational axioms for probabilistic bisimilarity

by Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir - IN PROCEEDINGS OF 9TH AMAST, LECTURE NOTES IN COMPUTER SCIENCE , 2002
"... This paper gives an equational axiomatization of probabilistic bisimulation equivalence for a class of finite-state agents previously studied by Stark and Smolka ((2000) Proof, Language, and Interaction: Essays in Honour of Robin Milner, pp. 571-595). The axiomatization is obtained by extending ..."
Abstract - Cited by 21 (1 self) - Add to MetaCart
the general axioms of iteration theories (or iteration algebras), which characterize the equational properties of the fixed point operator on (#-)continuous or monotonic functions, with three axiom schemas that express laws that are specific to probabilistic bisimilarity.

The ground axiom

by Jonas Reitz - J. Symbolic Logic
"... Abstract. A new axiom is proposed, the Ground Axiom, asserting that the universe is not a nontrivial set forcing extension of any inner model. The Ground Axiom is first-order expressible, and any model of zfc has a class forcing extension which satisfies it. The Ground Axiom is independent of many w ..."
Abstract - Cited by 14 (2 self) - Add to MetaCart
well-known set-theoretic assertions including the Generalized Continuum Hypothesis, the assertion v=hod that every set is ordinal definable, and the existence of measurable and supercompact cardinals. The related Bedrock Axiom, asserting that the universe is a set forcing extension of a model

Extensions of finite generalized quadrangles

by S. E. Payne - In Symposia Mathematica, Vol. XXVIII , 1983
"... 1.1 Axioms and definitions.................................... 1 1.2 Restrictions on the parameters............................... 2 1.3 Regularity, antiregularity, semiregularity, and property (H)............... 3 ..."
Abstract - Cited by 178 (14 self) - Add to MetaCart
1.1 Axioms and definitions.................................... 1 1.2 Restrictions on the parameters............................... 2 1.3 Regularity, antiregularity, semiregularity, and property (H)............... 3

The AXIOM System

by J.H. Davenport
"... . AXIOM* is a computer algebra system superficially like many others, but fundamentally different in its internal construction, and therefore in the possibilities it offers to its users. In these lecture notes, we will ffl outline the high-level design of the AXIOM kernel and the AXIOM type system, ..."
Abstract - Cited by 7 (0 self) - Add to MetaCart
, ffl explain some of the algebraic facilities implemented in AXIOM, which may be more general than the reader is used to, ffl show how the type system and the information system interact, ffl give some references to the literature on particular aspects of AXIOM, and ffl suggest the way forward. A

On rpsseparation axioms

by T. Shyla Isac Mary, P. Thangavelu - International Journal of Modern Engineering Research (Accepted
"... The authors introduced rps-closed sets and rps-open sets in topological spaces and established their relationships with some generalized sets in topological spaces. The aim of this paper is to introduce rps-T, rps-T, rps-Tb, rps-T spaces and characterize their basic properties. MSC 2010:54D10 ..."
Abstract - Cited by 3 (1 self) - Add to MetaCart
The authors introduced rps-closed sets and rps-open sets in topological spaces and established their relationships with some generalized sets in topological spaces. The aim of this paper is to introduce rps-T, rps-T, rps-Tb, rps-T spaces and characterize their basic properties. MSC 2010:54D10

STATISTICAL PROPERTIES OF DYNAMICAL SYSTEMS WITH SOME HYPERBOLICITY

by Lai-sang Young , 1997
"... This paper is about the ergodic theory of attractors and conservative dynamical systems with hyperbolic properties on large parts (though not necessarily all) of their phase spaces. The main results are for discrete time systems. To put this work into context, recall that for Axiom A attractors the ..."
Abstract - Cited by 260 (14 self) - Add to MetaCart
This paper is about the ergodic theory of attractors and conservative dynamical systems with hyperbolic properties on large parts (though not necessarily all) of their phase spaces. The main results are for discrete time systems. To put this work into context, recall that for Axiom A attractors

AXIOM OF CHOICE.

by unknown authors
"... The axiom of choice is a statement in the language of set theory (q.v.). It asserts that whenever S is a set such that each member of S is in turn a non-empty set, and such that each pair of members of S have no elements in common, then there exists a set C containing exactly one element from each m ..."
Abstract - Add to MetaCart
is not in the set. In general, S could have many choice sets. The axiom of choice merely asserts that it has at least one, without saying how one is to be made. It is this non-constructive feature that has led to some controversy regarding the acceptability of the axiom. When the set S is finite, then even without

The choice axiom after twenty years

by R. Duncan Luce - Journal of Mathematical Psychology , 1977
"... This survey is divided into three major sections. The first concerns mathematical results about the choice axiom and the choice models that devoIve from it. For example, its relationship to Thurstonian theory is satisfyingly understood; much is known about how choice and ranking probabilities may re ..."
Abstract - Cited by 80 (0 self) - Add to MetaCart
that are at best approximate. And the third section concerns alternative, more general theories which, in spirit, are much like the choice axiom. Perhaps I had best admit at the outset that, as a commentator on this scene, I am qualified no better than many others and rather less well than some who have been

On the Three Axioms of General Design Theory

by Makoto Kikuchi, Ichiro Nagasaka - Proceedings of the International Workshop of Emergent Synthesis '02 , 2002
"... Yoshikawa’s General Design Theory is an axiomatic theory of design in which design is formulated and discussed in terms of topological spaces defined by entities, entity concepts, and abstract concepts. The theory is developed on declarations called definitions and axioms of which represents the bas ..."
Abstract - Cited by 2 (1 self) - Add to MetaCart
Yoshikawa’s General Design Theory is an axiomatic theory of design in which design is formulated and discussed in terms of topological spaces defined by entities, entity concepts, and abstract concepts. The theory is developed on declarations called definitions and axioms of which represents

EXPECTED UTILITY WITH PURELY SUBJECTIVE NON-ADDITIVE PROBABILITIES

by Itzhak Gilboa , 1987
"... Acts are functions from the set of states of the world into the set of consequences. Savage proposed axioms regarding a binary relation on the set of acts which are necessary and sufficient for it to be representable by the functional gu(.)dP for some real-valued (utility) function u on the set of c ..."
Abstract - Cited by 217 (2 self) - Add to MetaCart
of consequences and a (probability) measure P on the set of states of the world. The Ellsberg paradox leads us to reject one of Savage’s main axioms- the Sure Thing Principle-and develop a more general theory, in which the probability measure need not be additive.
Results 11 - 20 of 2,049