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

Samuel Coskey; Martino Lupini

The search session has expired. Please query the service again.

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

Isometric embeddings of a class of separable metric spaces into Banach spaces

Sophocles K. Mercourakis, Vassiliadis G. Vassiliadis (2018)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

Let $(M, d)$ be a bounded countable metric space and $c > 0$ a constant, such that $d (x, y) + d (y, z) - d (x, z) \geq c$ , for any pairwise distinct points $x, y, z$ of $M$ . For such metric spaces we prove that they can be isometrically embedded into any Banach space containing an isomorphic copy of $ℓ_{\infty}$ .

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:

The nonexistence of universal metric flows

Stefan Geschke (2018)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We consider dynamical systems of the form $(X, f)$ where $X$ is a compact metric space and $f : X \to X$ is either a continuous map or a homeomorphism and provide a new proof that there is no universal metric dynamical system of this kind. The same is true for metric minimal dynamical systems and for metric abstract $ω$ -limit sets, answering a question by Will Brian.

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

Some approximate fixed point theorems without continuity of the operator using auxiliary functions

Sumit Chandok, Arslan Hojjat Ansari, Tulsi Dass Narang (2019)

Mathematica Bohemica

Similarity:

We introduce partial generalized convex contractions of order $4$ and rank $4$ using some auxiliary functions. We present some results on approximate fixed points and fixed points for such class of mappings having no continuity condition in $α$ -complete metric spaces and $μ$ -complete metric spaces. Also, as an application, some fixed point results in a metric space endowed with a binary relation and some approximate fixed point results in a metric space endowed with a graph have been obtained....