Related papers: On coherent systems of projections for aleph_1 sep…
This paper addresses the long standing question of discordant redshifts in compact groups. We have used an homogenous catalogue of 173 compact groups selected by an automated procedure to objectively predict the fraction of discordant…
Inspired by Zermelo's quasi-categoricity result characterizing the models of second-order Zermelo-Fraenkel set theory $\text{ZFC}_2$, we investigate when those models are fully categorical, characterized by the addition to $\text{ZFC}_2$…
We prove the Hilbert-Chow crepant resolution conjecture in the exceptional curve classes for all projective surfaces and all genera. In particular, this confirms Ruan's cohomological Hilbert-Chow crepant resolution conjecture. The proof…
We remove the assumption of the continuum hypothesis from the Akemann-Doner construction of a non-separable $C^*$-algebra $A$ with only separable commutative $C^*$-subalgebras. We also extend a result of Farah and Wofsey's, constructing…
We introduce a uniform method of proof for the following results. For {\em each} of the following conditions, there are $2^{\aleph_0}$ families of Steiner systems, satisfying that condition: i) Theorem~2.2.4: (extending \cite{Chicoetal})…
A computable structure $\mathcal{A}$ is decidable if, given a formula $\varphi(\bar{x})$ of elementary first-order logic, and a tuple $\bar{a} \in \mathcal{A}$, we have a decision procedure to decide whether $\varphi$ holds of $\bar{a}$. We…
We show that some cardinal arithmetic configurations related to the negation of the Shelah Weak Hypothesis and natural from the forcing point of view are impossible.
As the class of pseudocomplemented semilattices is a universal Horn class generated by a single finite structure it has a $\aleph_0$-categorical model companion. We will construct the countable existentially closed pseudocomplemented…
We study cofinal systems of finite subsets of $\omega_1$. We show that while such systems can be NIP, they cannot be defined in an NIP structure. We deduce a positive answer to a question of Chernikov and Simon from 2013: in an NIP theory,…
We prove that Banach spaces with a $1$-projectional skeleton form a $\mathcal{P}$-class and deduce that any such space admits a strong Markushevich basis. We provide several equivalent characterizations of spaces with a projectional…
It is known that the paving conjecture fails for 2-paving projections with constant diagonal 1/2. But the proofs of this fact are existence proofs. We will give concrete examples of these projections and projections with constant diagonal…
Let A be a commutative noetherian ring. Call a functor <<commutative A-algebras>> --> <<sets>> coherent if it can be built up (via iterated finite limits) from functors of the form B \mapsto M tensor_A B, where M is a f.g. A-module. When…
We prove that it is consistent (relative to a Mahlo cardinal) that all projective sets of reals are Lebesgue measurable, but there is a $\Delta^1_3$ set without the Baire property. The complexity of the set which provides a counterexample…
We present an analysis of the line-of-sight structure toward a sample of ten strong lensing cluster cores. Structure is traced by groups that are identified spectroscopically in the redshift range, 0.1 $\leq$ z $\leq$ 0.9, and we measure…
We prove that a holomorphic projective connection on a complex projective threefold is either flat, or it is a translation invariant holomorphic projective connection on an abelian threefold. In the second case, a generic translation…
Previously, the authors proved that the presentation complex of a one-relator group $G$ satisfies a geometric condition called negative immersions if every two-generator, one-relator subgroup of $G$ is free. Here, we prove that one-relator…
Popov classified crystallographic complex reflection groups by determining lattices they stabilize. These analogs of affine Weyl groups have infinite order and are generated by reflections about affine hyperplanes; most arise as the…
We show that any one-relator group $G=F/\langle\langle w\rangle\rangle$ with torsion is coherent -- i.e., that every finitely generated subgroup of $G$ is finitely presented -- answering a 1974 question of Baumslag in this case.
The concept of coherent states originally closely related to the nilpotent group of Weyl is generalized to arbitrary Lie group. For the simplest Lie groups the system of coherent states is constructed and its features are investigated.
We discuss the isomorphism problem of projective schemes; given two projective schemes, can we algorithmically decide whether they are isomorphic? We give affirmative answers in the case of one-dimensional projective schemes, the case of…