A López-Escobar theorem for metric structures, and the topological Vaught conjecture

Samuel Coskey; Martino Lupini

Displaying similar documents to “A López-Escobar theorem for metric structures, and the topological Vaught conjecture”

The effective Borel hierarchy

M. Vanden Boom (2007)

Fundamenta Mathematicae

Similarity:

Let K be a subclass of Mod() which is closed under isomorphism. Vaught showed that K is $Σ_{α}$ (respectively, $Π_{α}$ ) in the Borel hierarchy iff K is axiomatized by an infinitary $Σ_{α}$ (respectively, $Π_{α}$ ) sentence. We prove a generalization of Vaught’s theorem for the effective Borel hierarchy, i.e. the Borel sets formed by union and complementation over c.e. sets. This result says that we can axiomatize an effective $Σ_{α}$ or effective $Π_{α}$ Borel set with a computable infinitary sentence of the same complexity....

The discriminant and oscillation lengths for contact and Legendrian isotopies

Vincent Colin, Sheila Sandon (2015)

Journal of the European Mathematical Society

Similarity:

We define an integer-valued non-degenerate bi-invariant metric (the discriminant metric) on the universal cover of the identity component of the contactomorphism group of any contact manifold. This metric has a very simple geometric definition, based on the notion of discriminant points of contactomorphisms. Using generating functions we prove that the discriminant metric is unbounded for the standard contact structures on $ℝ^{2 n} \times S^{1}$ and $ℝ P^{2 n + 1}$ . On the other hand we also show by elementary arguments...

On the tangency of sets in generalized metric spaces for certain functions of the class $F_{ρ}^{*}$

T. Konik (1991)

Matematički Vesnik

Similarity:

$F_{σ}$ -mappings and the invariance of absolute Borel classes

Petr Holický, Jiří Spurný (2004)

Fundamenta Mathematicae

Similarity:

It is proved that $F_{σ}$ -mappings preserve absolute Borel classes, which improves results of R. W. Hansell, J. E. Jayne and C. A. Rogers. The proof is based on the fact that any $F_{σ}$ -mapping f: X → Y of an absolute Suslin metric space X onto an absolute Suslin metric space Y becomes a piecewise perfect mapping when restricted to a suitable $F_{σ}$ -set $X_{\infty} \subset X$ satisfying $f (X_{\infty}) = Y$ .

On power integral bases for certain pure number fields defined by $x^{18} - m$

Lhoussain El Fadil (2022)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

Let $K = ℚ (α)$ be a number field generated by a complex root $α$ of a monic irreducible polynomial $f (x) = x^{18} - m$ , $m \neq \mp 1$ , is a square free rational integer. We prove that if $m \equiv 2$ or $3 (\mod 4)$ and $m \neg \equiv \mp 1 (\mod 9)$ , then the number field $K$ is monogenic. If $m \equiv 1 (\mod 4)$ or $m \equiv 1 (\mod 9)$ , then the number field $K$ is not monogenic.

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 <...

Relations between Shy Sets and Sets of $ν_{p}$ -Measure Zero in Solovay’s Model

G. Pantsulaia (2004)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

An example of a non-zero non-atomic translation-invariant Borel measure $ν_{p}$ on the Banach space $ℓ_{p} (1 \leq p \leq \infty)$ is constructed in Solovay’s model. It is established that, for 1 ≤ p < ∞, the condition " $ν_{p}$ -almost every element of $ℓ_{p}$ has a property P" implies that “almost every” element of $ℓ_{p}$ (in the sense of [4]) has the property P. It is also shown that the converse is not valid.

Wijsman hyperspaces of non-separable metric spaces

Rodrigo Hernández-Gutiérrez, Paul J. Szeptycki (2015)

Fundamenta Mathematicae

Similarity:

