A saturation property of ideals and weakly compact cardinals

1986 ◽  
Vol 51 (3) ◽  
pp. 513-525
Author(s):  
Joji Takahashi
Keyword(s):  
Weak Compactness ◽  
Related Concept ◽  
Technical Tool ◽  
Weakly Compact ◽  
Uncountable Cardinal ◽  
Small Fields ◽  
Generic Ultrapowers ◽  
Main Technical Tool

Suppose κ is a regular uncountable cardinal, λ is a cardinal > 1, and is a κ-complete uniform ideal on κ. This paper deals with a saturation property Sat(κ, λ, ) of , which is a weakening of usual λ-saturatedness. Roughly speaking, Sat(κ, λ, ) means that can be densely extended to λ-saturated ideals on small fields of subsets of κ. We will show that some consequences of the existence of a λ-saturated ideal on κ follow from weaker ∃: Sat(κ, λ, ), and that ∃: Sat(κ, λ, ) is connected with weak compactness and complete ineffability of κ in much the same way as the existence of a saturated ideal on κ is connected with measurability of κ.In §2, we define Sat(κ, λ, ), mention a few results that can be proved by straightforward adaptation of known methods, and discuss generic ultrapowers of ZFC−, which will be used repeatedly in the subsequent sections as a main technical tool. A related concept Sat(κ, λ) is also defined and shown to be equivalent to ∃: Sat(κ, λ, ) under a certain condition.In §3, we show that ∃: Sat(κ, κ, ) implies that κ is highly Mahlo, improving results in [KT] and [So].

Weakly compact cardinals in models of set theory

1985 ◽  
Vol 50 (2) ◽  
pp. 476-486
Author(s):  
Ali Enayat
Keyword(s):  
Set Theory ◽  
Countable Model ◽  
Weakly Compact ◽  
Uncountable Cardinal ◽  
Power Set ◽  
Central Notion ◽  
Countable Compactness ◽  
Omitting Types ◽  
Models Of Set Theory ◽  
Generic Ultrapowers

The central notion of this paper is that of a κ-elementary end extension of a model of set theory. A model is said to be a κ-elementary end extension of a model of set theory if > and κ, which is a cardinal of , is end extended in the passage from to , i.e., enlarges κ without enlarging any of its members (see §0 for more detail). This notion was implicitly introduced by Scott in [Sco] and further studied by Keisler and Morley in [KM], Hutchinson in [H] and recently by the author in [E]. It is not hard to see that if has a κ-elementary end extension then κ must be regular in . Keisler and Morley [KM] noticed that this has a converse if is countable, i.e., if κ is a regular cardinal of a countable model then has a κ-elementary end extension. Later Hutchinson [H] refined this result by constructing κ-elementary end extensions 1 and 2 of an arbitrary countable model in which κ is a regular uncountable cardinal, such that 1 adds a least new element to κ while 2 adds no least new ordinal to κ. It is a folklore fact of model theory that the Keisler-Morley result gives soft and short proofs of countable compactness and abstract completeness (i.e. recursive enumera-bility of validities) of the logic L(Q), studied extensively in Keisler's [K2]; and Hutchinson's refinement does the same for stationary logic L(aa), studied by Barwise et al. in [BKM]. The proof of Keisler-Morley and that of Hutchinson make essential use of the countability of since they both rely on the Henkin-Orey omitting types theorem. As pointed out in [E, Theorem 2.12], one can prove these theorems using “generic” ultrapowers just utilizing the assumption of countability of the -power set of κ. The following result, appearing as Theorem 2.14 in [E], links the notion of κ-elementary end extension to that of measurability of κ. The proof using (b) is due to Matti Rubin.

Weak compactness of Fréchet-derivatives: application to composition operators

1980 ◽  
Vol 29 (4) ◽  
pp. 399-406
Author(s):  
Peter Dierolf ◽  
Jürgen Voigt
Keyword(s):  
Banach Spaces ◽  
Integral Equations ◽  
Sobolev Spaces ◽  
Composition Operators ◽  
Weak Compactness ◽  
Nonlinear Integral Equations ◽  
Weakly Compact ◽  
Frechet Derivatives ◽  
Fréchet Derivatives ◽  
Compact Map

AbstractWe prove a result on compactness properties of Fréchet-derivatives which implies that the Fréchet-derivative of a weakly compact map between Banach spaces is weakly compact. This result is applied to characterize certain weakly compact composition operators on Sobolev spaces which have application in the theory of nonlinear integral equations and in the calculus of variations.

