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