Given a metric space ⟨X,ρ⟩, consider its hyperspace of closed sets CL(X) with the Wijsman topology $τ_{W (ρ)}$ . It is known that $⟨ C L (X), τ_{W (ρ)} ⟩$ is metrizable if and only if X is separable, and it is an open question by Di Maio and Meccariello whether this is equivalent to $⟨ C L (X), τ_{W (ρ)} ⟩$ being normal. We prove that if the weight of X is a regular uncountable cardinal and X is locally separable, then $⟨ C L (X), τ_{W (ρ)} ⟩$ is not normal. We also solve some questions by Cao, Junnila and Moors regarding isolated points in Wijsman hyperspaces. ...

On the quartic character of quadratic units

Zhi-Hong Sun (2013)

Acta Arithmetica

Similarity:

Let ℤ be the set of integers, and let (m,n) be the greatest common divisor of integers m and n. Let p be a prime of the form 4k+1 and p = c²+d² with c,d ∈ ℤ, $d = 2^{r} d ₀$ and c ≡ d₀ ≡ 1 (mod 4). In the paper we determine ${(b + \sqrt (b ² + 4^{α}) / 2)}^{(p - 1) / 4)} (m o d p)$ for p = x²+(b²+4α)y² (b,x,y ∈ ℤ, 2∤b), and ${(2 a + \sqrt 4 a ² + 1)}^{(p - 1) / 4} (m o d p)$ for p = x²+(4a²+1)y² (a,x,y∈ℤ) on the condition that (c,x+d) = 1 or (d₀,x+c) = 1. As applications we obtain the congruence for $U_{(p - 1) / 4} (m o d p)$ and the criterion for $p | U_{(p - 1) / 8}$ (if p ≡ 1 (mod 8)), where Uₙ is the Lucas sequence given by U₀ = 0, U₁ = 1 and...

Adjacent dyadic systems and the $L^{p}$ -boundedness of shift operators in metric spaces revisited

Olli Tapiola (2016)

Colloquium Mathematicae

Similarity:

With the help of recent adjacent dyadic constructions by Hytönen and the author, we give an alternative proof of results of Lechner, Müller and Passenbrunner about the $L^{p}$ -boundedness of shift operators acting on functions $f \in L^{p} (X; E)$ where 1 < p < ∞, X is a metric space and E is a UMD space.

Topological dynamics of unordered Ramsey structures

Moritz Müller, András Pongrácz (2015)

Fundamenta Mathematicae

Similarity:

We investigate the connections between Ramsey properties of Fraïssé classes and the universal minimal flow $M (G_{)}$ of the automorphism group $G$ of their Fraïssé limits. As an extension of a result of Kechris, Pestov and Todorcevic (2005) we show that if the class has finite Ramsey degree for embeddings, then this degree equals the size of $M (G_{)}$ . We give a partial answer to a question of Angel, Kechris and Lyons (2014) showing that if is a relational Ramsey class and $G$ is amenable, then $M (G_{)}$ admits...

On the complexity of subspaces of $S_{ω}$

Carlos Uzcátegui (2003)

Fundamenta Mathematicae

Similarity:

Let (X,τ) be a countable topological space. We say that τ is an analytic (resp. Borel) topology if τ as a subset of the Cantor set $2^{X}$ (via characteristic functions) is an analytic (resp. Borel) set. For example, the topology of the Arkhangel’skiĭ-Franklin space $S_{ω}$ is $F_{σ δ}$ . In this paper we study the complexity, in the sense of the Borel hierarchy, of subspaces of $S_{ω}$ . We show that $S_{ω}$ has subspaces with topologies of arbitrarily high Borel rank and it also has subspaces with a non-Borel topology....

Metric unconditionality and Fourier analysis

Stefan Neuwirth (1998)

Studia Mathematica

Similarity:

We investigate several aspects of almost 1-unconditionality. We characterize the metric unconditional approximation property (umap) in terms of “block unconditionality”. Then we focus on translation invariant subspaces $L_{E}^{p} ()$ and $C_{E} ()$ of functions on the circle and express block unconditionality as arithmetical conditions on E. Our work shows that the spaces $p_{E} ()$ , p an even integer, have a singular behaviour from the almost isometric point of view: property (umap) does not interpolate between $L_{E}^{p} ()$ ...