scholarly journals Square-integrable representations of non-unimodular groups

1976 ◽  
Vol 15 (1) ◽  
pp. 1-12 ◽  
Author(s):  
A.L. Carey
Keyword(s):  
Hilbert Space ◽  
Reproducing Kernel ◽  
Reproducing Kernel Hilbert Space ◽  
Hilbert Algebra ◽  
Technical Tool ◽  
Integrable Representation ◽  
Hilbert Algebras ◽  
Orthogonality Relations ◽  
Square Integrable Representation ◽  
Main Technical Tool

In the last three years a number of people have investigated the orthogonality relations for square integrable representations of non-unimodular groups, extending the known results for the unimodular case. The results are stated in the language of left (or generalized) Hilbert algebras. This paper is devoted to proving the orthogonality relations without recourse to left Hilbert algebra techniques. Our main technical tool is to realise the square integrable representation in question in a reproducing kernel Hilbert space.

Essential Norm and Weak Compactness of Composition Operators on Weighted Banach Spaces of Analytic Functions

1999 ◽  
Vol 42 (2) ◽  
pp. 139-148 ◽  
Author(s):  
José Bonet ◽  
Paweł Dománski ◽  
Mikael Lindström
Keyword(s):  
Banach Space ◽  
Banach Spaces ◽  
Analytic Functions ◽  
Composition Operators ◽  
Essential Norm ◽  
Weak Compactness ◽  
Weakly Compact ◽  
Point Evaluation ◽  
Weighted Banach Spaces ◽  
Spaces Of Analytic Functions

AbstractEvery weakly compact composition operator between weighted Banach spaces of analytic functions with weighted sup-norms is compact. Lower and upper estimates of the essential norm of continuous composition operators are obtained. The norms of the point evaluation functionals on the Banach space are also estimated, thus permitting to get new characterizations of compact composition operators between these spaces.

scholarly journals PROOF THEORY OF WEAK COMPACTNESS

2013 ◽  
Vol 13 (01) ◽  
pp. 1350003 ◽  
Author(s):  
TOSHIYASU ARAI
Keyword(s):  
Set Theory ◽  
Proof Theory ◽  
Weak Compactness ◽  
Weakly Compact ◽  
Compact Cardinal ◽  
Weakly Compact Cardinal

We show that the existence of a weakly compact cardinal over the Zermelo–Fraenkel's set theory ZF is proof-theoretically reducible to iterations of Mostowski collapsings and Mahlo operations.

scholarly journals The non-archimedean SYZ fibration

2019 ◽  
Vol 155 (5) ◽  
pp. 953-972 ◽  
Author(s):  
Johannes Nicaise ◽  
Chenyang Xu ◽  
Tony Yue Yu
Keyword(s):  
Explicit Description ◽  
Affine Structure ◽  
Technical Tool ◽  
One Dimensional ◽  
Codimension Two ◽  
Main Technical Tool

We construct non-archimedean SYZ (Strominger–Yau–Zaslow) fibrations for maximally degenerate Calabi–Yau varieties, and we show that they are affinoid torus fibrations away from a codimension-two subset of the base. This confirms a prediction by Kontsevich and Soibelman. We also give an explicit description of the induced integral affine structure on the base of the SYZ fibration. Our main technical tool is a study of the structure of minimal dlt (divisorially log terminal) models along one-dimensional strata.

scholarly journals Co-tame polynomial automorphisms

2019 ◽  
Vol 29 (05) ◽  
pp. 803-825 ◽  
Author(s):  
Eric Edo ◽  
Drew Lewis
Keyword(s):  
Characteristic Zero ◽  
Independent Interest ◽  
Technical Tool ◽  
Polynomial Automorphism ◽  
Polynomial Automorphisms ◽  
Negative Results ◽  
Dimension Formula ◽  
Positive Results ◽  
Main Technical Tool

A polynomial automorphism of [Formula: see text] over a field of characteristic zero is called co-tame if, together with the affine subgroup, it generates the entire tame subgroup. We prove some new classes of automorphisms of [Formula: see text], including nonaffine [Formula: see text]-triangular automorphisms, are co-tame. Of particular interest, if [Formula: see text], we show that the statement “Every [Formula: see text]-triangular automorphism is either affine or co-tame” is true if and only if [Formula: see text]; this improves upon positive results of Bodnarchuk (for [Formula: see text], in any dimension [Formula: see text]) and negative results of the authors (for [Formula: see text], [Formula: see text]). The main technical tool we introduce is a class of maps we term translation degenerate automorphisms; we show that all of these are either affine or co-tame, a result that may be of independent interest in the further study of co-tame automorphisms.

