CONTENTS0. Preliminaries....................................................................... 71. Adding propositional connectives to $L_{\omega }{1}_{\omega }$............... 82. The propositional part of $L_{\omega }{1}_{\omega }$ (S)............................. 103. The operation S and the Boolean algebra $B_S$............... 114. General model-theoretic properties of $L_{\omega }{1}_{\omega }$(S)...... 175. Hanf number computations...................................................... 226. Negative results for $L_{\omega }{1}_{\omega }$(S)...........................................

We introduce the notion of a coherent $P$-ultrafilter on a complete ccc Boolean algebra, strengthening the notion of a $P$-point on $\omega$, and show that these ultrafilters exist generically under $𝔠=𝔡$. This improves the known existence result of Ketonen [On the existence of $P$-points in the Stone-Čech compactification of integers, Fund. Math. 92 (1976), 91–94]. Similarly, the existence theorem of Canjar [On the generic existence of special ultrafilters, Proc. Amer. Math. Soc. 110 (1990), no. 1,...

Let $f:X\to Y$ be a continuous map such as an open map, a closed map or a quotient map. We study under what circumstances $f$ remains an open, closed or quotient map in forcing extensions.

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

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

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

CONTENTS0. Introduction.......................................................................... 51. Preliminaries............................................................................... 72. Basic facts to be used in the sequel....................................... 113. Predicates OD(.,.) and CL(.,.).................................................... 174. Predicate Sels............................................................................. 185. Strong ${\sum }_n^1$-collection...........................................................

In A theorem on supports in the theory of semisets [Comment. Math. Univ. Carolinae 14 (1973), no. 1, 1–6] B. Balcar showed that if $\sigma \subseteq D\in M$ is a support, $M$ being an inner model of ZFC, and $𝒫(D\setminus \sigma )\cap M=r``\sigma$ with $r\in M$, then $r$ determines a preorder "$⪯$" of $D$ such that $\sigma$ becomes a filter on $(D,⪯)$ generic over $M$. We show that if the relation $r$ is replaced by a function $𝒫(D\setminus \sigma )\cap M=f_{-1}\left(\sigma \right)$, then there exists an equivalence relation "$\sim$" on $D$ and a partial order on $D/\sim$ such that $D/\sim$ is a complete Boolean algebra, $\sigma /\sim$ is a generic filter and ${\left[f\left(u\right)\right]}_{\sim }=-\sum (u/\sim )$ for...

We study combinatorial properties of the partial order (Dense(ℚ),⊆). To do that we introduce cardinal invariants ${}_{\mathbb{Q}}$, ${}_{\mathbb{Q}}$, ${}_{\mathbb{Q}}$, ${}_{\mathbb{Q}}$, ${}_{\mathbb{Q}}$, ${}_{\mathbb{Q}}$ describing properties of Dense(ℚ). These invariants satisfy ${}_{\mathbb{Q}}$ ≤ ℚ ≤ ℚ ≤ ℚ ≤ ℚ ≤ ℚ$.WecomparethemwiththeiranaloguesinthewellstudiedBooleanalgebra\left(\omega \right)/fin.Weshowthat$ℚ = p$,$ℚ = t$and$ℚ = i$,whereas$ℚ > h$and$ℚ > r$arebothshowntoberelativelyconsistentwithZFC.Wealsoinvestigatecombinatoricsoftheidealnwdofnowheredensesubsetsof,\mathbb{Q}.Inparticular,weshowthat$non(M)=min||: ⊆ Dense(R) ∧ (∀I ∈ nwd(R))(∃D ∈ )(I ∩ D = ∅) and cof(M) = min||: ⊆ Dense(ℚ) ∧ (∀I ∈ nwd)(∃D ∈ )(I ∩ = ∅). We use these facts to show that cof(M) ≤ i, which improves a result of S. Shelah.

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

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 this paper, the Cauchy problem for the $3D$ Leray-$\alpha$-MHD model is investigated. We obtain the logarithmically improved blow-up criterion of smooth solutions for the Leray-$\alpha$-MHD model in terms of the magnetic field $B$ only in the framework of homogeneous Besov space with negative index.

We study the compositum $k^{\left[d\right]}$ of all degree $d$ extensions of a number field $k$ in a fixed algebraic closure. We show $k^{\left[d\right]}$ contains all subextensions of degree less than $d$ if and only if $d\le 4$. We prove that for $d\&gt;2$ there is no bound $c=c\left(d\right)$ on the degree of elements required to generate finite subextensions of $k^{\left[d\right]}/k$. Restricting to Galois subextensions, we prove such a bound does not exist under certain conditions on divisors of $d$, but that one can take $c=d$ when $d$ is prime. This question was inspired by work of...

We consider the problem of estimating a function $s$ on ${[-1,1]}^k$ for large values of $k$ by looking for some best approximation of $s$ by composite functions of the form $g\circ u$. Our solution is based on model selection and leads to a very general approach to solve this problem with respect to many different types of functions $g,u$ and statistical frameworks. In particular, we handle the problems of approximating $s$ by additive functions, single and multiple index models, artificial neural networks, mixtures...