Ramsey partitions and proximity data structures

Manor Mendel, Assaf Naor (2007)

Journal of the European Mathematical Society

Similarity:

This paper addresses two problems lying at the intersection of geometric analysis and theoretical computer science: The non-linear isomorphic Dvoretzky theorem and the design of good approximate distance oracles for large distortion.We introduce the notion of Ramsey partitions of a finite metric space, and show that the existence of good Ramsey partitions implies a solution to the metric Ramsey problem for large distortion (also known as the non-linear version of the isomorphic Dvoretzky...

Differential equations in metric spaces

Jacek Tabor (2002)

Mathematica Bohemica

Similarity:

We give a meaning to derivative of a function $u ℝ \to X$ , where $X$ is a complete metric space. This enables us to investigate differential equations in a metric space. One can prove in particular Gronwall’s Lemma, Peano and Picard Existence Theorems, Lyapunov Theorem or Nagumo Theorem in metric spaces. The main idea is to define the tangent space $𝒯_{x} X$ of $x \in X$ . Let $u, v [0, 1) \to X$ , $u (0) = v (0)$ be continuous at zero. Then by the definition $u$ and $v$ are in the same equivalence class if they are tangent at zero, that is if $lim_{h \to 0^{+}} \frac{d (u (h), v (h))}{h} = 0 .$ By...

Wasserstein metric and subordination

Philippe Clément, Wolfgang Desch (2008)

Studia Mathematica

Similarity:

Let $(X, d_{X})$ , $(Ω, d_{Ω})$ be complete separable metric spaces. Denote by (X) the space of probability measures on X, by $W_{p}$ the p-Wasserstein metric with some p ∈ [1,∞), and by $_{p} (X)$ the space of probability measures on X with finite Wasserstein distance from any point measure. Let $f : Ω \to_{p} (X)$ , $ω \mapsto f_{ω}$ , be a Borel map such that f is a contraction from $(Ω, d_{Ω})$ into $(_{p} (X), W_{p})$ . Let ν₁,ν₂ be probability measures on Ω with $W_{p} (ν ₁, ν ₂)$ finite. On X we consider the subordinated measures $μ_{i} = \int_{Ω} f_{ω} d ν_{i} (ω)$ . Then $W_{p} (μ ₁, μ ₂) \leq W_{p} (ν ₁, ν ₂)$ . As an application we show that the solution measures $ϱ_{α} (t)$ ...

Propositional extensions of $L_{ω} 1_{ω}$

Richard Gostanian, Karel Hrbacek

Similarity:

CONTENTS0. Preliminaries....................................................................... 71. Adding propositional connectives to $L_{ω} 1_{ω}$ ............... 82. The propositional part of $L_{ω} 1_{ω}$ (S)............................. 103. The operation S and the Boolean algebra $B_{S}$ ............... 114. General model-theoretic properties of $L_{ω} 1_{ω}$ (S)...... 175. Hanf number computations...................................................... 226. Negative results for $L_{ω} 1_{ω}$ (S)...........................................

On the Lucas sequence equations Vₙ = kVₘ and Uₙ = kUₘ

Refik Keskin, Zafer Şiar (2013)

Colloquium Mathematicae

Similarity:

Let P and Q be nonzero integers. The sequences of generalized Fibonacci and Lucas numbers are defined by U₀ = 0, U₁ = 1 and $U_{n + 1} = P U ₙ - Q U_{n - 1}$ for n ≥ 1, and V₀ = 2, V₁ = P and $V_{n + 1} = P V ₙ - Q V_{n - 1}$ for n ≥ 1, respectively. In this paper, we assume that P ≥ 1, Q is odd, (P,Q) = 1, Vₘ ≠ 1, and $V_{r} \neq 1$ . We show that there is no integer x such that $V ₙ = V_{r} V ₘ x ²$ when m ≥ 1 and r is an even integer. Also we completely solve the equation $V ₙ = V ₘ V_{r} x ²$ for m ≥ 1 and r ≥ 1 when Q ≡ 7 (mod 8) and x is an even integer. Then we show that when P ≡ 3 (mod 4) and...

On a conjecture of Dekking : The sum of digits of even numbers

Iurie Boreico, Daniel El-Baz, Thomas Stoll (2014)

Journal de Théorie des Nombres de Bordeaux

Similarity:

Let $q \geq 2$ and denote by $s_{q}$ the sum-of-digits function in base $q$ . For $j = 0, 1, \dots, q - 1$ consider $# {0 \leq n < N : s_{q} (2 n) \equiv j (mod q)} .$ In 1983, F. M. Dekking conjectured that this quantity is greater than $N / q$ and, respectively, less than $N / q$ for infinitely many $N$ , thereby claiming an absence of a drift (or Newman) phenomenon. In this paper we prove his conjecture.

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,...

Approximately Einstein ACH metrics, volume renormalization, and an invariant for contact manifolds

Neil Seshadri (2009)

Bulletin de la Société Mathématique de France

Similarity:

To any smooth compact manifold $M$ endowed with a contact structure $H$ and partially integrable almost CR structure $J$ , we prove the existence and uniqueness, modulo high-order error terms and diffeomorphism action, of an approximately Einstein ACH (asymptotically complex hyperbolic) metric $g$ on $M \times (- 1, 0)$ . We consider the asymptotic expansion, in powers of a special defining function, of the volume of $M \times (- 1, 0)$ with respect to $g$ and prove that the log term coefficient is independent of $J$ (and any choice...

Infinite-Dimensionality modulo Absolute Borel Classes

Vitalij Chatyrko, Yasunao Hattori (2008)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

For each ordinal 1 ≤ α < ω₁ we present separable metrizable spaces $X_{α}$ , $Y_{α}$ and $Z_{α}$ such that (i) $f X_{α}, f Y_{α}, f Z_{α} = ω ₀$ , where f is either trdef or ₀-trsur, (ii) $A (α) - t r i n d X_{α} = \infty$ and $M (α) - t r i n d X_{α} = - 1$ , (iii) $A (α) - t r i n d Y_{α} = - 1$ and $M (α) - t r i n d Y_{α} = \infty$ , and (iv) $A (α) - t r i n d Z_{α} = M (α) - t r i n d Z_{α} = \infty$ and $A (α + 1) \cap M (α + 1) - t r i n d Z_{α} = - 1$ . We also show that there exists no separable metrizable space $W_{α}$ with $A (α) - t r i n d W_{α} \neq \infty$ , $M (α) - t r i n d W_{α} \neq \infty$ and $A (α) \cap M (α) - t r i n d W_{α} = \infty$ , where A(α) (resp. M(α)) is the absolutely additive (resp. multiplicative) Borel class.

Hyperspaces of Finite Sets in Universal Spaces for Absolute Borel Classes

Kotaro Mine, Katsuro Sakai, Masato Yaguchi (2005)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

By Fin(X) (resp. $F i n^{k} (X)$ ), we denote the hyperspace of all non-empty finite subsets of X (resp. consisting of at most k points) with the Vietoris topology. Let ℓ₂(τ) be the Hilbert space with weight τ and $ℓ ₂^{f} (τ)$ the linear span of the canonical orthonormal basis of ℓ₂(τ). It is shown that if $E = ℓ ₂^{f} (τ)$ or E is an absorbing set in ℓ₂(τ) for one of the absolute Borel classes $_{α} (τ)$ and $_{α} (τ)$ of weight ≤ τ (α > 0) then Fin(E) and each $F i n^{k} (E)$ are homeomorphic to E. More generally, if X is a connected E-manifold then Fin(X)...