Existentially closed II₁ factors

Ilijas Farah; Isaac Goldbring; Bradd Hart; David Sherman

Displaying similar documents to “Existentially closed II₁ factors”

Another ⋄-like principle

Michael Hrušák (2001)

Fundamenta Mathematicae

Similarity:

A new ⋄-like principle $⋄_{}$ consistent with the negation of the Continuum Hypothesis is introduced and studied. It is shown that $\neg ⋄_{}$ is consistent with CH and that in many models of = ω₁ the principle $⋄_{}$ holds. As $⋄_{}$ implies that there is a MAD family of size ℵ₁ this provides a partial answer to a question of J. Roitman who asked whether = ω₁ implies = ω₁. It is proved that $⋄_{}$ holds in any model obtained by adding a single Laver real, answering a question of J. Brendle who asked whether = ω₁...

Characterizing the powerset by a complete (Scott) sentence

Ioannis Souldatos (2013)

Fundamenta Mathematicae

Similarity:

This paper is part II of a study on cardinals that are characterizable by a Scott sentence, continuing previous work of the author. A cardinal κ is characterized by a Scott sentence $ϕ_{ℳ}$ if $ϕ_{ℳ}$ has a model of size κ, but no model of size κ⁺. The main question in this paper is the following: Are the characterizable cardinals closed under the powerset operation? We prove that if $ℵ_{β}$ is characterized by a Scott sentence, then $2^{ℵ_{β + β ₁}}$ is (homogeneously) characterized by a Scott sentence, for all 0 <...

Logarithmically improved blow-up criterion for smooth solutions to the Leray- $α$ -magnetohydrodynamic equations

Ines Ben Omrane, Sadek Gala, Jae-Myoung Kim, Maria Alessandra Ragusa (2019)

Archivum Mathematicum

Similarity:

In this paper, the Cauchy problem for the $3 D$ Leray- $α$ -MHD model is investigated. We obtain the logarithmically improved blow-up criterion of smooth solutions for the Leray- $α$ -MHD model in terms of the magnetic field $B$ only in the framework of homogeneous Besov space with negative index.

Distortion and spreading models in modified mixed Tsirelson spaces

S. A. Argyros, I. Deliyanni, A. Manoussakis (2003)

Studia Mathematica

Similarity:

The results of the first part concern the existence of higher order ℓ₁ spreading models in asymptotic ℓ₁ Banach spaces. We sketch the proof of the fact that the mixed Tsirelson space T[(ₙ,θₙ)ₙ], $θ_{n + m} \geq θ ₙ θ ₘ$ and $l i m_{n} θ ₙ^{1 / n} = 1$ , admits an $ℓ ₁^{ω}$ spreading model in every block subspace. We also prove that if X is a Banach space with a basis, with the property that there exists a sequence (θₙ)ₙ ⊂ (0,1) with $l i m_{n} θ ₙ^{1 / n} = 1$ , such that, for every n ∈ ℕ, $| | \sum_{k = 1}^{m} x_{k} | | \geq θ ₙ \sum_{k = 1}^{m} | | x_{k} | |$ for every ₙ-admissible block sequence ${(x_{k})}_{k = 1}^{m}$ of vectors in X, then there exists c...

Stein’s method in high dimensions with applications

Adrian Röllin (2013)

Annales de l'I.H.P. Probabilités et statistiques

Similarity:

Let $h$ be a three times partially differentiable function on $ℝ^{n}$ , let $X = (X_{1}, ..., X_{n})$ be a collection of real-valued random variables and let $Z = (Z_{1}, ..., Z_{n})$ be a multivariate Gaussian vector. In this article, we develop Stein’s method to give error bounds on the difference $𝔼 h (X) - 𝔼 h (Z)$ in cases where the coordinates of $X$ are not necessarily independent, focusing on the high dimensional case $n \to \infty$ . In order to express the dependency structure we use Stein couplings, which allows for a broad range of applications, such as classic...

Estimating composite functions by model selection

Yannick Baraud, Lucien Birgé (2014)

Annales de l'I.H.P. Probabilités et statistiques

Similarity:

