English
Related papers

Related papers: Generalized Borel Sets

200 papers

In this paper we use infinitary Turing machines with tapes of length $\kappa$ and which run for time $\kappa$ as presented, e.g., by Koepke \& Seyfferth, to generalise the notion of type two computability to $2^{\kappa}$, where $\kappa$ is…

Logic · Mathematics 2017-04-11 Lorenzo Galeotti , Hugo Nobrega

Let $\kappa$ be an infinite cardinal. A topological space $X$ is $\kappa$-bounded if the closure of any subset of cardinality $\le\kappa$ in $X$ is compact. We discuss the problem of embeddability of topological spaces into Hausdorff…

General Topology · Mathematics 2021-11-02 T. Banakh , S. Bardyla , A. Ravsky

Assuming 0^sharp does not exist, kappa is an uncountable cardinal and for all cardinals lambda with kappa <= lambda < kappa^{+ omega}, 2^lambda = lambda^+, we present a ``mini-coding'' between kappa and kappa^{+ omega}. This allows us to…

Logic · Mathematics 2016-09-06 Saharon Shelah , Lee Stanley

A cardinal kappa is countably closed if mu^omega < kappa whenever mu < kappa. Assume that there is no inner model with a Woodin cardinal and that every set has a sharp. Let K be the core model. Assume that kappa is a countably closed…

Logic · Mathematics 2016-09-07 William J. Mitchell , Ernest Schimmerling , John R. Steel

The paper tries to extend results of the classical Descriptive Set Theory to as many countably based T_0-spaces (cb_0-spaces) as possible. Along with extending some central facts about Borel, Luzin and Hausdorff hierarchies of sets we…

General Topology · Mathematics 2014-06-17 Victor Selivanov

The main result of this paper is to show that, if $\kappa$ is the smallest real-valued measurable cardinal not greater than $ 2^{\aleph_0}$, then there exists a complete metric space of cardinality not greater than $ 2^{\kappa}$ admitting a…

Logic · Mathematics 2020-12-22 Ryszard Frankiewicz , Joanna Jureczko

Assuming $\kappa$ is a supercompact cardinal and $\lambda$ is an inaccessible cardinal above it, we present an idea due to Magidor, to find a generic extension in which $\kappa=\aleph_\omega$ and $\lambda=\aleph_{\omega+1}.$

Logic · Mathematics 2017-11-15 Mohammad Golshani

In this article we prove three main theorems: (1) guessing models are internally unbounded, (2) for any regular cardinal $\kappa \ge \omega_2$, $\textsf{ISP}(\kappa)$ implies that $\textsf{SCH}$ holds above $\kappa$, and (3) forcing posets…

Logic · Mathematics 2019-07-23 John Krueger

Following Davies, Elekes and Keleti, we study measured sets, i.e. Borel sets $B$ in $\mathbb{R}$ (or in a Polish group) for which there is a translation invariant Borel measure assigning positive and \sigma-finite measure to $B$. We…

Functional Analysis · Mathematics 2015-04-13 András Máthé

The paper gives several sufficient conditions on the paracompactness of box products with an arbitrary number of many factors and boxes of arbitrary size. The former include results on generalised metrisability and Sikorski spaces. Of…

Logic · Mathematics 2022-11-07 David Buhagiar , Mirna Džamonja

We use a natural forcing to construct a left-separated topology on an arbitrary cardinal kappa. The resulting left-separated space X_kappa is also 0-dimensional T_2, hereditarily Lindelof, and countably tight. Moreover if kappa is regular…

Logic · Mathematics 2007-05-23 Istvan Juhász , Saharon Shelah

In this paper we study a notion of a $\kappa$-covering in connection with Bernstein sets and other types of nonmeasurability. Our results correspond to those obtained by Muthuvel and Nowik. We consider also other types of coverings.

Logic · Mathematics 2010-09-07 J. Kraszewski , R. Ralowski , P. Szczepaniak , S. Zeberski

For any regular cardinal $\kappa$ and ordinal $\eta<\kappa^{++}$ it is consistent that $2^{\kappa}$ is as large as you wish, and every function $f:\eta \to [\kappa,2^{\kappa}]\cap Card$ with $f(\alpha)=\kappa$ for $cf(\alpha)<\kappa$ is the…

Logic · Mathematics 2019-02-19 Juan Carlos Martinez , Lajos Soukup

We extend our previous study of Hopf-algebraic $\kappa$-deformations of all inhomogeneous orthogonal Lie algebras ${\rm iso}(g)$ as written in a tensorial and unified form. Such deformations are determined by a vector $\tau$ which for…

Mathematical Physics · Physics 2014-12-02 Andrzej Borowiec , Anna Pachol

Let $\mathrm{cof}(\mu)=\mu$ and $\kappa$ be a supercompact cardinal with $\mu<\kappa$. Assume that there is an increasing and continuous sequence of cardinals $\langle\kappa_\xi\mid \xi<\mu\rangle$ with $\kappa_0:=\kappa$ and such that, for…

Logic · Mathematics 2020-01-16 Alejandro Poveda

A simple \(P_\lambda\)-point on a regular cardinal \(\kappa\) is a uniform ultrafilter on \(\kappa\) with a mod-bounded decreasing generating sequence of length \(\lambda\). We prove that if there is a simple $P_\lambda$-point ultrafilter…

Logic · Mathematics 2025-12-10 Tom Benhamou , Gabriel Goldberg

The paper settles the problem of the consistency of the existence of a single universal graph between a strong limit singular and its power. Assuming that in a model of $\mathbf{GCH}$ $\kappa$ is supercompact and the cardinals $\theta <…

Logic · Mathematics 2022-01-04 Márk Poór , Saharon Shelah

We show that there are locally compact spaces that can be condensed onto separable spaces but not onto compact separable spaces. We also show that for every cardinal $\kappa$ there is a locally compact topological group of cardinality…

General Topology · Mathematics 2025-11-19 István Juhász , Jan van Mill , Lajos Soukup

This article extends a paper of Abraham and Bonnet which generalised the famous Hausdorff characterisation of the class of scattered linear orders. Abraham and Bonnet gave a poset hierarchy that characterised the class of scattered posets…

Logic · Mathematics 2007-05-23 M. D{ž}amonja , K. Thompson

We continue our investigation of cardinal sequences associated with locally Lindelof, scattered, Hausdorff P-spaces (abbreviated as LLSP spaces). We outline a method for constructing LLSP spaces from cone systems and partial orders with…

General Topology · Mathematics 2024-11-28 J. C Martínez , L. Soukup