Frege’s Grundgesetze der Arithmetik is formally inconsistent. This system is, except for minor differences, second-order logic together with an abstraction operator governed by Frege’s Axiom V. A few years ago, Richard Heck showed that the ramified predicative second-order fragment of the Grundgesetze is consistent. In this paper, we show that the above fragment augmented with the axiom of redu...

The Maschler–Owen consistent value for non-transferable utility games is axiomatized, by means of a marginality axiom. JEL Classification: C7, D7

Let f be a diffeomorphism of a closed C∞ manifold M . In this paper, we introduce the notion of the C1-stable specification property for a closed f -invariant set Λ of M , and we prove that f|Λ satisfies a C 1-stable specification property if and only if Λ is a hyperbolic elementary set. As a corollary, the C1-interior of the set of diffeomorphisms of M satisfying the specification property is ...