We consider the problem of estimating a function $s$ on ${[- 1, 1]}^{k}$ for large values of $k$ by looking for some best approximation of $s$ by composite functions of the form $g \circ u$ . Our solution is based on model selection and leads to a very general approach to solve this problem with respect to many different types of functions $g, u$ and statistical frameworks. In particular, we handle the problems of approximating $s$ by additive functions, single and multiple index models, artificial neural networks, mixtures...

On the structure of the set of higher order spreading models

Bünyamin Sarı, Konstantinos Tyros (2014)

Studia Mathematica

Similarity:

We generalize some results concerning the classical notion of a spreading model to spreading models of order ξ. Among other results, we prove that the set $S M_{ξ}^{w} (X)$ of ξ-order spreading models of a Banach space X generated by subordinated weakly null ℱ-sequences endowed with the pre-partial order of domination is a semilattice. Moreover, if $S M_{ξ}^{w} (X)$ contains an increasing sequence of length ω then it contains an increasing sequence of length ω₁. Finally, if $S M_{ξ}^{w} (X)$ is uncountable, then it contains an antichain...

On automorphisms of the Banach space $ℓ_{\infty} / c ₀$

Piotr Koszmider, Cristóbal Rodríguez-Porras (2016)

Fundamenta Mathematicae

Similarity:

We investigate Banach space automorphisms $T : ℓ_{\infty} / c ₀ \to ℓ_{\infty} / c ₀$ focusing on the possibility of representing their fragments of the form $T_{B, A} : ℓ_{\infty} (A) / c ₀ (A) \to ℓ_{\infty} (B) / c ₀ (B)$ for A,B ⊆ ℕ infinite by means of linear operators from $ℓ_{\infty} (A)$ into $ℓ_{\infty} (B)$ , infinite A×B-matrices, continuous maps from B* = βB∖B into A*, or bijections from B to A. This leads to the analysis of general bounded linear operators on $ℓ_{\infty} / c ₀$ . We present many examples, introduce and investigate several classes of operators, for some of them we obtain satisfactory representations and for...

On affinity of Peano type functions

Tomasz Słonka (2012)

Colloquium Mathematicae

Similarity:

We show that if n is a positive integer and $2^{ℵ ₀} \leq ℵ ₙ$ , then for every positive integer m and for every real constant c > 0 there are functions $f ₁, . . ., f_{n + m} : ℝ ⁿ \to ℝ$ such that $(f ₁, . . ., f_{n + m}) (ℝ ⁿ) = ℝ^{n + m}$ and for every x ∈ ℝⁿ there exists a strictly increasing sequence (i₁,...,iₙ) of numbers from 1,...,n+m and a w ∈ ℤⁿ such that $(f_{i ₁}, . . ., f_{i ₙ}) (y) = y + w$ for $y \in x + (- c, c) \times ℝ^{n - 1}$ .

Quasi-polynomial mixing of the 2D stochastic Ising model with “plus” boundary up to criticality

Eyal Lubetzky, Fabio Martinelli, Allan Sly, Fabio Lucio Toninelli (2013)

Journal of the European Mathematical Society

Similarity:

We considerably improve upon the recent result of [37] on the mixing time of Glauber dynamics for the 2D Ising model in a box of side $L$ at low temperature and with random boundary conditions whose distribution $P$ stochastically dominates the extremal plus phase. An important special case is when $P$ is concentrated on the homogeneous all-plus configuration, where the mixing time $T_{M I X}$ is conjectured to be polynomial in $L$ . In [37] it was shown that for a large enough inverse-temperature $β$ and...

On the hyperspace $C_{n} (X) / {C_{n}}_{K} (X)$

José G. Anaya, Enrique Castañeda-Alvarado, José A. Martínez-Cortez (2021)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

Let $X$ be a continuum and $n$ a positive integer. Let $C_{n} (X)$ be the hyperspace of all nonempty closed subsets of $X$ with at most $n$ components, endowed with the Hausdorff metric. For $K$ compact subset of $X$ , define the hyperspace ${C_{n}}_{K} (X) = {A \in C_{n} (X) : K \subset A}$ . In this paper, we consider the hyperspace $C_{K}^{n} (X) = C_{n} (X) / {C_{n}}_{K} (X)$ , which can be a tool to study the space $C_{n} (X)$ . We study this hyperspace in the class of finite graphs and in general, we prove some properties such as: aposyndesis, local connectedness, arcwise disconnectedness, and contractibility. ...

