Related papers: $\aleph_1$ and the modal $\mu$-calculus

We can generalize the definition of {\it splitting number } $s(\kappa )$ for $\kappa$ uncountable regular: $s(\kappa )=min\{ |\Cal S|:\Cal S\subset \Cal P(\kappa ) \forall a\in \kappa ^\kappa \exists b\in \Cal S |a\cap b|=|a\setminus…

We continue the investigation into the computational status of the existence of moduli of regularity (and their use for rates of convergence) in the sense of Kohlenbach, Lopez and Nicolae (2019), carried out w.r.t. classical reverse…

Let $\Omega$ be a bounded convex domain in $\mathbb{C}^{n}$, $n\geq 2$, $1\leq q\leq (n-1)$, and $\phi\in C(\bar{\Omega})$. If the Hankel operator $H^{q-1}_{\phi}$ on $(0,q-1)$--forms with symbol $\phi$ is compact, then $\phi$ is…

Assume $\mathsf{ZF + AD^+ + V = L(\mathscr{P}(\mathbb{R}))}$. Let $E$ be a $\mathbf{\Sigma}^1_1$ equivalence relation coded in $\mathrm{HOD}$. $E$ has an ordinal definable equivalence class without any ordinal definable elements if and only…

Given a cardinal $\kappa$ and a sequence $\left(\alpha_i\right)_{i\in\kappa}$ of ordinals, we determine the least ordinal $\beta$ (when one exists) such that the topological partition relation…

Given a Woodin cardinal $\delta$, I show that if $F$ is any Easton function with $F"\delta\subseteq\delta$ and $\GCH$ holds, then there is a cofinality-preserving forcing extension in which $2^\gamma= F(\gamma)$ for each regular cardinal…

We discuss and compare complexity measures for the modal $\mu$-calculus, focusing on size and alternation depth. As a yardstick we take Wilke's alternating tree automata, which we shall call parity formulas in the text. Building on work by…

We show that the existence of a universal countably chromatic graph of size $\aleph_1$ together with the failure of continuum hypothesis is consistent. The proof is a forcing iteration of strongly proper ccc posets. The construction works…

We prove that the bisimulation-invariant fragment of weak monadic second-order logic (WMSO) is equivalent to the fragment of the modal $\mu$-calculus where the application of the least fixpoint operator $\mu p.\varphi$ is restricted to…

We give another proof that for every lambda >= beth_omega for every large enough regular kappa < beth_omega we have lambda^{[kappa]}= lambda, dealing with sufficient conditions for replacing beth_omega by aleph_omega. In section 2 we show…

Let $\Omega$ be a bounded convex Reinhardt domain in $\mathbb{C}^2$ and $\phi\in C(\bar{\Omega})$. We show that the Hankel operator $H_{\phi}$ is compact if and only if $\phi$ is holomorphic along every non-trivial analytic disc in the…

In this paper, we consider the following problem involving fractional Laplacian operator: \begin{equation}\label{eq:0.1} (-\Delta)^{\alpha} u= |u|^{2^*_\alpha-2-\varepsilon}u + \lambda u\,\, {\rm in}\,\, \Omega,\quad u=0 \,\, {\rm on}\, \,…

We introduce the subject of modal model theory, where one studies a mathematical structure within a class of similar structures under an extension concept that gives rise to mathematically natural notions of possibility and necessity. A…

We prove several results giving lower bounds for the large cardinal strength of a failure of the singular cardinal hypothesis. The main result is the following theorem: Theorem: Suppose $\kappa$ is a singular strong limit cardinal and…

A ccc-generically supercompact cardinal $\kappa$ can be smaller than or equal to the continuum. On the other hand, such a cardinal $\kappa$ still satisfies diverse largeness properties, like that it is a stationary limit of ccc-generically…

We prove that if $\lambda$ is a fixed uncountable cardinal and $f = \langle \ka_{\al} : \al < \delta \rangle$ is a sequence of infinite cardinals where $\delta < \omega_3$ and $\ka_{\al}\in \{\om,\lambda\}$ for each $\al < \delta$ in such a…

We prove that every point-finite family of nonempty functionally open sets in a topological space $X$ has the cardinality at most an infinite cardinal $\kappa$ if and only if $w(X)\leq\kappa$ for every Valdivia compact space $Y\subseteq…

For a class of non-symmetric non-local L\'evy-type operators $\mathcal{L}^{\kappa}$, which include those of the form $$ \mathcal{L}^{\kappa}f(x):= \int_{\mathbb{R}^d}( f(x+z)-f(x)- 1_{|z|<1} \left<z,\nabla f(x)\right>)\kappa(x,z)J(z)\,…

We define a generic Vop\v{e}nka cardinal to be an inaccessible cardinal $\kappa$ such that for every first-order language $\mathcal{L}$ of cardinality less than $\kappa$ and every set $\mathscr{B}$ of $\mathcal{L}$-structures, if…

We prove Los conjecture = Morley theorem in ZF, with the same characterization (of first order countable theories categorical in aleph_alpha for some (equivalently for every) ordinal alpha>0. Another central result here is, in this context:…