We deal with Boolean algebras and their cardinal functions: π-weight π and π-character πχ. We investigate the spectrum of π-weights of subalgebras of a Boolean algebra B. Next we show that the π-character of an ultraproduct of Boolean algebras may be different from the ultraproduct of the π-characters of the factors.

Let $(X,𝕀)$ be a Polish ideal space and let $T$ be any set. We show that under some conditions on a relation $R\subseteq T^2\times X$ it is possible to find a set $A\subseteq T$ such that $R\left(A^2\right)$ is completely $𝕀$-nonmeasurable, i.e, it is $𝕀$-nonmeasurable in every positive Borel set. We also obtain such a set $A\subseteq T$ simultaneously for continuum many relations ${\left(R_{\alpha }\right)}_{\alpha <2^{\omega }}.$ Our results generalize those from the papers of K. Ciesielski, H. Fejzić, C. Freiling and M. Kysiak.

A function f: ℝ → {0,1} is weakly symmetric (resp. weakly symmetrically continuous) at x ∈ ℝ provided there is a sequence hₙ → 0 such that f(x+hₙ) = f(x-hₙ) = f(x) (resp. f(x+hₙ) = f(x-hₙ)) for every n. We characterize the sets S(f) of all points at which f fails to be weakly symmetrically continuous and show that f must be weakly symmetric at some x ∈ ℝ∖S(f). In particular, there is no f: ℝ → {0,1} which is nowhere weakly symmetric. It is also shown that if at each point x we...

We answer in the affirmative [Th. 3 or Corollary 1] the question of L. V. Keldysh [5, p. 648]: can every Borel set X lying in the space of irrational numbers ℙ not $G_{\delta }·F_{\sigma }$ and of the second category in itself be mapped onto an arbitrary analytic set Y ⊂ ℙ of the second category in itself by an open map? Note that under a space of the second category in itself Keldysh understood a Baire space. The answer to the question as stated is negative if X is Baire but Y is not Baire.

Let λ be an infinite cardinal number. The ordinal number δ(λ) is the least ordinal γ such that if ϕ is any sentence of $L_{\lambda ⁺\omega }$, with a unary predicate D and a binary predicate ≺, and ϕ has a model ℳ with $⟨D^{ℳ},{\prec }^{ℳ}⟩$ a well-ordering of type ≥ γ, then ϕ has a model ℳ ’ where $⟨D^{{ℳ}^{\text{'}}},{\prec }^{{ℳ}^{\text{'}}}⟩$ is non-well-ordered. One of the interesting properties of this number is that the Hanf number of $L_{\lambda ⁺\omega }$ is exactly ${\beth }_{\delta \left(\lambda \right)}$. It was proved in [BK71] that if ℵ₀ < λ < κ$areregularcardinalnumbers,thenthereisaforcingextension,preservingcofinalities,suchthatintheextension$2λ = κ$and\delta \left(\lambda \right)<\lambda ⁺⁺.Weimprovethisresultbyprovingthefollowing:Suppose\aleph ₀<\lambda <\theta \le \kappa arecardinalnumberssuchthat$∙ ${\lambda }^{<\lambda }=\lambda$; ∙ cf(θ) ≥ λ⁺ and ${\mu }^{\lambda }<\theta$ whenever μ < θ; ∙ ${\kappa }^{\lambda }=\kappa$. Then there is a forcing...

It is shown that a space $X$ is $L\left({}^{\mu }p\right)$-Weakly Fréchet-Urysohn for $p\in {\omega }^{*}$ iff it is $L\left({}^{\nu }p\right)$-Weakly Fréchet-Urysohn for arbitrary $\mu ,\nu <{\omega }_1$, where ${}^{\mu }p$ is the $\mu$-th left power of $p$ and $L\left(q\right)=\{{}^{\mu }q:\mu <{\omega }_1\}$ for $q\in {\omega }^{*}$. We also prove that for $p$-compact spaces, $p$-sequentiality and the property of being a $L\left({}^{\nu }p\right)$-Weakly Fréchet-Urysohn space with $\nu <{\omega }_1$, are equivalent; consequently if $X$ is $p$-compact and $\nu <{\omega }_1$, then $X$ is $p$-sequential iff $X$ is ${}^{\nu }p$-sequential (Boldjiev and Malyhin gave, for each $P$-point $p\in {\omega }^{*}$, an example of a compact space $X_p$ which is ${}^{2}p$-Fréchet-Urysohn and it is...

We define a countable antichain condition (ccc) property for partial orderings, weaker than precalibre-ℵ₁, and show that Martin's axiom restricted to the class of partial orderings that have the property does not imply Martin's axiom for σ-linked partial orderings. This yields a new solution to an old question of the first author about the relative strength of Martin's axiom for σ-centered partial orderings together with the assertion that every Aronszajn tree is special. We also answer a question...

We consider a set, L, of lines in ${ℝ}^n$ and a partition of L into some number of sets: $L=L_1\cup ...\cup L_p$. We seek a corresponding partition ${ℝ}^n=S_1\cup ...\cup S_p$ such that each line l in $L_i$ meets the set $S_i$ in a set whose cardinality has some fixed bound, ${\omega }_{\tau }$. We determine equivalences between the bounds on the size of the continuum, $2^{\omega }\le {\omega }_{\theta }$, and some relationships between p, ${\omega }_{\tau }$ and ${\omega }_{\theta }$.

We present a forcing construction of a Hausdorff zero-dimensional Lindelöf space $X$ whose square $X^2$ is again Lindelöf but its cube $X^3$ has a closed discrete subspace of size ${𝔠}^{+}$, hence the Lindelöf degree $L\left(X^3\right)={𝔠}^{+}$. In our model the Continuum Hypothesis holds true. After that we give a description of a forcing notion to get a space $X$ such that $L\left(X^n\right)={\aleph }_0$ for all positive integers $n$, but $L\left(X^{{\aleph }_0}\right)={𝔠}^{+}={\aleph }_2$.