Mathematical studies of Kekulé structures

The perfect matching vector and forcing and the Kekulé-vector of cata-benzenoids are defined. Two theorems are given which set the sufficient and necessary conditions for HKZ-vector (Harary et al. J Math Chem 6:295, 1991) and Kekulé-vector in cata-benzenoids. Additional two theorems are obtained which give sharp bounds for the modules of HKZ- and Kekulé vectors. Dedicated to Professor Tadeusz Marek Krygowski on the happy occasion of his 70th birthday.     

The minimum forcing number of perfect matchings in the hypercube

Let $M$ be a perfect matching in a graph. A subset $S$ of $M$ is said to be a forcing set of $M$, if $M$ is the only perfect matching in the graph that contains $S$. The minimum size of a forcing set of $M$ is called the forcing number of $M$. Pachter and Kim (1998) conjectured that the forcing number of every perfect matching in the $n$-dimensional hypercube is $2^{n?2}$, for all $n\ge 2$. This was revised by Riddle (2002), who conjectured that it is at least $2^{n?2}$, and proved it for all even $n$. We show that the revised conjecture holds for all $n\ge 2$. The proof is based on simple linear algebra.     

The Bounded Axiom A Forcing Axiom

We introduce the Bounded Axiom A Forcing Axiom (BAAFA). It turns out that it is equiconsistent with the existence of a regular ∑₂‐correct cardinal and hence also equiconsistent with BPFA. Furthermore we show that, if consistent, it does not imply the Bounded Proper Forcing Axiom (BPFA) (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

On subspaces of pseudoradial spaces

A topological space is pseudoradial if each of its non closed subsets has a sequence (not necessarily with countable length) convergent to outside of . We prove the following results concerning pseudoradial spaces and the spaces , where is an ultrafilter on :

(i) CH implies that, for every ultrafilter on , is a subspace of some regular pseudoradial space.

(ii) There is a model in which, for each P-point , cannot be embedded in a regular pseudoradial space while there is a point such that is a subspace of a zero-dimensional Hausdorff pseudoradial space.

     

Strongly meager sets of size continuum

We will construct several models where there are no strongly meager sets of size 2⁰. First author partially supported by NSF grant DMS 0200671.Second author partially supported by Israel Science Foundation and NSF grant DMS 0072560. Publication 807. Mathematics Subject Classification (2000):03E15, 03E20     

Forcing matchings on square grids

Let G be a graph that admits a perfect matching. The forcing number of a perfect matching M of G is defined as the smallest number of edges in a subset S M, such that S is in no other perfect matching. We show that for the 2n × 2n square grid, the forcing number of any perfect matching is bounded below by n and above by n². Both bounds are sharp. We also establish a connection between the forcing problem and the minimum feedback set problem. Finally, we present some conjectures about forcing numbers in other graphs.     

Bounded stationary reflection II

Bounded stationary reflection at a cardinal λ is the assertion that every stationary subset of λ reflects but there is a stationary subset of λ that does not reflect at arbitrarily high cofinalities. We produce a variety of models in which bounded stationary reflection holds. These include models in which bounded stationary reflection holds at the successor of every singular cardinal $\mu >{\mathrm{?}}_{\omega }$ and models in which bounded stationary reflection holds at ${\mu }^{+}$ but the approachability property fails at μ.     

Cardinal characteristics at κ in a small u(κ) model

We provide a model where $\mathfrak{u}(\kappa )<2^{\kappa }$ for a supercompact cardinal κ. [10] provides a sketch of how to obtain such a model by modifying the construction in [6]. We provide here a complete proof using a different modification of [6] and further study the values of other natural generalizations of classical cardinal characteristics in our model. For this purpose we generalize some standard facts that hold in the countable case as well as some classical forcing notions and their properties.     

Computable analogs of cardinal characteristics: Prediction and rearrangement

There has recently been work by multiple groups in extracting the properties associated with cardinal invariants of the continuum and translating these properties into similar analogous combinatorial properties of computational oracles. Each property yields a highness notion in the Turing degrees. In this paper we study the highness notions that result from the translation of the evasion number and its dual, the prediction number, as well as two versions of the rearrangement number. When translated appropriately, these yield four new highness notions. We will define these new notions, show some of their basic properties and place them in the computability-theoretic version of Cichoń's diagram.     

Modal Aggregation and the Theory of Paraconsistent Filters

This paper articulates the structure of a two species of weakly aggregative necessity in a common idiom, neighbourhood semantics, using the notion of a k-filter of propositions. A k-filter on a non-empty set I is a collection of subsets of I which (i) contains I, (ii) is closed under supersets on I, and (iii) contains ∪{X_i ≤ X_j : 0 ≤ i < j ≤ k} whenever it contains the subsets X₀,…, X_k. The mathematical content of the proof that weakly aggregative modal logic is complete relative to k-ary frame theory, the standard semantic idiom for weakly aggregative modal logic (see [1]) is presented in language-independent terms as a representation theorem for k-filters: every non-trivial k-filter is included in the union of ≤ k non-trivial filters. The elementary theory of k-filters is developed and then applied in the form of an ultrafilter extension result for k-ary frame theory. Mathematics Subject Classification: 03B45.