560 research outputs found
A saturation property of structures obtained by forcing with a compact family of random variables
A method how to construct Boolean-valued models of some fragments of
arithmetic was developed in Krajicek (2011), with the intended applications in
bounded arithmetic and proof complexity. Such a model is formed by a family of
random variables defined on a pseudo-finite sample space. We show that under a
fairly natural condition on the family (called compactness in K.(2011)) the
resulting structure has a property that is naturally interpreted as saturation
for existential types. We also give an example showing that this cannot be
extended to universal types.Comment: preprint February 201
The Minnesota Species of Aeshna with Notes on their Habits and Distribution (Odonata: Aeshnidae)
Apart from the well-known green darner, Anax junius, the species of Aeshna are the most familiar Minnesota Aeshnidae. These species are remarkably uniform in appearance. The basic body color is brown with blue, green, or yellow stripes on the thorax and with marks of similar color on the abdomen. Usually the spots of male specimens are blue, whereas green of various shades appears on most females. The individual species are not readily discernible to the novice collector
Automation--a tool for improved management control
Thesis (M.B.A.)--Boston Universit
Nearly commuting projections
It is well known that projection operators are typical elements in Boolean algebras, and a number of relevant theorems have been proved for commutative projections. We propose an extension of the concept of commutativity, which we call near-commutativity. We extend to this concept the main theorems on commutative projections, and in various ways we frame the class of nearly commutative projections in Boolean algebras.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/30927/1/0000597.pd
Generalizing Tsirelson's bound on Bell inequalities using a min-max principle
Bounds on the norm of quantum operators associated with classical Bell-type
inequalities can be derived from their maximal eigenvalues. This quantitative
method enables detailed predictions of the maximal violations of Bell-type
inequalities.Comment: 4 pages, 2 figures, RevTeX4, replaced with published versio
Distribution and Habitat Preference of Minnesota Dragonfly Species (Odonata, Anisoptera) ll.
ABSTRACT - Five of the 70 Anisopteran species listed in this study represent new Minnesota recordings. Habitat zones are described and distribution of species within these zones are recorded by county of occurrence
New optimal tests of quantum nonlocality
We explore correlation polytopes to derive a set of all Boole-Bell type
conditions of possible classical experience which are both maximal and
complete. These are compared with the respective quantum expressions for the
Greenberger-Horne-Zeilinger (GHZ) case and for two particles with spin state
measurements along three directions.Comment: 10 page
Testing the bounds on quantum probabilities
Bounds on quantum probabilities and expectation values are derived for
experimental setups associated with Bell-type inequalities. In analogy to the
classical bounds, the quantum limits are experimentally testable and therefore
serve as criteria for the validity of quantum mechanics.Comment: 9 pages, Revte
- …