English
Related papers

Related papers: On a cofinal Reinhardt embedding without Powerset

200 papers

We show that assuming $\mathsf{ZF}+\mathsf{AD}^+ +$ "$V = \mathrm{L} \bigl(\wp (\mathbb{R})\bigr)$", any poset which increases $\Theta$ does not preserve the truth of $\mathsf{AD}$. We also show that in $\mathsf{ZF} + \mathsf{AD}$, any…

Logic · Mathematics 2023-04-04 Daisuke Ikegami , Nam Trang

We study models M of set theory that are "condensable", in the sense that there is an "ordinal" v of M such that the rank initial segment of M determined by v is both isomorphic to M, and also an elementary submodel of M for infinitary…

Logic · Mathematics 2021-06-21 Ali Enayat

The article deals with the class ${\mathcal F}_{\alpha }$ consisting of non-vanishing functions $f$ that are analytic and univalent in $\ID$ such that the complement $\IC\backslash f(\ID) $ is a convex set, $f(1)=\infty ,$ $f(0)=1$ and the…

Complex Variables · Mathematics 2016-06-06 Y. Abu Muhanna , S. Ponnusamy

Let $(X,(p_j))$ be a Fr\'echet space with a Schauder basis and without continuous norm, where $(p_j)$ is an increasing sequence of seminorms inducing the topology of $X$. We show that $X$ satisfies the Invariant Subspace Property if and…

Functional Analysis · Mathematics 2020-11-25 Quentin Menet

Using the Quantum Inverse Scattering Method we construct an integrable Heisenberg-XXZ-model, or equivalently a model for spinless fermions with nearest-neighbour interaction, with defects. Each defect involves three sites with a fine tuning…

Condensed Matter · Physics 2009-10-28 P. Schmitteckert , P. Schwab , U. Eckern

In 2010, Invent. Math., Ershov and Jaikin-Zapirain proved Kazhdan's property (T) for elementary groups. This expository article focuses on presenting an alternative simpler proof of that. Unlike the original one, our proof supplies no…

Group Theory · Mathematics 2018-01-29 Masato Mimura

For a countable, weakly minimal theory, we show that the Schroeder-Bernstein property (any two elementarily bi-embeddable models are isomorphic) is equivalent to both a condition on orbits of rank 1 types and the property that the theory…

Logic · Mathematics 2009-12-09 John Goodrick , Michael C. Laskowski

We study the existence of proper holomorphic embeddings of bordered Riemann surfaces into the complex plane C^2. Denote by M(R) the moduli space consisting of all equivalence classes of complex structures J on a given smooth oriented…

Complex Variables · Mathematics 2007-05-23 Miran Cerne , Franc Forstneric

In this paper we study the embedding of Riemannian manifolds in low codimension. The well-known result of Nash and Kuiper says that any short embedding in codimension one can be uniformly approximated by $C^1$ isometric embeddings. This…

Differential Geometry · Mathematics 2018-05-01 Sergio Conti , Camillo De Lellis , László Székelyhidi

A proof of a result of Atiyah and Bernstein/Gelfand concerning the title's topic is given that relies solely on the recent elementary resolution of singularities algorithm of the author.

Classical Analysis and ODEs · Mathematics 2007-05-23 Michael Greenblatt

We introduce 0^h (0^handgrenade) as a sharp for an inner model with a proper class of strong cardinals. If 0^h does not exist then any normal iteration tree is "almost linear." We exploit this fact to prove the existence of the core model K…

Logic · Mathematics 2007-05-23 Ralf-Dieter Schindler

Set Matrix Theory (SMT) has been introduced in Log. Anal. 225: 59-82 (2014) as a generalization of ZF, in which matrices constructed from sets are treated as urelements, that is, as objects that are not sets but that can be elements of…

Logic · Mathematics 2024-12-16 Marcoen J. T. F. Cabbolet

A {\it wrinkled embedding} $f:V^n\to W^m$ is a topological embedding which is a smooth embedding everywhere on $V$ except a set of $(n-1)$-dimensional spheres, where $f$ has cuspidal corners. In this paper we prove that any rotation of the…

Geometric Topology · Mathematics 2011-08-08 Yakov M. Eliashberg , Nikolai M. Mishachev

We provide a theoretical foundation for non-parametric estimation of functions of random variables using kernel mean embeddings. We show that for any continuous function $f$, consistent estimators of the mean embedding of a random variable…

Machine Learning · Statistics 2018-06-04 Carl-Johann Simon-Gabriel , Adam Ścibior , Ilya Tolstikhin , Bernhard Schölkopf

This paper investigates the space of codimension zero embeddings of a Poincare duality space in a disk. One of our main results exhibits a tower that interpolates from the space of Poincare immersions to a certain space of "unlinked"…

Algebraic Topology · Mathematics 2015-05-14 John R. Klein

For a compactification $\alpha X$ of a Tychonoff space $X$, the algebra of all functions $f\in C(X)$ that are continuously extendable over $% \alpha X$ is denoted by $C_{\alpha}(X)$. It is shown that, in a model of $\textbf{ZF}$, it may…

General Topology · Mathematics 2018-05-25 Kyriakos Keremedis , Eliza Wajch

This work deals with embeddings, of any integer order, for generalized Lorentz-Zygmund-Sobolev spaces on Euclidean domains satisfying minimal regularity assumptions. Explicit rearrangement-invariant, H\"older, Morrey and Campanato optimal…

Functional Analysis · Mathematics 2026-05-25 Paola Cavaliere , Ladislav Drážný

Recently the author presented a new approach to solving the coefficient problems for various classes of holomorphic functions $f(z) = \sum\limits_0^\infty c_n z^n$, not necessarily univalent. This approach is based on lifting the given…

Complex Variables · Mathematics 2025-04-03 Samuel L. Krushkal

Let $X$ be a prehomogeneous vector space under a connected reductive group $G$ over $\mathbb{R}$. Assume that the open $G$-orbit $X^+$ admits a finite covering by a symmetric space. We study certain zeta integrals involving (i) Schwartz…

Representation Theory · Mathematics 2017-10-17 Wen-Wei Li

Working in Zermelo-Fraenkel Set Theory with Atoms over an $\omega$-categorical $\omega$-stable structure, we show how \emph{infinite} constructions over definable sets can be encoded as \emph{finite} constructions over the Stone-\v{C}ech…

Logic in Computer Science · Computer Science 2024-02-13 Michał R. Przybyłek