Generic extensions of models of ZFC

Lev Bukovský (2017)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

The paper contains a self-contained alternative proof of my Theorem in Characterization of generic extensions of models of set theory, Fund. Math. 83 (1973), 35–46, saying that for models $M \subseteq N$ of ZFC with same ordinals, the condition $A p r_{M, N} (κ)$ implies that $N$ is a $κ$ -C.C. generic extension of $M$ .

Higher order spreading models

S. A. Argyros, V. Kanellopoulos, K. Tyros (2013)

Fundamenta Mathematicae

Similarity:

We introduce higher order spreading models associated to a Banach space X. Their definition is based on ℱ-sequences ${(x_{s})}_{s \in ℱ}$ with ℱ a regular thin family and on plegma families. We show that the higher order spreading models of a Banach space X form an increasing transfinite hierarchy ${(ℳ_{ξ} (X))}_{ξ < ω ₁}$ . Each $ℳ_{ξ} (X)$ contains all spreading models generated by ℱ-sequences ${(x_{s})}_{s \in ℱ}$ with order of ℱ equal to ξ. We also study the fundamental properties of this hierarchy.

On ordinals accessible by infinitary languages

Saharon Shelah, Pauli Väisänen, Jouko Väänänen (2005)

Fundamenta Mathematicae

Similarity:

Let λ be an infinite cardinal number. The ordinal number δ(λ) is the least ordinal γ such that if ϕ is any sentence of $L_{λ ⁺ ω}$ , with a unary predicate D and a binary predicate ≺, and ϕ has a model ℳ with $⟨ D^{ℳ}, ≺^{ℳ} ⟩$ a well-ordering of type ≥ γ, then ϕ has a model ℳ ’ where $⟨ D^{ℳ^{'}}, ≺^{ℳ^{'}} ⟩$ is non-well-ordered. One of the interesting properties of this number is that the Hanf number of $L_{λ ⁺ ω}$ is exactly $ℶ_{δ (λ)}$ . It was proved in [BK71] that if ℵ₀ < λ < κ $a r e r e g u l a r c a r d i n a l n u m b e r s, t h e n t h e r e i s a f o r c i n g e x t e n s i o n, p r e s e r v i n g c o f i n a l i t i e s, s u c h t h a t i n t h e e x t e n s i o n$ 2λ = κ $a n d δ (λ) < λ ⁺ ⁺ . W e i m p r o v e t h i s r e s u l t b y p r o v i n g t h e f o l l o w i n g : S u p p o s e ℵ ₀ < λ < θ \leq κ a r e c a r d i n a l n u m b e r s s u c h t h a t$ ∙ $λ^{< λ} = λ$ ; ∙ cf(θ) ≥ λ⁺ and $μ^{λ} < θ$ whenever μ < θ; ∙ $κ^{λ} = κ$ . Then there...

A continuum $X$ such that $C (X)$ is not continuously homogeneous

Alejandro Illanes (2016)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

A metric continuum $X$ is said to be continuously homogeneous provided that for every two points $p, q \in X$ there exists a continuous surjective function $f : X \to X$ such that $f (p) = q$ . Answering a question by W.J. Charatonik and Z. Garncarek, in this paper we show a continuum $X$ such that the hyperspace of subcontinua of $X$ , $C (X)$ , is not continuously homogeneous.

Polycyclic groups with automorphisms of order four

Tao Xu, Fang Zhou, Heguo Liu (2016)

Czechoslovak Mathematical Journal

Similarity:

In this paper, we study the structure of polycyclic groups admitting an automorphism of order four on the basis of Neumann’s result, and prove that if $α$ is an automorphism of order four of a polycyclic group $G$ and the map $ϕ : G \to G$ defined by $g^{ϕ} = [g, α]$ is surjective, then $G$ contains a characteristic subgroup $H$ of finite index such that the second derived subgroup $H^{''}$ is included in the centre of $H$ and $C_{H} (α^{2})$ is abelian, both $C_{G} (α^{2})$ and $G / [G, α^{2}]$ are abelian-by-finite. These results extend recent and classical results in...

$ℓ_{\infty}$ -sums and the Banach space $ℓ_{\infty} / c ₀$

