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...

Let $A$ be a CM-finite Artin algebra with a Gorenstein-Auslander generator $E$, $M$ be a Gorenstein projective $A$-module and $B={\mathrm{End}}_{A}M$. We give an upper bound for the finitistic dimension of $B$ in terms of homological data of $M$. Furthermore, if $A$ is $n$-Gorenstein for $2\le n<\infty$, then we show the global dimension of $B$ is less than or equal to $n$ plus the $B$-projective dimension of ${\mathrm{Hom}}_A(M,E).$ As an application, the global dimension of ${\mathrm{End}}_{A}E$ is less than or equal to $n$.

We investigate the question whether a system ${\left(E_i\right)}_{i\in I}$ of homogeneous linear equations over $\mathbb{Z}$ is non-trivially solvable in $\mathbb{Z}$ provided that each subsystem ${\left(E_j\right)}_{j\in J}$ with $\left|J\right|\le c$ is non-trivially solvable in $\mathbb{Z}$ where $c$ is a fixed cardinal number such that $c<\left|I\right|$. Among other results, we establish the following. (a) The answer is ‘No’ in the finite case (i.e., $I$ being finite). (b) The answer is ‘No’ in the denumerable case (i.e., $\left|I\right|={\aleph }_0$ and $c$ a natural number). (c) The answer in case that $I$ is uncountable and $c\le {\aleph }_0$ is ‘No...

In set theory without the axiom of choice ($\mathrm{AC}$), we study certain non-constructive properties of infinite-dimensional vector spaces. Among several results, we establish the following: (i) None of the principles AC${}^{\mathrm{LO}}$ (AC for linearly ordered families of nonempty sets)—and hence AC${}^{\mathrm{WO}}$ (AC for well-ordered families of nonempty sets)— $\mathrm{DC}(<\kappa )$ (where $\kappa$ is an uncountable regular cardinal), and “for every infinite set $X$, there is a bijection $f:X\to \{0,1\}\times X$”, implies the statement “there exists a field $F$ such that...

In the paper (Ferrara Dentice et al., 2004) a complete exposition of the state of the art for lax embeddings of polar spaces of finite rank $\ge 3$ is presented. As a consequence, we have that if a Grassmann space $G$ of dimension 3 and index 1 has a lax embedding in a projective space over a skew–field $K$, then $G$ is the Klein quadric defined over a subfield of $K$. In this paper, I examine Grassmann spaces of arbitrary dimension $d\ge 3$ and index $h\ge 1$ having a lax embedding in a projective space.

We show that if a colouring c establishes ω₂ ↛ [(ω₁:ω)]² then c establishes this negative partition relation in each Cohen-generic extension of the ground model, i.e. this property of c is Cohen-indestructible. This result yields a negative answer to a question of Erdős and Hajnal: it is consistent that GCH holds and there is a colouring c:[ω₂]² → 2 establishing ω₂ ↛ [(ω₁:ω)]₂ such that some colouring g:[ω₁]² → 2 does not embed into c. It is also consistent that $2^{\omega ₁}$ is arbitrarily large,...

We prove that if $X$ is a first countable space with property $\left(DC\left({\omega }_1\right)\right)$ and with a $G_{\delta }$-diagonal then the cardinality of $X$ is at most $𝔠$. We also show that if $X$ is a first countable, DCCC, normal space then the extent of $X$ is at most $𝔠$.

We prove that ${♦}^{*}$ implies there is a zero-dimensional Hausdorff Lindelöf space of cardinality $2^{{\aleph }_1}$ which has points $G_{\delta }$. In addition, this space has the property that it need not be Lindelöf after countably closed forcing.

