arXiv subjects
Publications and source records attributed to Otmar Spinas.
The mad spectrum is the set of all cardinalities of infinite maximal almost disjoint families on omega. We treat the problem to characterize those sets A which, in some forcing extension of the universe, can be the mad spectrum. We solve this problem to some extent. What remains open is the possible values of min(A) and max(A).
We show that there exist two proper creature forcings having a simple (Borel) definition, whose product is not proper. We also give a new condition ensuring properness of some forcings with norms.
Let C denote any of the following cardinal characteristics of Boolean algebras: incomparability, spread, character, pi-character, hereditary Lindelof number, hereditary density. It is shown to be consistent that there exists a sequence of Boolean algebras and an ultrafilter D on kappa such that C(prod_{i<kappa}B_i/D)<|prod_{i<kappa}C(B_i)/D|. This answers a number of problems posed by Monk.
We introduce a large cardinal property which is consistent with L and show that for every superatomic Boolean algebra B and every cardinal lambda with the large cardinal property, if tightness^+(B) >= lambda^+, then depth (B) >= lambda. This improves a theorem of Dow and Monk.
Generalizing [ShSi:494], for every n< omega we construct a ZFC-model where the distributivity number of r.o. (P(omega)/fin)^{n+1}, h(n+1), is smaller than the one of r.o.(P(omega)/fin)^{n}. This answers an old problem of Balcar, Pelant and Simon. We also show that Laver and Miller forcing collapse the continuum to h(n) for every n<omega, hence by the first result, consistently they collapse it below h(n)
We show that in a model obtained by forcing with a countable support iteration of length omega_2 of Mathias forcing h(2), the distributivity number of r.o.(P(omega)/fin)^2, is omega_1 but h, the one of P(omega)/fin, is omega_2.
A Gross space is a vector space E of infinite dimension over some field F, which is endowed with a symmetric bilinear form Phi:E^2 -> F and has the property that every infinite dimensional subspace U subseteq E satisfies dim U^perp < dim E. Gross spaces over uncountable fields exist (in certain dimensions). The existence of a Gross space over countable or finite fields (in a fixed dimension not above the continuum) is independent of the axioms of ZFC. Here we continue the investigation of Gross spaces. Among other things we show that if the cardinal invariant b equals omega_1 a Gross space in dimension omega_1 exists over every infinite field, and that it is consistent that Gross spaces exist over every infinite field but not over any finite field. We also generalize the notion of a Gross space and construct generalized Gross spaces in ZFC.
We partially prove a conjecture from [MkSh:366] which says that the spectrum of almost free, essentially free, non-free algebras in a variety is either empty or consists of the class of all successor cardinals.
Let l^0 and m^0 be the ideals associated with Laver and Miller forcing, respectively. We show that add (l^0) < cov(l^0) and add (m^0) < cov(m^0) are consistent. We also show that both Laver and Miller forcing collapse the continuum to a cardinal <= h .