Generalizing some earlier techniques due to the second author, we show that Menas’ theorem which states that the least cardinal κ which is a measurable limit of supercompact or strongly compact cardinals is strongly compact but not 2 supercompact is best possible. Using these same techniques, we also extend and give a new proof of a theorem of Woodin and extend and give a new proof of an unpubl...

We tackle the challenging problem of human activity recognition in realistic video sequences. Unlike local features-based methods or global template-based methods, we propose to represent a video sequence by a set of middle-level parts. A part, or component, has consistent spatial structure and consistent motion. We first segment the visual motion patterns and generate a set of middle-level com...

Every compact orientable boundaryless surface M can be cut along simple loops with a common point v0, pairwise disjoint except at v0, so that the resulting surface is a topological disk; such a set of loops is called a fundamental system of loops for M. The resulting disk is a polygon in which the edges are pairwise identified on the surface; it is called a polygonal schema. Assuming that M is ...

Vaught’s Conjecture states that if Σ is a complete first order theory in a countable language such that Σ has uncountably many pairwise non-isomorphic countably infinite models, then Σ has 2א0 many pairwise non-isomorphic countably infinite models. Continuing investigations initiated in [17], we apply methods of algebraic logic to study some variants of Vaught’s conjecture. More concretely, let...

We construct models containing exactly one supercompact cardinal in which level by level inequivalence between strong compactness and supercompactness holds. In each model, above the supercompact cardinal, there are finitely many strongly compact cardinals, and the strongly compact and measurable cardinals precisely coincide. Say that a model containing supercompact cardinals satisfies level by...

Extending the work of [7] on groups definable in compact complex manifolds and of [1] on strongly minimal groups definable in nonstandard compact complex manifolds, we classify all groups definable in nonstandard compact complex manifolds showing that if G is such a group then there are a linear algebraic group L, a definably compact group T , and definable exact sequence 1→ L → G → T → 1.

Strongly Unfoldable Cardinals Made Indestructible by Thomas A. Johnstone Advisor: Joel David Hamkins I provide indestructibility results for weakly compact, indescribable and strongly unfoldable cardinals. In order to make these large cardinals indestructible, I assume the existence of a strongly unfoldable cardinal κ, which is a hypothesis consistent with V = L. The main result shows that any ...

Using an orderly algorithm, the Steiner triple systems of order 19 are classified; there are 11,084,874,829 pairwise nonisomorphic such designs. For each design, the order of its automorphism group and the number of Pasch configurations it contains are recorded; 2,591 of the designs are anti-Pasch. There are three main parts of the classification: constructing an initial set of blocks, the seed...