Let (α) denote the class of all cardinal sequences of length α associated with compact scattered spaces (or equivalently, superatomic Boolean algebras). Also put ${}_{\lambda }\left(\alpha \right)=s\in \left(\alpha \right):s\left(0\right)=\lambda =min\left[s\right(\beta ):\beta <\alpha ]$. We show that f ∈ (α) iff for some natural number n there are infinite cardinals $\lambda ₀i>\lambda ₁>...>{\lambda }_{n-1}$ and ordinals $\alpha ₀,...,{\alpha }_{n-1}$ such that $\alpha =\alpha ₀+\cdots +{\alpha }_{n-1}$ and $f=f₀⏜f₁⏜...⏜f_{n-1}$ where each $f_i{\in }_{{\lambda }_i}\left({\alpha }_i\right)$. Under GCH we prove that if α < ω₂ then (i) ${}_{\omega }\left(\alpha \right)=s{\in }^{\alpha }\omega ,\omega ₁:s\left(0\right)=\omega$; (ii) if λ > cf(λ) = ω, ${}_{\lambda }\left(\alpha \right)=s{\in }^{\alpha }\lambda ,\lambda ⁺:s\left(0\right)=\lambda ,s^{-1}\lambda is\omega ₁-closedin\alpha$; (iii) if cf(λ) = ω₁, ${}_{\lambda }\left(\alpha \right)=s{\in }^{\alpha }\lambda ,\lambda ⁺:s\left(0\right)=\lambda ,s^{-1}\lambda is\omega -closedandsuccessor-closedin\alpha$; (iv) if cf(λ) > ω₁, ${}_{\lambda }\left(\alpha \right){=}^{\alpha }\lambda$. This yields a complete characterization of the classes (α) for all...

Let $Y$ be an $(m+1)$-dimensional irreducible smooth complex projective variety embedded in a projective space. Let $Z$ be a closed subscheme of $Y$, and $\delta$ be a positive integer such that ${ℐ}_{Z,Y}\left(\delta \right)$ is generated by global sections. Fix an integer $d\ge \delta +1$, and assume the general divisor $X\in |H^0(Y,{ℐ}_{Z,Y}\left(d\right))|$ is smooth. Denote by $H^m{(X;\mathbb{Q})}_{\perp Z}^{\mathrm{van}}$ the quotient of $H^m(X;\mathbb{Q})$ by the cohomology of $Y$ and also by the cycle classes of the irreducible components of dimension $m$ of $Z$. In the present paper we prove that the monodromy representation on $H^m{(X;\mathbb{Q})}_{\perp Z}^{\mathrm{van}}$ for the family...

We lower substantially the strength of the assumptions needed for the validity of certain results in category theory and homotopy theory which were known to follow from Vopěnka’s principle. We prove that the necessary large-cardinal hypotheses depend on the complexity of the formulas defining the given classes, in the sense of the Lévy hierarchy. For example, the statement that, for a class $𝒮$ of morphisms in a locally presentable category $𝒞$ of structures, the orthogonal class of objects...

We show that given infinite sets $X,Y$ and a function $f:X\to Y$ which is onto and $n$-to-one for some $n\in \mathbb{N}$, the preimage of any ultrafilter $ℱ$ of $Y$ under $f$ extends to an ultrafilter. We prove that the latter result is, in some sense, the best possible by constructing a permutation model $ℳ$ with a set of atoms $A$ and a finite-to-one onto function $f:A\to \omega$ such that for each free ultrafilter of $\omega$ its preimage under $f$ does not extend to an ultrafilter. In addition, we show that in $ℳ$ there exists an ultrafilter compact...

This paper is part II of a study on cardinals that are characterizable by a Scott sentence, continuing previous work of the author. A cardinal κ is characterized by a Scott sentence ${\varphi }_{ℳ}$ if ${\varphi }_{ℳ}$ has a model of size κ, but no model of size κ⁺. The main question in this paper is the following: Are the characterizable cardinals closed under the powerset operation? We prove that if ${\aleph }_{\beta }$ is characterized by a Scott sentence, then $2^{{\aleph }_{\beta +\beta ₁}}$ is (homogeneously) characterized by a Scott sentence, for all 0 <...

Let a space $X$ be Tychonoff product ${\prod }_{\alpha <\tau }{X}_{\alpha }$ of $\tau$-many Tychonoff nonsingle point spaces $X_{\alpha }$. Let Suslin number of $X$ be strictly less than the cofinality of $\tau$. Then we show that every point of remainder is a non-normality point of its Čech–Stone compactification $\beta X$. In particular, this is true if $X$ is either $R^{\tau }$ or ${\omega }^{\tau }$ and a cardinal $\tau$ is infinite and not countably cofinal.