Woodin cardinals, Shelah cardinals, and the Mitchell-Steel core model

Theorem 4 is a characterization of Woodin cardinals in terms of Skolem hulls and Mostowski collapses. We define weakly hyper-Woodin cardinals and hyper-Woodin cardinals. Theorem 5 is a covering theorem for the Mitchell-Steel core model, which is constructed using total background extenders. Roughly, Theorem 5 states that this core model correctly computes successors of hyper-Woodin cardinals. Within the large cardinal hierarchy, in increasing order we have: measurable Woodin, weakly hyper-Woodin, Shelah, hyper-Woodin, and superstrong cardinals. (The comparison of Shelah versus hyper-Woodin is due to James Cummings.)

     

A note on a consistency property for permutations

In cooperative game theory allocation of earnings to players may take place on the basis of selectors or—more restrictively—consistent selectors, or on the basis of a permutation representing the queueing of the players. This note gives a graph theoretic characterization of those situations in which the latter allocation method results in allocation with consistent selectors.     

Smoke and mirrors: Combinatorial properties of small cardinals equiconsistent with huge cardinals

Since the work of Godel and Cohen many questions in infinite combinatorics have been shown to be independent of the usual axioms for mathematics, Zermelo Frankel Set Theory with the Axiom of Choice (ZFC). Attempts to strengthen the axioms to settle these problems have converged on a system of principles collectively known as Large Cardinal Axioms.These principles are linearly ordered in terms of consistency strength. As far as is currently known, all natural independent combinatorial statements are equiconsistent with some large cardinal axiom. The standard techniques for showing this use forcing in one direction and inner model theory in the other direction.The conspicuous open problems that remain are suspected to involve combinatorial principles much stronger than the large cardinals for which there is a current fine-structural inner model theory for.The main results in this paper show that many standard constructions give objects with combinatorial properties that are, in turn, strong enough to show the existence of models with large cardinals are larger than any cardinal for which there is a standard inner model theory.     

Local sentences and Mahlo cardinals

Local sentences were introduced by Ressayre in [6] who proved certain remarkable stretching theorems establishing the equivalence between the existence of finite models for these sentences and the existence of some infinite well ordered models. Two of these stretching theorems were only proved under certain large cardinal axioms but the question of their exact (consistency) strength was left open in [4]. Here we solve this problem, using a combinatorial result of J. H. Schmerl [7]. In fact, we show that the stretching principles are equivalent to the existence of n ‐Mahlo cardinals for appropriate integers n. This is done by proving first that for every integer n, there is a local sentence φ_n having well ordered models of order type τ, for every infinite ordinal τ > ω which is not an n ‐Mahlo cardinal. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Changing cofinalities and collapsing cardinals in models of set theory

If a˜cardinal κ₁, regular in the ground model M, is collapsed in the extension N to a˜cardinal κ₀ and its new cofinality, ρ, is less than κ₀, then, under some additional assumptions, each cardinal λ>κ₁ less than cc(P(κ₁)/[κ₁]^<κ₁) is collapsed to κ₀ as well. If in addition N=M[f], where f : ρ→κ₁ is an unbounded mapping, then N is a˜|λ|=κ₀-minimal extension. This and similar results are applied to generalized forcing notions of Bukovský and Namba.     

Two cardinals models with gap one revisited

