Related papers: Strongly compact cardinals and the continuum funct…
We present a coherent collection of finite mathematical theorems some of which can only be proved by going well beyond the usual axioms for mathematics. The proofs of these theorems illustrate in clear terms how one uses the well studied…
If kappa is strongly compact, lambda > kappa is regular, then (2^{< lambda})^+ --> (lambda+eta)^2_theta holds for eta,theta<kappa.
We provide comprehensive, level-by-level characterizations of large cardinals, in the range from weakly compact to strongly compact, by closure properties of powerful images of accessible functors. In the process, we show that these…
We continue investigations of reasonable ultrafilters on uncountable cardinals defined in math.LO/0407498. We introduce stronger properties of ultrafilters and we show that those properties may be handled in lambda-support iterations of…
This paper is the concise addition to the foregoing work "Inconsistency of Inaccessibility", containing the presentation of main theorem proof (in ZF) about inaccessible cardinals nonexistence. Here some refinement of this presentation is…
In this paper we investigate some properties of forcing which can be considered "nice" in the context of singularizing regular cardinals to have an uncountable cofinality. We show that such forcing which changes cofinality of a regular…
We give an introduction crystalline color superconductivity, arguing that it is likely to occur wherever quark matter in which color-flavor locking does not occur is found. We survey the properties of this form of quark matter, and argue…
We use ideas from quantitative homogenization to show that nonconstant harmonic functions on the percolation cluster cannot satisfy certain structural constraints, for example, a Lipschitz bound. These unique-continuation-type results are…
Given a finite and non-empty set $X$ and randomly selected specific functions and relations on $X$, we investigate the existence and non-existence of fixed points and reflexive points, respectively. First, we consider the class of…
A many-body wavefuction is postulated, which is sufficiently general to describe superconducting pair-correlations, and/or spin-correlations, which can occur either as long-range order or as finite-range correlations. The proposed…
We prove, via transfinite recursion, the existence, inside any linearly ordered set of appropriate regular cardinality $\lambda$, of a particular kind of well-ordered subsets characterized by the property of $\lambda$-fullness. Let $H$ be a…
We describe a framework for proving consistency results about singular cardinals of arbitrary cofinality and their successors. This framework allows the construction of models in which the Singular Cardinals Hypothesis fails at a singular…
We study noncommutative versions of holomorphic and harmonic functions on the unit disk.
We introduce different classical characteristics used to regularize a subharmonic function and compare them. As an application we give a complete proof of a useful characterization of the modulus of continuity of such functions in terms of…
Under certain conditions, we obtain sharp bounds on some functionals defined in the coefficient space of starlike functions. It has been found that the functionals are closely associated with certain coefficient problems, which are of…
Assuming the existence of a strong cardinal, we find a model of ZFC in which for each uncountable regular cardinal $\lambda,$ there is no universal graph of size $\lambda$.
We extend the KKLT approach to moduli stabilization by including the dilaton and the complex structure moduli into the effective supergravity theory. Decoupling of the dilaton is neither always possible nor necessary for the existence of…
Given a cardinal $\kappa$ that is $\lambda$-supercompact for some regular cardinal $\lambda\geq\kappa$ and assuming $\GCH$, we show that one can force the continuum function to agree with any function $F:[\kappa,\lambda]\cap\REG\to\CARD$…
This paper establishes a number of constraints on the structure of large cardinals under strong compactness assumptions. These constraints coincide with those imposed by the Ultrapower Axiom, a principle that is expected to hold in Woodin's…
The concept of sequential choice functions is introduced and studied. This concept applies to the reduction of the problem of stable matchings with sequential workers to a situation where the workers are linear.