Abstract We say that $\mathcal {I}$ is an ideal independent family if no element of ${\mathcal {I}}$ is a subset mod finite of a union of finitely many other elements of ${\mathcal {I}}.$ We will show that the minimum size of a maximal ideal independent family is consistently bigger than both $\mathfrak {d}$ and $\mathfrak {u},$ this answers a question of Donald Monk.

Abstract The Axiom of Projective Determinacy implies the existence of a universal set for every n ≥ 1. Assuming there exists a universal set. In ZFC there is a universal set for every α.

Abstract Define to be the smallest cardinality of a function f: X→Y with I, X, Y, ⊆ 2ω such that there is no Borel function g ⊇ f. In this paper we prove that it is relatively consistent with ZFC to have b < where b is, as usual, smallest cardinality of an unbounded family in Ωω. This answers a question raised by Zapletal. We also show that it is relatively consistent with ZFC that there exists X ⊆ 2ω such that the Borei order of X is bounded but there exists a relatively analytic subset of X which is not relatively coanalytic. This answers a question of Mauldin.

For x, y ϵ ℝω define the inner product which may not be finite or even exist. We say that x and y are orthogonal if (x, y) converges and equals 0. Define lp to be the set of all x ϵ ℝω such that For Hilbert space, l2, any family of pairwise orthogonal sequences must be countable. For a good introduction to Hilbert space, see Retherford [4]. Theorem 1. There exists a pairwise orthogonal family F of size continuum such that F is a subset of lp for every p > 2. It was already known that there exists a family of continuum many pairwise orthogonal elements of ℝω. A family F ⊆ ℝω∖0 of pairwise orthogonal sequences is orthogonally complete or a maximal orthogonal family iff the only element of ℝω orthogonal to every element of F is 0, the constant 0 sequence. It is somewhat surprising that Kunen's perfect set of orthogonal elements is maximal (a fact first asserted by Abian). MAD families, nonprincipal ultrafilters, and many other such maximal objects cannot be even Borel. Theorem 2. There exists a perfect maximal orthogonal family of elements of ℝω. Abian raised the question of what are the possible cardinalities of maximal orthogonal families. Theorem 3. In the Cohen real model there is a maximal orthogonal set in ℝω of cardinality ω1, but there is no maximal orthogonal set of cardinality κ with ω1 < κ < ϲ. By the Cohen real model we mean any model obtained by forcing with finite partial functions from γ to 2, where the ground model satisfies GCH and γω = γ.

Abstract In this paper we ask the question: to what extent do basic set theoretic properties of Loeb measure depend on the nonstandard universe and on properties of the model of set theory in which it lies? We show that, assuming Martin's axiom and κ-saturation, the smallest cover by Loeb measure zero sets must have cardinality less than κ. In contrast to this we show that the additivity of Loeb measure cannot be greater than ω1. Define cof(H) as the smallest cardinality of a family of Loeb measure zero sets which cover every other Loeb measure zero set. We show that card(⌊log2(H)⌋) ≤ cof (H) ≤ card(2H), where card is the external cardinality. We answer a question of Paris and Mills concerning cuts in nonstandard models of number theory. We also present a pair of nonstandard universes M ≼ N and hyperfinite integer H ∈ M such that H is not enlarged by N, 2H contains new elements, but every new subset of H has Loeb measure zero. We show that it is consistent that there exists a Sierpiński set in the reals but no Loeb-Sierpiński set in any nonstandard universe. We also show that it is consistent with the failure of the continuum hypothesis that Loeb-Sierpiński sets can exist in some nonstandard universes and even in an ultrapower of a standard universe.

Abstract The separation, uniformization, and other properties of the Borel and projective hierarchies over hyperfinite sets are investigated and compared to the corresponding properties in classical descriptive set theory. The techniques used in this investigation also provide some results about countably determined sets and functions, as well as an improvement of an earlier theorem of Kunen and Miller.

Abstract We consider a well-known partial order of Prikry for producing a collapsing function of minimal degree. Assuming MA + ¬CH, every new real constructs the collapsing map.

Abstract In this paper we show that it is consistent with ZFC that for any set of reals of cardinality the continuum, there is a continuous map from that set onto the closed unit interval. In fact, this holds in the iterated perfect set model. We also show that in this model every set of reals which is always of first category has cardinality less than or equal to ω1.

Abstract Let κB be the least cardinal for which the Baire category theorem fails for the real line R. Thus κB is the least κ such that the real line can be covered by κ many nowhere dense sets. It is shown that κB cannot have countable cofinality. On the other hand it is consistent that the corresponding cardinal for 2ω1 be ℵω. Similar questions are considered for the ideal of measure zero sets, other ω1, saturated ideals, and the ideal of zero-dimensional subsets of Rω1.