We succeed to say something on the identities of (μ⁺, μ) when μ > θ > cf(μ) with μ strong limit θ‐compact or even μ is limit of compact cardinals. (© 2005 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

On consistency measures of linguistic preference relations

Inspired by the concept of deviation measure between two linguistic preference relations, this paper further defines the deviation measure of a linguistic preference relation to the set of consistent linguistic preference relations. Based on this, we present a consistency index of linguistic preference relations and develop a consistency measure method for linguistic preference relations. This method is performed to ensure that the decision maker is being neither random nor illogical in his or her pairwise comparisons using the linguistic label set. Using this consistency measure, we discuss how to deal with inconsistency in linguistic preference relations, and also investigate the consistency properties of collective linguistic preference relations. These results are of vital importance for group decision making with linguistic preference relations.     

Population monotonicity and consistency in convex games: Some logical relations

On the domain of convex games, many desirable properties of solutions are compatible and there are many single-valued solutions that are intuitively appealing. We establish some interesting logical relations among properties of single-valued solutions. In particular, we introduce a new property, weak contribution-monotonicity, and show that this property is a key property that links other properties such as population-monotonicity, max consistency, converse max consistency, and dummy-player-out. Received: July 2002/Revised: March 2003     

Consistency analysis of triangular fuzzy reciprocal preference relations

In order to simulate the uncertainty associated with impression or vagueness, a decision maker may give her/his judgments by means of triangular fuzzy reciprocal preference relations in the process of decision making. The study of their consistency becomes a very important aspect to avoid a misleading solution. Based on the reciprocity property, this paper proposes a new definition of consistent triangular fuzzy reciprocal preference relations. The new definition is different from that reduced by consistent fuzzy reciprocal preference relations proposed by Buckley (1985). The properties of consistent triangular fuzzy reciprocal preference relations in the light of the new definition are studied in detail. In addition, the shortcomings of the proof procedure of the proposition given by Wang and Chen (2008) are pointed out. And the proposition is reproved by using the new definition of consistent triangular fuzzy reciprocal preference relations. Finally, using the (n − 1) restricted comparison ratios, a method for obtaining consistent triangular fuzzy reciprocal preference relations is proposed, and an algorithm is shown to make a consistent decision ranking. Numerical results are further calculated to illustrate the new definition and the obtained algorithm.     

Asymptotic Properties of the Maximum Likelihood Estimate in Generalized Linear Models with Stochastic Regressors

For generalized linear models （GLM）, in case the regressors are stochastic and have different distributions, the asymptotic properties of the maximum likelihood estimate （MLE） β^n of the parameters are studied. Under reasonable conditions, we prove the weak, strong consistency and asymptotic normality of β^n     

Normal mixture quasi maximum likelihood estimation for non-stationary TGARCH(1,1) models

Although quasi maximum likelihood estimator based on Gaussian density (G-QMLE) is widely used to estimate GARCH-type models, it does not perform successfully when error distribution is either skewed or leptokurtic. This paper proposes normal mixture quasi-maximum likelihood estimator (NM-QMLE) for non-stationary TGARCH(1,1) models. We show that, under mild regular conditions, there is no consistent estimator for the intercept, and the proposed estimator for any other parameter is consistent.     

Epireflections and supercompact cardinals

We prove that the existence of arbitrarily large supercompact cardinals implies that every absolute epireflective class of objects in a balanced accessible category is a small-orthogonality class. In other words, if L is a localization functor on a balanced accessible category such that the unit morphism X→LX is an epimorphism for all X and the class of L-local objects is defined by an absolute formula, then the existence of a sufficiently large supercompact cardinal implies that L is a localization with respect to some set of morphisms.     

Four equivalent lot-sizing models

We study the following lot-sizing models that recently appeared in the literature: a lot-sizing model with a remanufacturing option, a lot-sizing model with production time windows, and a lot-sizing model with cumulative capacities. We show the equivalence of these models with a classical model: the lot-sizing model with inventory bounds.     

Large cardinals and basic sequences

The purpose of this paper is to present several applications of combinatorial principles, well-known in Set Theory, to the geometry of infinite dimensional Banach spaces, particularly to the existence of certain basic sequences. We mention also some open problems where set-theoretical techniques are relevant.     

New classes of permutation binomials and permutation trinomials over finite fields

Permutation polynomials over finite fields play important roles in finite fields theory. They also have wide applications in many areas of science and engineering such as coding theory, cryptography, combinatorial design, communication theory and so on. Permutation binomials and permutation trinomials attract people's interest due to their simple algebraic forms and additional extraordinary properties. In this paper, we find a new result about permutation binomials and construct several new classes of permutation trinomials. Some of them are generalizations of known ones.