English
Related papers

Related papers: More minimal non-$\sigma$-scattered linear orders

200 papers

We provide a method of constructing better-quasi-orders by generalising a technique for constructing operator algebras that was developed by Pouzet. We then generalise the notion of $\sigma$-scattered to partial orders, and use our method…

Logic · Mathematics 2014-10-02 Gregory McKay

We show that the order dimension of the partial order of all finite subsets of $\kappa$ under set inclusion is ${\log}_{2}({\log}_{2}(\kappa))$ whenever $\kappa$ is an infinite cardinal. We also show that the order dimension of any locally…

Logic · Mathematics 2019-02-19 Kojiro Higuchi , Steffen Lempp , Diip Raghavan , Frank Stephan

With the help of various square principles, we obtain results concerning the consistency strength of several statements about trees containing ascent paths, special trees, and strong chain conditions. Building on a result that shows that…

Logic · Mathematics 2019-02-20 Chris Lambie-Hanson , Philipp Lücke

For any cardinal number $\kappa$ and an index set $\Gamma$, $\Sigma_\kappa$-product of real lines consists of elements of ${\mathbb R}^\Gamma$ having $<\kappa$ nonzero coordinates. A compact space $K$ is $\kappa$-Corson compact if it can be…

General Topology · Mathematics 2023-07-10 Witold Marciszewski , Grzegorz Plebanek , Krzysztof Zakrzewski

A topological space X$ has the Frechet-Urysohn property if for each subset A of X and each element x in the closure of A, there exists a countable sequence of elements of A which converges to x. Reznichenko introduced a natural…

General Topology · Mathematics 2010-11-02 Boaz Tsaban

We introduce a class of notions of forcing which we call $\Sigma$-Prikry, and show that many of the known Prikry-type notions of forcing that centers around singular cardinals of countable cofinality are $\Sigma$-Prikry. We show that given…

Logic · Mathematics 2020-05-27 Alejandro Poveda , Assaf Rinot , Dima Sinapova

We give Woodin's original proof that if there exists a $(\kappa+2)-$strong cardinal $\kappa,$ then there is a generic extension of the universe in which $\kappa=\aleph_\omega,$ $GCH$ holds below $\aleph_\omega$ and…

Logic · Mathematics 2016-01-19 Mohammad Golshani

In math.AC/9608214 it was shown that fields of generalized power series cannot admit an exponential function. In this paper, we construct fields of generalized power series with bounded support which admit an exponential. We give a natural…

Logic · Mathematics 2007-05-23 Salma Kuhlmann , Saharon Shelah

A space X is kappa-resolvable (resp. almost kappa-resolvable) if it contains kappa dense sets that are pairwise disjoint (resp. almost disjoint over the ideal of nowhere dense subsets of X). Answering a problem raised by Juhasz, Soukup, and…

General Topology · Mathematics 2007-05-23 Istvan Juhasz , Saharon Shelah , Lajos Soukup

We prove the following continuous analogue of Vaught's Two-Cardinal Theorem: if for some $\kappa>\lambda\geq \aleph_0$, a continuous theory $T$ has a model with density character $\kappa$ which has a definable subset of density character…

Logic · Mathematics 2021-10-13 Victoria Noquez

We construct a topos in which the Dedekind reals are countable. The topos arises from a new kind of realizability, which we call parameterized realizability, based on partial combinatory algebras whose application depends on a parameter.…

Logic · Mathematics 2026-04-02 Andrej Bauer , James E. Hanson

Let kappa be a regular uncountable cardinal and lambda >=kappa^+ . The principle of stationary reflection for P_kappa lambda has been successful in settling problems of infinite combinatorics in the case kappa=omega_1. For a greater kappa…

Logic · Mathematics 2007-05-23 Saharon Shelah , Masahiro Shioya

Hellsten \cite{MR2026390} proved that when $\kappa$ is $\Pi^1_n$-indescribable, the \emph{$n$-club} subsets of $\kappa$ provide a filter base for the $\Pi^1_n$-indescribability ideal, and hence can also be used to give a characterization of…

Logic · Mathematics 2020-01-31 Brent Cody , Victoria Gitman , Chris Lambie-Hanson

The aim of this paper is to prove that for there exist a chain in the Rudin-Frol\'ik order of $\beta\kappa\setminus \kappa$ of length $\mu$ with $\kappa \leqslant \mu \leqslant 2^\kappa$ for regular $\kappa> \omega$ without a lower bound.

Logic · Mathematics 2023-04-05 Joanna Jureczko

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

The landmark Levy-Solovay Theorem limits the kind of large cardinal embeddings that can exist in a small forcing extension. Here I announce a generalization of this theorem to a broad new class of forcing notions. One consequence is that…

Logic · Mathematics 2007-05-23 Joel David Hamkins

Assuming the existence of a proper class of supercompact cardinals, we force that for every regular cardinal $\kappa$, there are $\kappa^+$-Aronszajn trees and all such trees are special.

Logic · Mathematics 2019-07-10 Mohammad Golshani , Yair Hayut

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…

Logic · Mathematics 2016-07-14 Jacob Hilton

Assume $\text{MA}(\kappa)$. We show that for every real chain of size $\kappa$ in the quotient Boolean algebra $P(\omega)/fin$ we can find an almost chain of representatives such that every $n\in\omega$ oscillates at most three times along…

Logic · Mathematics 2024-03-29 Antonio Avilés , Maciej Korpalski

This article is devoted to two different generalizations of projective Boolean algebras: openly generated Boolean algebras and tightly sigma-filtered Boolean algebras. We show that for every uncountable regular cardinal kappa there are…

Logic · Mathematics 2007-05-23 Stefan Geschke , Saharon Shelah
‹ Prev 1 8 9 10 Next ›