English
Related papers

Related papers: A Note on Extensions of Infinitary Logic

200 papers

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

Several variants of the Halpern-L\"auchli Theorem for trees of uncountable height are investigated. For $\kappa$ weakly compact, we prove that the various statements are all equivalent. We show that the strong tree version holds for one…

Logic · Mathematics 2018-03-06 Natasha Dobrinen , Dan Hathaway

The proofs of K. Oka's Coherence Theorems are based on Weierstrass' Preparation (division) Theorem. Here we formulate and prove a Weak Coherence Theorem without using Weierstrass' Preparation Theorem, but only with power series expansions:…

Complex Variables · Mathematics 2018-07-24 Junjiro Noguchi

Assume $AD+V=L(\mathbb{R})$. Let $\kappa=\utilde{\delta}^2_1$, the supremum of all $\utilde{\Delta}^2_1$ prewellorderings. We prove that extenders on the sequence of $\H$ that have critical point $\kappa$ are generated by countably complete…

Logic · Mathematics 2021-10-07 Grigor Sargsyan

In this paper we show that the Cutkosky cutting rules are still valid term by term in the expansion in powers of $\kappa$ of the $\kappa$-deformed 1-loop correction to the propagator. We first present a general argument which relates each…

High Energy Physics - Theory · Physics 2025-10-13 Andrea Bevilacqua

We investigate the extent to which ultrapowers by normal measures on $\kappa$ can be correct about powersets $\mathcal{P}(\lambda)$ for $\lambda>\kappa$. We consider two versions of this questions, the capturing property…

Logic · Mathematics 2023-02-28 Miha E. Habič , Radek Honzík

For a ring R, denote by Spec^R_kappa(Gamma) the kappa-spectrum of the Gamma-invariant of strongly uniform right R-modules. Recent realization techniques of Goodearl and Wehrung show that Spec^R_{aleph_1}(Gamma) is full for suitable von…

Logic · Mathematics 2007-05-23 Saharon Shelah , Jan Trlifaj

The $\kappa$-topologies on the spaces $\mathscr{D}_{L^p}$, $L^p$ and $\mathscr{M}^1$ are defined by a neighbourhood basis consisting of polars of absolutely convex and compact subsets of their (pre-)dual spaces. In many cases it is more…

Functional Analysis · Mathematics 2020-10-09 Christian Bargetz , Eduard A. Nigsch , Norbert Ortner

Assuming that $GCH$ holds and $\kappa$ is $\kappa^{+3}$-supercompact, we construct a generic extension $W$ of $V$ in which $\kappa$ remains strongly inaccessible and $(\alpha^+)^{HOD} < \alpha^+$ for every infinite cardinal $\alpha <…

Logic · Mathematics 2016-01-15 James Cummings , Sy David Friedman , Mohammad Golshani

The goal of this survey is to describe some recent results concerning the L 2 extension of holomorphic sections or cohomology classes with values in vector bundles satisfying weak semi-positivity properties. The results presented here are…

Algebraic Geometry · Mathematics 2017-12-13 Jean-Pierre Demailly

Let $X$ be a smooth complex projective variety of dimension three and let $L$ be an ample line bundle on $X$. In this paper, we provide a lower bound of the dimension of the global sections of $m(K_{X}+L)$ under the assumption that…

Algebraic Geometry · Mathematics 2009-10-16 Yoshiaki Fukuma

We study $\kappa$-maximal cofinitary groups for $\kappa$ regular uncountable, $\kappa = \kappa^{<\kappa}$. Revisiting earlier work of Kastermans and building upon a recently obtained higher analogue of Bell's theorem, we show that: 1. Any…

Logic · Mathematics 2021-04-09 Vera Fischer , Corey Bacal Switzer

We construct a weakly compact convex subset of $\ell^2$ with nonempty interior that has an isolated maximal element, with respect to the lattice order $\ell _+^2$. Moreover, the maximal point cannot be supported by any strictly positive…

Functional Analysis · Mathematics 2024-07-19 Aris Daniilidis , Carlo de Bernardi , Enrico Miglierina

Motivated by two open questions about two-cardinal tree properties, we introduce and study generalized narrow system properties. The first of these questions asks whether the strong tree property at a regular cardinal $\kappa \geq \omega_2$…

Logic · Mathematics 2023-04-06 Chris Lambie-Hanson

We consider a sub-class of the $f$-divergences satisfying a stronger convexity property, which we refer to as strongly convex, or $\kappa$-convex divergences. We derive new and old relationships, based on convexity arguments, between…

Information Theory · Computer Science 2020-12-30 James Melbourne

We show that if $\lambda^{<\kappa} = \lambda$ and every normal filter on $P_\kappa\lambda$ can be extended to a $\kappa$-complete ultrafilter then so does every $\kappa$-complete filter on $\lambda$. This answers a question of Gitik.

Logic · Mathematics 2019-10-30 Yair Hayut

It is well-known that every non-isolated point in a compact Hausdorff space is the accumulation point of a discrete subset. Answering a question raised by Z. Szentmiklossy and the first author, we show that this statement fails for…

General Topology · Mathematics 2013-07-09 Istvan Juhasz , Saharon Shelah

Given an uncountable regular cardinal $\kappa$, a partial order is $\kappa$-stationarily layered if the collection of regular suborders of $\mathbb{P}$ of cardinality less than $\kappa$ is stationary in $\mathcal{P}_\kappa(\mathbb{P})$. We…

Logic · Mathematics 2016-11-11 Sean Cox , Philipp Lücke

For a topological space $X$, let $X_\delta$ be the space $X$ with $G_\delta$-topology of $X$. For an uncountable cardinal $\kappa$, we prove that the following are equivalent: (1) $\kappa$ is $\omega_1$-strongly compact. (2) For every…

Logic · Mathematics 2018-07-23 Toshimichi Usuba

We prove a weakened version of the reflection of Reinhardt cardinals by super Reinhardt cardinals: Let $M=(V^M,P)$ be a countable model of second order set theory $\mathsf{ZF}_2$ (with universe $V^M$ and classes $P$) which models "$\kappa$…

Logic · Mathematics 2020-05-25 Farmer Schlutzenberg