Christina Brech, Piotr Koszmider (2014)

Fundamenta Mathematicae

Similarity:

This paper is concerned with the isomorphic structure of the Banach space $ℓ_{\infty} / c ₀$ and how it depends on combinatorial tools whose existence is consistent with but not provable from the usual axioms of ZFC. Our main global result is that it is consistent that $ℓ_{\infty} / c ₀$ does not have an orthogonal $ℓ_{\infty}$ -decomposition, that is, it is not of the form $ℓ_{\infty} (X)$ for any Banach space X. The main local result is that it is consistent that $ℓ_{\infty} (c ₀ ())$ does not embed isomorphically into $ℓ_{\infty} / c ₀$ , where is the cardinality of the continuum,...

Ground states of supersymmetric matrix models

Gian Michele Graf (1998-1999)

Séminaire Équations aux dérivées partielles

Similarity:

We consider supersymmetric matrix Hamiltonians. The existence of a zero-energy bound state, in particular for the $d = 9$ model, is of interest in M-theory. While we do not quite prove its existence, we show that the decay at infinity such a state would have is compatible with normalizability (and hence existence) in $d = 9$ . Moreover, it would be unique. Other values of $d$ , where the situation is somewhat different, shall also be addressed. The analysis is based on a Born-Oppenheimer approximation....

On sentences provable in impredicative extensions of theories

Zygmunt Ratajczyk

Similarity:

CONTENTS0. Introduction.......................................................................... 51. Preliminaries............................................................................... 72. Basic facts to be used in the sequel....................................... 113. Predicates OD(.,.) and CL(.,.).................................................... 174. Predicate Sels............................................................................. 185. Strong $\sum_{n}^{1}$ -collection...........................................................

Counting models of set theory

Ali Enayat (2002)

Fundamenta Mathematicae

Similarity:

Let T denote a completion of ZF. We are interested in the number μ(T) of isomorphism types of countable well-founded models of T. Given any countable order type τ, we are also interested in the number μ(T,τ) of isomorphism types of countable models of T whose ordinals have order type τ. We prove: (1) Suppose ZFC has an uncountable well-founded model and $κ \in ω \cup ℵ ₀, ℵ ₁, 2^{ℵ ₀}$ . There is some completion T of ZF such that μ(T) = κ. (2) If α <ω₁ and μ(T,α) > ℵ₀, then $μ (T, α) = 2^{ℵ ₀}$ . (3) If α < ω₁ and T ⊢ V ≠ OD,...

On Dimensionsgrad, resolutions, and chainable continua

Michael G. Charalambous, Jerzy Krzempek (2010)

Fundamenta Mathematicae

Similarity:

For each natural number n ≥ 1 and each pair of ordinals α,β with n ≤ α ≤ β ≤ ω(⁺), where ω(⁺) is the first ordinal of cardinality ⁺, we construct a continuum $S_{n, α, β}$ such that (a) $d i m S_{n, α, β} = n$ ; (b) $t r D g S_{n, α, β} = t r D g o S_{n, α, β} = α$ ; (c) $t r i n d S_{n, α, β} = t r I n d ₀ S_{n, α, β} = β$ ; (d) if β < ω(⁺), then $S_{n, α, β}$ is separable and first countable; (e) if n = 1, then $S_{n, α, β}$ can be made chainable or hereditarily decomposable; (f) if α = β < ω(⁺), then $S_{n, α, β}$ can be made hereditarily indecomposable; (g) if n = 1 and α = β < ω(⁺), then $S_{n, α, β}$ can be made chainable and hereditarily indecomposable. In...

On preimages of ultrafilters in ZF

Horst Herrlich, Paul Howard, Kyriakos Keremedis (2016)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We show that given infinite sets $X, Y$ and a function $f : X \to Y$ which is onto and $n$ -to-one for some $n \in ℕ$ , the preimage of any ultrafilter $ℱ$ of $Y$ under $f$ extends to an ultrafilter. We prove that the latter result is, in some sense, the best possible by constructing a permutation model $ℳ$ with a set of atoms $A$ and a finite-to-one onto function $f : A \to ω$ such that for each free ultrafilter of $ω$ its preimage under $f$ does not extend to an ultrafilter. In addition, we show that in $ℳ$ there exists an ultrafilter compact...