𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Łoś type theorem for linear metric formulas

✍ Scribed by Seyed-Mohammad Bagheri

Publisher
John Wiley and Sons
Year
2010
Tongue
English
Weight
223 KB
Volume
56
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

Abstract

We define an ultraproduct of metric structures based on a maximal probability charge and prove a variant of Łoś theorem for linear metric formulas. We also consider iterated ultraproducts (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)

📜 SIMILAR VOLUMES

A Kruskal–Katona Type Theorem for the Li
A Kruskal–Katona Type Theorem for the Linear Lattice
✍ S Bezrukov; A Blokhuis 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 154 KB

We present an analog of the well-known Kruskal-Katona theorem for the poset of subspaces of PG(n, 2) ordered by inclusion. For given k, (k < ) and m the problem is to find a family of size m in the set of -subspaces of PG(n, 2), containing the minimal number of k-subspaces. We introduce two lexicogr

Trace formulas and a Borg-type theorem f
Trace formulas and a Borg-type theorem for CMV operators with matrix-valued coefficients
✍ Maxim Zinchenko 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 208 KB

## Abstract We prove a general Borg‐type inverse spectral result for a reflectionless unitary CMV operator (CMV for Cantero, Moral, and Velázquez [13]) associated with matrix‐valued Verblunsky coefficients. More precisely, we find an explicit formula for the Verblunsky coefficients of a reflectionl

A Completeness Theorem for Certain Class
A Completeness Theorem for Certain Classes of Recursive Infinitary Formulas
✍ Christopher J. Ash; Julia F. Knight 📂 Article 📅 1994 🏛 John Wiley and Sons 🌐 English ⚖ 494 KB 👁 1 views

## Abstract We consider the following generalization of the notion of a structure recursive relative to a set __X.__ A relational structure __A__ is said to be a Γ(__X__)‐structure if for each relation symbol __R__, the interpretation of __R__ in __A__ is ∑ relative to __X__, where β = Γ(__R__). We

A Bose-Burton type theorem for quadrics
A Bose-Burton type theorem for quadrics
✍ Klaus Metsch 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 224 KB

## Abstract Let __Q__ be a non‐degenerate quadric defined by a quadratic form in the finite projective space PG(__d,q__). Let __r__ be the dimension of the generators of __Q__. For all __k__ with 2 ≤ __k__ < __r__ we determine the smallest cardinality of a set __B__ of points with the property that

A dirac-type theorem for squares of grap
A dirac-type theorem for squares of graphs
✍ Tomasz Traczyk Jr. 📂 Article 📅 1988 🏛 John Wiley and Sons 🌐 English ⚖ 221 KB

We prove that if G is a connected graph with p vertices and minimum degree greater than max( p/4 -1,3) then G2 is pancyclic. The result is best possible of its kind.

A trace theorem for solutions of linear
A trace theorem for solutions of linear partial differential equations
✍ Gang Bao; William W. Symes 📂 Article 📅 1991 🏛 John Wiley and Sons 🌐 English ⚖ 474 KB 👁 1 views

## Abstract In this paper, we prove a trace regularity theorem for the solutions of general linear partial differential equations with smooth coefficients. Our result shows that by imposing additional microlocal smoothness along certain directions, the trace of the solution on a codimension‐one hyp