English
Related papers

Related papers: Uncountable strongly surjective linear orders

200 papers

We introduce the split principles and show that they bear tight connections to large cardinal properties such as inaccessibility, weak compactness, subtlety, almost ineffability and ineffability, as well as classical combinatorial objects…

Logic · Mathematics 2024-11-26 Gunter Fuchs , Kaethe Minden

We give an example of a countable theory T such that for every cardinal lambda >= aleph_2 there is a fully indiscernible set A of power lambda such that the principal types are dense over A, yet there is no atomic model of T over A. In…

Logic · Mathematics 2008-02-03 Michael C. Laskowski , Saharon Shelah

Motivated by the goal of constructing a model in which there are no $\kappa$-Aronszajn trees for any regular $\kappa>\aleph_1$, we produce a model with many singular cardinals where both the singular cardinals hypothesis and weak square…

Logic · Mathematics 2020-05-22 Omer Ben-Neria , Chris Lambie-Hanson , Spencer Unger

We prove the undecidability of MSO on $\omega$-words extended with the second-order predicate $U_1(X)$ which says that the distance between consecutive positions in a set $X \subseteq \mathbb{N}$ is unbounded. This is achieved by showing…

Logic in Computer Science · Computer Science 2023-06-22 Mikołaj Bojańczyk , Laure Daviaud , Bruno Guillon , Vincent Penelle , A. V. Sreejith

In this short note, we answer a question of Martin and Sanders [Integr. Equ. Oper. Theory, 85 (2) (2016), 191-220] by showing the existence of disjoint frequently hypercyclic operators which fail to be disjoint weakly mixing and, therefore,…

Functional Analysis · Mathematics 2021-06-03 Özgür Martin , Yunied Puig

We prove that a subshift $(X,T)$ is linearly recurrent if and only if it is a primitive and proper $S$-adic subshift. This corrects Proposition 6 in F. Durand ({\it Ergod. Th. & Dynam. Sys. {\bf 20}} (2000), 1061--1078).

Dynamical Systems · Mathematics 2008-08-07 Fabien Durand

In this paper we consider a notion of nonmeasurablity with respect to Marczewski and Marczewski-like tree ideals $s_0$, $m_0$, $l_0$, and $cl_0$. We show that there exists a subset $A$ of the Baire space $\omega^\omega$ which is $s$-, $l$-,…

General Topology · Mathematics 2020-12-30 Marcin Michalski , Robert Rałowski , Szymon Żeberski

We define a countable antichain condition (ccc) property for partial orderings, weaker than precalibre-$\aleph_1$, and show that Martin's axiom restricted to the class of partial orderings that have the property does not imply Martin's…

Logic · Mathematics 2015-02-20 Joan Bagaria , Saharon Shelah

In this paper we construct an infinite family of knots with vanishing Upsilon invariant $\Upsilon$, although their secondary Upsilon invariants $\Upsilon^2$ show that they are linearly independent in the smooth knot concordance group. We…

Geometric Topology · Mathematics 2021-08-25 Xiaoyu Xu

An algebraic linear ordering is a component of the initial solution of a first-order recursion scheme over the continuous categorical algebra of countable linear orderings equipped with the sum operation and the constant 1. Due to a general…

Formal Languages and Automata Theory · Computer Science 2010-02-10 Stephen L. Bloom , Zoltan Esik

In our previous papers we introduced categorical invariants, which are, roughly speaking, sets of triangulated subcategories in a given triangulated category and their quotients. Here is extended the list of examples, where these sets are…

Category Theory · Mathematics 2019-07-31 George Dimitrov , Ludmil Katzarkov

Let $X$ be a Polish space and $K$ a separable compact subset of the first Baire class on $X$. For every sequence $\bs$ dense in $\kk$, the descriptive set-theoretic properties of the set \[ \lbf=\{L\in[\nn]: (f_n)_{n\in L} \text{is…

Logic · Mathematics 2008-05-15 Pandelis Dodos

We prove that the class of all ordinals Ord is not weakly compact with respect to definable classes. Specifically, in any model of ZFC, the definable tree property fails for Ord, in that there is a definable Ord tree with no definable…

Logic · Mathematics 2017-10-27 Ali Enayat , Joel David Hamkins

We prove the consistency, assuming an ineffable cardinal, that any two normal countably closed $\omega_2$-Aronszajn trees are club isomorphic. This work generalizes to higher cardinals the property of Abraham-Shelah that any two normal…

Logic · Mathematics 2018-06-05 John Krueger

Let L be a linear difference operator with polynomial coefficients. We consider singularities of L that correspond to roots of the trailing (resp. leading) coefficient of L. We prove that one can effectively construct a left multiple with…

Classical Analysis and ODEs · Mathematics 2007-05-23 S. A. Abramov , M. A. Barkatou , M. van Hoeij

In this article we prove that the Weinstein conjecture holds for contact manifolds $(\Sigma,\xi)$ for which $\mathrm{Cont}_0(\Sigma,\xi)$ is non-orderable in the sense of Eliashberg-Polterovich [EP00]. More precisely, we establish a link…

Symplectic Geometry · Mathematics 2015-12-23 Peter Albers , Urs Fuchs , Will J. Merry

Let $K$ be a prime knot in $S^3$ and $G(K)=\pi_1(S^3-K)$ the knot group. We write $K_1 \geq K_2$ if there exists a surjective homomorphism from $G(K_1)$ onto $G(K_2)$. In this paper, we determine this partial order on the set of prime knots…

Geometric Topology · Mathematics 2009-06-23 Keiichi Horie , Teruaki Kitano , Mineko Matsumoto , Masaaki Suzuki

Let $L$ be an order-$n$ Latin square. For $X, Y, Z \subseteq \{1, ... ,n\}$, let $L(X, Y. Z)$ be the number of triples $i\in X, j\in Y, k\in Z$ such that $L(i,j) = k$. We conjecture that asymptotically almost every Latin square satisfies…

Combinatorics · Mathematics 2016-07-26 Nathan Linial , Zur Luria

We work in set-theory without choice $\ZF$. Given a closed subset $F$ of $[0,1]^I$ which is a bounded subset of $\ell^1(I)$ ({\em resp.} such that $F \subseteq \ell^0(I)$), we show that the countable axiom of choice for finite subsets of…

Functional Analysis · Mathematics 2008-12-18 Marianne Morillon

In this paper we affirm Br\"{u}ck conjecture provided $f$ is of hyper-order less than one by studying the infinite hyper-order of solutions of a complex differential equation.

Complex Variables · Mathematics 2017-05-26 Guowei Zhang
‹ Prev 1 8 9 10 Next ›