Quantifier elimination, valuation property and preparation theorem in quasianalytic geometry via transformation to normal crossings

Krzysztof Jan Nowak

Displaying similar documents to “Quantifier elimination, valuation property and preparation theorem in quasianalytic geometry via transformation to normal crossings”

Constructibility in Ackermann's set theory

C. Alkor

Similarity:

CONTENTSIntroduction......................... 5Section I. Preliminaries............ 6 § 1. Notation..................... 6 § 2. Ackermann’s set theory and some extensions................. 7 § 3. Absoluteness............................................... 8 § 4. Ordinals................................................... 9 § 5. Reflection principles...................................... 10Section 2. The usual notion of constructibility.............. 11 § 1. General considerations about...

On the differential geometry of some classes of infinite dimensional manifolds

Maysam Maysami Sadr, Danial Bouzarjomehri Amnieh (2024)

Archivum Mathematicum

Similarity:

Albeverio, Kondratiev, and Röckner have introduced a type of differential geometry, which we call lifted geometry, for the configuration space $Γ_{X}$ of any manifold $X$ . The name comes from the fact that various elements of the geometry of $Γ_{X}$ are constructed via lifting of the corresponding elements of the geometry of $X$ . In this note, we construct a general algebraic framework for lifted geometry which can be applied to various “infinite dimensional spaces” associated to $X$ . In order to define...

Bruhat-Tits theory from Berkovich’s point of view. I. Realizations and compactifications of buildings

Bertrand Rémy, Amaury Thuillier, Annette Werner (2010)

Annales scientifiques de l'École Normale Supérieure

Similarity:

We investigate Bruhat-Tits buildings and their compactifications by means of Berkovich analytic geometry over complete non-Archimedean fields. For every reductive group $G$ over a suitable non-Archimedean field $k$ we define a map from the Bruhat-Tits building $ℬ (G, k)$ to the Berkovich analytic space $G^{an}$ associated with $G$ . Composing this map with the projection of $G^{an}$ to its flag varieties, we define a family of compactifications of $ℬ (G, k)$ . This generalizes results by Berkovich in the case of split groups. Moreover,...

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

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

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

O-minimal fields with standard part map

Jana Maříková (2010)

Fundamenta Mathematicae

Similarity:

Let R be an o-minimal field and V a proper convex subring with residue field k and standard part (residue) map st: V → k. Let $k_{i n d}$ be the expansion of k by the standard parts of the definable relations in R. We investigate the definable sets in $k_{i n d}$ and conditions on (R,V) which imply o-minimality of $k_{i n d}$ . We also show that if R is ω-saturated and V is the convex hull of ℚ in R, then the sets definable in $k_{i n d}$ are exactly the standard parts of the sets definable in (R,V).

Existentially closed II₁ factors

Ilijas Farah, Isaac Goldbring, Bradd Hart, David Sherman (2016)

Fundamenta Mathematicae

Similarity:

We examine the properties of existentially closed ( $^{ω}$ -embeddable) II₁ factors. In particular, we use the fact that every automorphism of an existentially closed ( $^{ω}$ -embeddable) II₁ factor is approximately inner to prove that Th() is not model-complete. We also show that Th() is complete for both finite and infinite forcing and use the latter result to prove that there exist continuum many nonisomorphic existentially closed models of Th().

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

Zero-set property of o-minimal indefinitely Peano differentiable functions

Andreas Fischer (2008)

Annales Polonici Mathematici

Similarity:

Given an o-minimal expansion ℳ of a real closed field R which is not polynomially bounded. Let $^{\infty}$ denote the definable indefinitely Peano differentiable functions. If we further assume that ℳ admits $^{\infty}$ cell decomposition, each definable closed subset A of Rⁿ is the zero-set of a $^{\infty}$ function f:Rⁿ → R. This implies $^{\infty}$ approximation of definable continuous functions and gluing of $^{\infty}$ functions defined on closed definable sets.

Completeness properties of classical theories of finite type and the normal form theorem

Peter Päppinghaus

Similarity:

CONTENTSIntroduction........................................................................................................................................................................................................................50. Terminology and preliminaries......................................................................................................................................................................................121. The extent of cut elimination by...

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

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

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

Order boundedness and weak compactness of the set of quasi-measure extensions of a quasi-measure

Zbigniew Lipecki (2015)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

Let $𝔐$ and $ℜ$ be algebras of subsets of a set $Ω$ with $𝔐 \subset ℜ$ , and denote by $E (μ)$ the set of all quasi-measure extensions of a given quasi-measure $μ$ on $𝔐$ to $ℜ$ . We give some criteria for order boundedness of $E (μ)$ in $b a (ℜ)$ , in the general case as well as for atomic $μ$ . Order boundedness implies weak compactness of $E (μ)$ . We show that the converse implication holds under some assumptions on $𝔐$ , $ℜ$ and $μ$ or $μ$ alone, but not in general.

The decidability of some $ℵ_{0}$ -categorical theories

James H. Schmerl (1976)

Colloquium Mathematicae

Similarity:

Nearstandardness on a finite set

Lyantse V.

Similarity:

AbstractLet T be a finite set for which card T is a natural nonstandard number. The linear space $ℂ^{T}$ of complex-valued functions on T is nonstandard. For the analysis on $ℂ^{T}$ we need a concept of nearstandardness in this space. A version how to introduce such a concept is proposed. Some elementary examples are given. CONTENTSIntroduction.................................................................................................................50. Preliminary notes....................................................................................................7 0.1....

On a problem concerning quasianalytic local rings

Hassan Sfouli (2014)

Annales Polonici Mathematici

Similarity:

Let (ₙ)ₙ be a quasianalytic differentiable system. Let m ∈ ℕ. We consider the following problem: let $f \in_{m}$ and f̂ be its Taylor series at $0 \in ℝ^{m}$ . Split the set $ℕ^{m}$ of exponents into two disjoint subsets A and B, $ℕ^{m} = A \cup B$ , and decompose the formal series f̂ into the sum of two formal series G and H, supported by A and B, respectively. Do there exist $g, h \in_{m}$ with Taylor series at zero G and H, respectively? The main result of this paper is the following: if we have a positive answer to the above problem for some...

Boundedness of sublinear operators in Triebel-Lizorkin spaces via atoms

Liguang Liu, Dachun Yang (2009)

Studia Mathematica

Similarity:

Let s ∈ ℝ, p ∈ (0,1] and q ∈ [p,∞). It is proved that a sublinear operator T uniquely extends to a bounded sublinear operator from the Triebel-Lizorkin space $Ḟ_{p, q}^{s} (ℝ ⁿ)$ to a quasi-Banach space ℬ if and only if sup ${| | T (a) | |}_{ℬ}$ : a is an infinitely differentiable (p,q,s)-atom of $Ḟ_{p, q}^{s} (ℝ ⁿ)$ < ∞, where the (p,q,s)-atom of $Ḟ_{p, q}^{s} (ℝ ⁿ)$ is as defined by Han, Paluszyński and Weiss.