In this article we prove that Axiom A is a necessary condition for structural stability of C1 nonsingular endomorphisms of the circle.

We construct a variety of inner models exhibiting features usually obtained by forcing over universes with large cardinals. For example, if there is a supercompact cardinal, then there is an inner model with a Laver indestructible supercompact cardinal. If there is a supercompact cardinal, then there is an inner model with a supercompact cardinal κ for which 2κ = κ+, another for which 2κ = κ++ ...

We discuss a model, in which two agents may distribute finitely many objects among themselves. The conflict is resolved by means of a market procedure. Depending on the specifications, this procedure serves to implement bargaining solutions such as the discrete Raiffa solution, the Kalai-Smorodinsky solution and the Perles-Maschler solution. The latter is axiomatized using the superadditivity a...

The problem investigated is the identification within an input knowledge base of axioms which should be preferably discarded (or amended) in order to restore consistency, coherence, or get rid of undesired consequences. Most existing strategies for this task in Description Logics rely on conflicts, either computing all minimal conflicts beforehand, or generating conflicts on demand, using diagn...

We introduce a model of bargaining among groups, and characterize a family of solutions using a Consistency axiom and a few other invariance and monotonicity properties. For each solution in the family, there exists some constant α ≥ 0 such that the "bargaining power" of a group is proportional to cα, where c is the cardinality of the group. Subject classification: JEL C71, C78

This paper answers some questions of D. Ross in [R]. In x1, we show that some consequences of the @0 or @1{special model axiom in [R] can not be proved by the {isomorphism property for any cardinal . In x2, we show that with one exception, the @0{isomorphism property does imply the remaining consequences of the special model axiom in [R]. In x3, we improve a result in [R] by showing that the {s...

We give an affirmative answer to Brendle’s and Hrušák’s question of whether the club principle together with h > א1 is consistent. We work with a class of axiom A forcings with countable conditions such that q ≥n p is determined by finitely many elements in the conditions p and q and that all strengthenings of a condition are subsets, and replace many names by actual sets. There are two types o...

Proof. Without loss of generality, we only need to prove for the case s= 1, as ρ satisfies Axioms A1-A5 if and only if 1 s ρ satisfies Axioms A1-A5 (with s= 1 in Axiom A3). The “only if” part. First, we show that (2) holds for any X ∈L∞(Ω,F , P ). Define the set function ν(E) := ρ(1E),E ∈F . Then, it follows from Axiom A2 and A3 that ν is monotonic, ν(∅) = 0, and ν(Ω) = 1. ForM ≥ 1, define LM :...