Destructibility of stationary subsets of Pκλ

For a regular cardinal κ with κ ^<κ = κ and κ ≤ λ , we construct generically (forcing by a < κ‐closed κ ⁺‐c. c. p. o.‐set ℙ₀) a subset S of {x ∈ P _κ λ : x ∩ κ is a singular ordinal} such that S is stationary in a strong sense (F ^IA_κ λ ‐stationary in our terminology) but the stationarity of S can be destroyed by a κ ⁺‐c. c. forcing ℙ* (in V ^ℙ) which does not add any new element of P _κ λ . Actually ℙ* can be chosen so that ℙ* is κ‐strategically closed. However we show that such ℙ* itself cannot be κ‐strategically closed or even <κ‐strategically closed if κ is inaccessible. (© 2005 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

The wi‐club filter on 𝒫κ λ

We develop the theory of C_{κ, λ}ⁱ, a strongly normal filter over ??_κ λ for Mahlo κ. We prove a minimality result, showing that any strongly normal filter containing {x ∈ ??_κ λ: |x | = |x ∩ κ | and |x | is inaccessible} also contains C_{κ, λ}ⁱ. We also show that functions can be used to obtain a basis for C_{κ, λ}ⁱ (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Some Remarks on Normal Measures and Measurable Cardinals

We prove two theorems which in a certain sense show that the number of normal measures a measurable cardinal κ can carry is independent of a given fixed behavior of the continuum function on any set having measure 1 with respect to every normal measure over κ . First, starting with a model V ⊨ “ZFC + GCH + o(κ) = δ*” for δ* ≤ κ⁺ any finite or infinite cardinal, we force and construct an inner model N ⊆ V [G] so that N ⊨ “ZF + (∀δ < κ) [DC_δ] + ¬AC_κ + κ carries exactly δ* normal measures + 2^δ = δ⁺⁺ on a set having measure 1 with respect to every normal measure over κ”. There is nothing special about 2^δ = δ here, and other stated values for the continuum function will be possible as well. Then, starting with a modelV ⊨ “ZFC + GCH + κis supercompact”, we force and construct models of AC in which, roughly speaking, regardless of the specified behavior of the continuum function below κ on any set having measure 1 with respect to every normal measure over κ, κ can in essence carry any number of normal measures δ* ≥ κ⁺⁺.     

Calculus on strong partition cardinals

In [1] it was shown that if κ is a strong partition cardinal, then every function from [κ ]^κ to [κ ]^κ is continuous almost everywhere. In this investigation, we explore whether such functions are differentiable or integrable in any sense. Some of them are. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Partition Relations for Strongly Normal Ideals on Pκ(λ)

Building upon earlier work of Donna Carr, Don Pelletier, Chris Johnson, Shu‐Guo Zhang and others, we show that a normal ideal J on P_κ(λ) is strongly normal if and only if J⁺→< (J⁺, μ)² for every μ < κ, and we describe the least normal ideal J on P_κ(λ) such that J⁺ →< (J⁺, κ)².     

Tall cardinals

A cardinal κ is tall if for every ordinal θ there is an embedding j: V → M with critical point κ such that j (κ) > θ and M^κ ? M. Every strong cardinal is tall and every strongly compact cardinal is tall, but measurable cardinals are not necessarily tall. It is relatively consistent, however, that the least measurable cardinal is tall. Nevertheless, the existence of a tall cardinal is equiconsistent with the existence of a strong cardinal. Any tall cardinal κ can be made indestructible by a variety of forcing notions, including forcing that pumps up the value of 2^κ as high as desired. (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Global solutions of a radiative and reactive gas with self‐gravitation for higher‐order kinetics

The existence of global solutions is established for compressible Navier–Stokes equations by taking into account the radiative and reactive processes, when the heat conductivity κ (κ₁(1 + θ^q) ≤ κ ≤ κ₂(1 + θ^q),q ≥ 0), where θ is the temperature. This improves the previous results by enlarging the scope of q including the constant heat conductivity. Copyright © 2012 John Wiley & Sons, Ltd.     

More on regular and decomposable ultrafilters in ZFC

We prove, in ZFC alone, some new results on regularity and decomposability of ultrafilters; among them: (a) If m ≥ 1 and the ultrafilter D is (_m(λ⁺ⁿ), _m(λ⁺ⁿ))‐regular, then D is κ ‐decomposable for some κ with λ ≤ κ ≤ 2^λ (Theorem 4.3(a^')). (b) If λ is a strong limit cardinal and D is (_m(λ⁺ⁿ), _m(λ⁺ⁿ))‐regular, then either D is (cf λ, cf λ)‐regular or there are arbitrarily large κ < λ for which D is κ ‐decomposable (Theorem 4.3(b)). (c) Suppose that λ is singular, λ < κ, cf κ ≠ cf λ and D is (λ⁺, κ)‐regular. Then: (i) D is either (cf λ, cf λ)‐regular, or (λ^', κ)‐regular for some λ^' < λ (Theorem 2.2). (ii) If κ is regular, then D is either (λ, κ)‐regular, or (ω, κ^')‐regular for every κ^' < κ (Corollary 6.4). (iii) If either (1) λ is a strong limit cardinal and λ^<λ < 2^κ, or (2) λ^<λ < κ, then D is either λ ‐decomposable, or (λ^', κ)‐regular for some λ^' < λ (Theorem 6.5). (d) If λ is singular, D is (μ, cf λ)‐regular and there are arbitrarily large ν < λ for which D is ν ‐decomposable, then D is κ ‐decomposable for some κ with λ ≤ κ ≤ λ^<μ (Theorem 5.1; actually, our result is stronger and involves a covering number). (e) D × D^' is (λ, μ)‐regular if and only if there is a ν such that D is (ν, μ)‐regular and D^' is (λ, ν^')‐regular for all ν^～ < ν (Proposition 7.1). We also list some problems, and furnish applications to topological spaces and to extended logics (Corollar‐ies 4.6 and 4.8) (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Supercompactness and measurable limits of strong cardinals II: Applications to level by level equivalence

We construct models for the level by level equivalence between strong compactness and supercompactness in which for κ the least supercompact cardinal and δ ≤ κ any cardinal which is either a strong cardinal or a measurable limit of strong cardinals, 2^δ > δ ⁺ and δ is < 2^δ supercompact. In these models, the structure of the class of supercompact cardinals can be arbitrary, and the size of the power set of κ can essentially be made as large as desired. This extends and generalizes [5, Theorem 2] and [4, Theorem 4]. We also sketch how our techniques can be used to establish a weak indestructibility result. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

A gap 1 cardinal transfer theorem

We extend the gap 1 cardinal transfer theorem (κ ⁺, κ ) → (λ ⁺, λ ) to any language of cardinality ≤λ, where λ is a regular cardinal. This transfer theorem has been proved by Chang under GCH for countable languages and by Silver in some cases for bigger languages (also under GCH). We assume the existence of a coarse (λ, 1)‐morass instead of GCH. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Infeasible Mehrotra-Type Predictor-Corrector Interior-Point Algorithm for the Cartesian P *(κ)-LCP Over Symmetric Cones

We propose an infeasible Mehrotra-type predictor-corrector algorithm with a new center parameter updating scheme for Cartesian P _*(κ)-linear complementarity problem over symmetric cones. Based on the Nesterov-Todd direction, we show that the iteration-complexity bound of the proposed algorithm is 𝒪((1 + κ)³ r ²log ε^?1), where r is the rank of the associated Euclidean Jordan algebras and κ is the handicap of the problem and ε > 0 is the required precision. Some numerical results are reported as well.     

Strong Compactness and a Global Version of a Theorem of Ben‐David and Magidor

Starting with a model in which κ is the least inaccessible limit of cardinals δ which are δ⁺ strongly compact, we force and construct a model in which κ remains inaccessible and in which, for every cardinal γ < κ, □_γ+ω fails but □_{γ+ω, ω} holds. This generalizes a result of Ben‐David and Magidor and provides an analogue in the context of strong compactness to a result of the author and Cummings in the context of supercompactness.     

Indestructibility and level by level equivalence and inequivalence

If κ < λ are such that κ is indestructibly supercompact and λ is 2^λ supercompact, it is known from [4] that

• {δ < κ | δ is a measurable cardinal which is not a limit of measurable cardinals and δ violates level by level equivalence between strong compactness and supercompactness}

must be unbounded in κ. On the other hand, using a variant of the argument used to establish this fact, it is possible to prove that if κ < λ are such that κ is indestructibly supercompact and λ is measurable, then

• {δ < κ | δ is a measurable cardinal which is not a limit of measurable cardinals and δ satisfies level by level equivalence between strong compactness and supercompactness}

must be unbounded in κ. The two aforementioned phenomena, however, need not occur in a universe with an indestructibly supercompact cardinal and sufficiently few large cardinals. In particular, we show how to construct a model with an indestructibly supercompact cardinal κ in which if δ < κ is a measurable cardinal which is not a limit of measurable cardinals, then δ must satisfy level by level equivalence between strong compactness and supercompactness. We also, however, show how to construct a model with an indestructibly supercompact cardinal κ in which if δ < κ is a measurable cardinal which is not a limit of measurable cardinals, then δ must violate level by level equivalence between strong compactness and supercompactness. (© 2007 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)     

Diagnosis of and remedy for imperfection sensitivity of arch bridges

Unless the hangers of arch bridges are sufficiently stiff, such bridges are imperfection sensitive [1]. Increasing the stiffness of the hangers, such structures eventually become imperfection insensitive. The mathematical definition of imperfection insensitivity follows from a series expansion of the dimensionless load parameter Δλ(κ, η), relative to the stability limit λ = λ_S, given as [2] Δλ(κ, η) = λ₁(κ)η + λ₂(κ)η² + λ₃(κ)η³ + O(η⁴), (1) where λ₁, λ₂, … are coefficients depending on the stiffness of the hangers representing the design parameter κ and η is a path parameter describing the postbuckling path. A necessary condition for imperfection insensitivity is [3] λ₁(κ) = 0 ∀κ. (2) If, for a specific value κ of κ, also λ₂(κ=κ ) > 0, (3) then the structure is imperfection insensitive for κ=κ . It will be shown numerically that the increase of the stiffness of the hangers is the remedy addressed in the title of the paper. (© 2011 Wiley-VCH Verlag GmbH & Co. KGaA, Weinheim)     

On κ‐hereditary Sets and Consequences of the Axiom of Choice

We will prove that some so‐called union theorems (see [2]) are equivalent in ZF⁰ to statements about the transitive closure of relations. The special case of “bounded” union theorems dealing with κ‐hereditary sets yields equivalents to statements about the transitive closure of κ‐narrow relations. The instance κ = ω₁ (i. e., hereditarily countable sets) yields an equivalent to Howard‐Rubin's Form 172 (the transitive closure Tc(x) of every hereditarily countable set x is countable). In particular, the countable union theorem (Howard‐Rubin's Form 31) and, a fortiori, the axiom of countable choice imply Form 172.     

Retracts of box products with odd‐angulated factors

Let G be a connected graph with odd girth 2κ+1. Then G is a (2κ+1)‐angulated graph if every two vertices of G are connected by a path such that each edge of the path is in some (2κ+1)‐cycle. We prove that if G is (2κ+1)‐angulated, and H is connected with odd girth at least 2κ+3, then any retract of the box (or Cartesian) product G□ H is S□T where S is a retract of G and T is a connected subgraph of H. A graph G is strongly (2κ+1)‐angulated if any two vertices of G are connected by a sequence of (2κ+1)‐cycles with consecutive cycles sharing at least one edge. We prove that if G is strongly (2κ+1)‐angulated, and H is connected with odd girth at least 2κ+1, then any retract of G□ H is S□T where S is a retract of G and T is a connected subgraph of H or |V(S)|=1 and T is a retract of H. These two results improve theorems on weakly and strongly triangulated graphs by Nowakowski and Rival [Disc Math 70 ( 13 ), 169–184]. As a corollary, we get that the core of the box product of two strongly (2κ+1)‐angulated cores must be either one of the factors or the box product itself. Furthermore, if G is a strongly (2κ+1)‐angulated core, then either Gⁿ is a core for all positive integers n, or the core of Gⁿ is G for all positive integers n. In the latter case, G is homomorphically equivalent to a normal Cayley graph [Larose, Laviolette, Tardiff, European J Combin 19 ( 12 ), 867–881]. In particular, let G be a strongly (2κ+1)‐angulated core such that either G is not vertex‐transitive, or G is vertex‐transitive and any two maximum independent sets have non‐empty intersection. Then Gⁿ is a core for any positive integer n. On the other hand, let G_i be a (2κ_i+1)‐angulated core for 1 ≤ i≤ n where κ₁ < κ₂ < … < κ_n. If G_i has a vertex that is fixed under any automorphism for 1 ≤ i ≤ n‐1, or G_i is vertex‐transitive such that any two maximum independent sets have non‐empty intersection for 1 ≤ i ≤ n‐1, then □_i=1ⁿ G_i is a core. We then apply the results to construct cores that are box products with Mycielski construction factors or with odd graph factors. We also show that K(r,2r+1) □ C_2l+1 is a core for any integers l ≥ r ≥ 2. It is open whether K(r,2r+1) □ C_2l+1 is a core for r > l ≥ 2. © 2006 Wiley Periodicals, Inc. J Graph Theory     

A Green's Function Approach to Wave Propagation and Potential Flow around Obstacles in Infinite Cylindrical Channels

We study (a) acoustic waves generated by a time-harmonic force distribution and (b) the potential flow with prescribed velocity at infinity in an infinite cylinder Ω₀ = Ω′×ℝ with bounded cross-section Ω′⊂ℝ² in the presence of m embedded obstacles B₁,…,B_m. By using Green's function G_κ(x,y) of the Neumann problem for the reduced wave equation ΔU+κ²U = 0 in the unperturbed domain Ω₀, both problems can be reduced to integral equations over the boundaries of the obstacles. The main properties of G_κ(x,y), which are required for this approach, are derived in the first part of this paper.     

Global C2‐Estimates for Convex Solutions of Curvature Equations

We establish a C² a priori estimate for convex hypersurfaces whose principal curvatures κ=(κ₁,…, κ_n) satisfy σ_k(κ(X))=f(X,ν(X)), the Weingarten curvature equation. We also obtain such an estimate for admissible 2‐convex hypersurfaces in the case k=2. Our estimates resolve a longstanding problem in geometric fully nonlinear elliptic equations.© 2015 Wiley Periodicals, Inc.     

On the Number of Elementary Submodels of an Unsuperstable Homogeneous Structure

We show that if M is a stable unsuperstable homogeneous structure, then for most κ ? |M|, the number of elementary submodels of M of power κ is 2^κ.     

Atomic decompositions of function spaces with Muckenhoupt weights,and some relation to fractal analysis

This paper deals with atomic decompositions in spaces of type B^s_p,q (?ⁿ , w), F^s_p,q (?ⁿ , w), 0 < p < ∞, 0 < q ≤ ∞, s ∈ ?, where the weight function w belongs to some Muckenhoupt class A_r. In particular, we consider the weight function w^Γ_κ (x) = dist(x, Γ)^κ, where Γ is some d ‐set, 0 < d < n, and κ > –(n – d). (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)