scholarly journals Explicit Correlation Amplifiers for Finding Outlier Correlations in Deterministic Subquadratic Time

Algorithmica ◽  
2020 ◽  
Vol 82 (11) ◽  
pp. 3306-3337
Author(s):  
Matti Karppa ◽  
Petteri Kaski ◽  
Jukka Kohonen ◽  
Padraig Ó Catháin
Keyword(s):  
Positive Integer ◽  
Binary Data ◽  
Randomized Algorithm ◽  
Time Algorithm ◽  
High Dimensionality ◽  
Parameter Range ◽  
Technical Tool ◽  
Similarity Join ◽  
Explicit Correlation ◽  
Main Technical Tool

Abstract We derandomize Valiant’s (J ACM 62, Article 13, 2015) subquadratic-time algorithm for finding outlier correlations in binary data. This demonstrates that it is possible to perform a deterministic subquadratic-time similarity join of high dimensionality. Our derandomized algorithm gives deterministic subquadratic scaling essentially for the same parameter range as Valiant’s randomized algorithm, but the precise constants we save over quadratic scaling are more modest. Our main technical tool for derandomization is an explicit family of correlation amplifiers built via a family of zigzag-product expanders by Reingold et al. (Ann Math 155(1):157–187, 2002). We say that a function $$f:\{-1,1\}^d\rightarrow \{-1,1\}^D$$ f : { - 1 , 1 } d → { - 1 , 1 } D is a correlation amplifier with threshold $$0\le \tau \le 1$$ 0 ≤ τ ≤ 1 , error $$\gamma \ge 1$$ γ ≥ 1 , and strength p an even positive integer if for all pairs of vectors $$x,y\in \{-1,1\}^d$$ x , y ∈ { - 1 , 1 } d it holds that (i) $$|\langle x,y\rangle |<\tau d$$ | ⟨ x , y ⟩ | < τ d implies $$|\langle f(x),f(y)\rangle |\le (\tau \gamma )^pD$$ | ⟨ f ( x ) , f ( y ) ⟩ | ≤ ( τ γ ) p D ; and (ii) $$|\langle x,y\rangle |\ge \tau d$$ | ⟨ x , y ⟩ | ≥ τ d implies $$\left (\frac{\langle x,y\rangle }{\gamma d}\right )^pD \le \langle f(x),f(y)\rangle \le \left (\frac{\gamma \langle x,y\rangle }{d}\right )^pD$$ ⟨ x , y ⟩ γ d p D ≤ ⟨ f ( x ) , f ( y ) ⟩ ≤ γ ⟨ x , y ⟩ d p D .

Weak compactness and square bracket partition relations

1972 ◽  
Vol 37 (4) ◽  
pp. 673-676 ◽  
Author(s):  
E. M. Kleinberg ◽  
R. A. Shore
Keyword(s):  
Weak Compactness ◽  
Partition Relation ◽  
Tree Property ◽  
Weakly Compact ◽  
Partition Relations

Although there are many characterizations of weakly compact cardinals (e.g. in terms of indescnbability and tree properties as well as compactness) the most interesting set-theoretic (combinatorial) one is in terms of partition relations. To be more precise we define for κ and α cardinals and n an integer the partition relation of Erdös, Hajnal and Rado [2] as follows:For every function F: [κ]n→ α (called a partition of [κ]n, the n-element subsets of κ, into α pieces), there exists a set C⊆ κ (called homogeneous for F) such that card C = κ and F″[C]n≠ α, i.e. some element of the range is omitted when F is restricted to the n-element subsets of C. It is the simplest (nontrivial) of these relations, i.e. , that is the well-known equivalent of weak compactness.1Two directions of inquiry immediately suggest themselves when weak compactness is described in terms of these partition relations: (a) Trying to strengthen the relation by increasing the superscript—e.g., —and (b) trying to weaken the relation by increasing the subscript—e.g., . As it turns out, the strengthening to is only illusory for using the equivalence of to the tree property one quickly sees that implies (and so is equivalent to) for every n. Thus is the strongest of these partition relations. The second question seems much more difficult.

Sign in / Sign up

Export Citation Format

Share Document