Related papers: $omega_{1}$ under $Pi_{1}$-Collection

We extend in a natural way the operation of Turing machines to infinite ordinal time, and investigate the resulting supertask theory of computability and decidability on the reals. The resulting computability theory leads to a notion of…

We stratify intuitionistic first-order logic over $(\forall,\to)$ into fragments determined by the alternation of positive and negative occurrences of quantifiers (Mints hierarchy). We study the decidability and complexity of these…

We study the complexity of isomorphism of classes of metric structures using methods from infinitary continuous logic. For Borel classes of locally compact structures, we prove that if the equivalence relation of isomorphism is potentially…

Propositional term modal logic is interpreted over Kripke structures with unboundedly many accessibility relations and hence the syntax admits variables indexing modalities and quantification over them. This logic is undecidable, and we…

We give examples of groups G such that G^00 is different from G^000. We also prove that for groups G definable in an o-minimal structure, G has a "bounded orbit" iff G is definably amenable. These results answer questions of Gismatullin,…

We show that several sigma-ideals related to porous sets have additivity omega_1 and cofinality 2^omega. This answers a question addressed by Miroslav Repick'y.

We show that countable increasing unions preserve a large family of well-studied covering properties, which are not necessarily sigma-additive. Using this, together with infinite-combinatorial methods and simple forcing theoretic methods,…

Define (*) There exists $(\phi_n:\omega_1\to \omega_1:n<\omega)$ such that for every uncountable $I$ which is a subset of $\omega_1$ there exists $n$ such that $\phi_n$ maps $I$ onto $\omega_1$. This is roughly what Sierpinski in his book…

We consider special subclasses of the class of Lindel\"of Sigma-spaces obtained by imposing restrictions on the weight of the elements of compact covers that admit countable networks: A space $X$ is in the class $L\Sigma(\leq\kappa)$ if it…

We show that it is consistent to have an uncountable sequential group of intermediate sequential order while no countable such groups exist. This is proved by adding $\omega_2$ Cohen reals to a model of $\diamondsuit$.

Building on previous work of [BPS] we investigate $\sigma$-closed partial orders of size continuum. We provide both an internal and external characterization of such partial orders by showing that (1) every $\sigma$-closed partial order of…

Combining stationary reflection (a compactness property) with the failure of SCH (an instance of non-compactness) has been a long-standing theme. We obtain this at $\aleph_{\omega_1}$, answering a question of Ben-Neria, Hayut, and Unger: We…

Using the Gandy -- Harrington topology and other methods of effective descriptive set theory, we prove several theorems on compact and sigma-compact pointsets. In particular we show that any $\Sigma^1_1$ set $A$ of the Baire space $N^N$…

The $\omega\to\infty$ limit of Brans-Dicke theory is studied with the help of the conformal transformation approach without resorting, however, to the conformal invariance property of this formalism, that is shown to be spurious.

Answering some of the main questions from [MR13], we show that whenever $\kappa$ is a cardinal satisfying $\kappa^{< \kappa} = \kappa > \omega$, then the embeddability relation between $\kappa$-sized structures is strongly invariantly…

Let $S_g$ be a closed orientable surface of genus $g\geq 2$. A collection $\Omega = \{ \gamma_1, \dots, \gamma_s\}$ of pairwise non-homotopic simple closed curves on $S_g$ such that $\gamma_i$ and $\gamma_j$ are in minimal position, is…

We obtain global explicit numerical bounds, with best possible constants, for the differences $\frac{1}{n}\sum_{k\leq n}\omega(k)-\log\log n$ and$ \frac{1}{n}\sum_{k\leq n}\Omega(k)-\log\log n$, where $\omega(k)$ and $\Omega(k)$ refer to…

We classify the computability-theoretic complexity of two index sets of classes of first-order theories: We show that the property of being an $\aleph_0$-categorical theory is $\Pi^0_3$-complete; and the property of being an Ehrenfeucht…

Let $(S,\Phi)$ be a pair of a closed oriented surface and $\Phi$ be a real analytic flow with finitely many singularities. Let $x$ be a point of $S$ with the polycycle $\omega$-limit set $\omega(x)$. In this paper we give topological…

Given a bounded open set $\Omega$ in $\mathbb{R}^n$ (or a compact Riemannian manifold with boundary), and a partition of $\Omega$ by $k$ open sets $\omega_j$, we consider the quantity $\max_j \lambda(\omega_j)$, where $\lambda(\omega_j)$ is…