English
Related papers

Related papers: Good Frames in the Hart-Shelah Example

200 papers

We solve a long-standing open problem of Shelah regarding the \emph{Approachability Ideal} $I[\kappa^+]$. Given a singular cardinal $\aleph_\gamma$, a regular cardinal $\mu\in (\mathrm{cf}(\gamma),\aleph_\gamma)$ and assuming appropriate…

Logic · Mathematics 2025-08-07 Hannes Jakob , Alejandro Poveda

We construct a class $\hat{K}$ of torsion-free abelian groups such that $\hat{\mathbf{K}}=(\hat{K}, \leq_p)$ is an abstract elementary class with $\operatorname{LS}(\hat{\mathbf{K}})=\aleph_0$ such that: $(\cdot)$ $\hat{\mathbf{K}}$ is not…

Logic · Mathematics 2026-04-21 Daniel Herden , Marcos Mazari-Armida , Michael D. Walton

We say that a unital C*-algrebra A has the approximate positive factorization property (APFP) if every element of A is a norm limit of products of positive elements of A. (There is also a definition for the nonunital case.) T. Quinn has…

funct-an · Mathematics 2016-08-31 Gerard J. Murphy , N. Christopher Phillips

We provide here the first steps toward Classification Theory of Abstract Elementary Classes with no maximal models, plus some mild set theoretical assumptions, when the class is categorical in some lambda greater than its Lowenheim-Skolem…

Logic · Mathematics 2009-09-25 Saharon Shelah , Andrés Villaveces

This paper unifies problems and results related to (embedding) universal and homomorphism universal structures. On the one side we give a new combinatorial proof of the existence of universal objects for homomorphism defined classes of…

Combinatorics · Mathematics 2014-06-11 Jan Hubička , Jaroslav Nešetřil

Let $R$ be a regular ring containing a field $k$. Let $\mathbf{x} = x_1, \ldots, x_r$ be a regular sequence in $R$ such that $R/(\mathbf{x})$ is a regular ring. Fix $m \geq 1$. Set $A_m = R/(\mathbf{x})^m$. We show that for any ideal $Q$ of…

Commutative Algebra · Mathematics 2025-03-27 Tony J. Puthenpurakal

We propose the notion of a quasiminimal abstract elementary class (AEC). This is an AEC satisfying four semantic conditions: countable L\"owenheim-Skolem-Tarski number, existence of a prime model, closure under intersections, and uniqueness…

Logic · Mathematics 2018-04-04 Sebastien Vasey

We define the completion of an associative algebra $A$ in a set $M=\{M_1,\dots,M_r\}$ of $r$ right $A$-modules in such a way that if $\mathfrak a\subseteq A$ is an ideal in a commutative ring $A$ the completion $A$ in the (right) module…

Algebraic Geometry · Mathematics 2024-10-23 Arvid Siqveland

Let $G$ be a simple algebraic group of type $E_n (n=6,7,8)$ defined over an algebraically closed field $k$ of characteristic $2$. We present examples of triples of closed reductive groups $H<M<G$ such that $H$ is $G$-completely reducible,…

Group Theory · Mathematics 2017-01-31 Tomohiro Uchiyama

We develop algebraic geometry for general Segal's Gamma-rings and show that this new theory unifies two approaches we had considered earlier on (for a geometry under Spec Z). The starting observation is that the category obtained by gluing…

Algebraic Geometry · Mathematics 2019-09-24 Alain Connes , Caterina Consani

In a projective plane over a finite field, complete $(k,n)$-arcs with few characters are rare but interesting objects with several applications to finite geometry and coding theory. Since almost all known examples are large, the…

Combinatorics · Mathematics 2023-02-21 Gábor Korchmáros , Gábor Péter Nagy , Tamás Szőnyi

A $3$-uniform loose cycle, denoted by $C_t$, is a $3$-graph on $t$ vertices whose vertices can be arranged cyclically so that each hyperedge consists of three consecutive vertices, and any two consecutive hyperedges share exactly one…

Combinatorics · Mathematics 2025-05-20 Yangyang Cheng , Mengjiao Rao , Guanghui Wang , Yuqi Zhao

In the setup of abstract elementary classes satisfying a local version of superstability, we prove the uniqueness property for $\mu$-forking, a certain independence notion arising from splitting. This had been a longstanding technical…

Logic · Mathematics 2018-01-12 Sebastien Vasey

We give constructive proofs for the existence of uniquely hamiltonian graphs for various sets of degrees. We give constructions for all sets with minimum 2 (a trivial case added for completeness), all sets with minimum 3 that contain an…

Combinatorics · Mathematics 2024-12-04 Gunnar Brinkmann , Matthias De Pauw

We show that metric abstract elementary classes (mAECs) are, in the sense of [LR] (i.e. arXiv:1404.2528), coherent accessible categories with directed colimits, with concrete $\aleph_1$-directed colimits and concrete monomorphisms. More…

Logic · Mathematics 2017-03-30 Michael Lieberman , Jiri Rosicky

The disjoint amalgamation property (DAP), which asserts that all spans of a class of models can be amalgamated with minimal intersection, is an important property in the context of abstract elementary classes, with connections to both…

Logic · Mathematics 2026-01-22 Jeremy Beard

We obtain a general concept of triplet of Hilbert spaces with closed (unbounded) embeddings instead of continuous (bounded) ones. The construction starts with a positive selfadjoint operator $H$, that is called the Hamiltonian of the…

Functional Analysis · Mathematics 2025-11-04 Petru Cojuhari , Aurelian Gheondea

Let $A$ be an excellent two-dimensional normal local ring containing an algebraically closed field and let $X\to \mathrm{Spec} (A)$ be a resolution of singularity. We prove a theorem giving a condition under which the dimension of the…

Algebraic Geometry · Mathematics 2025-12-16 Tomohiro Okuma , Kei-ichi Watanabe , Ken-ichi Yoshida

A certain type of integer grid, called here an echelon grid, is an object found both in coherent systems whose components have a finite or countable number of levels and in algebraic geometry. If \alpha=(\alpha_1,...,\alpha_d) is an integer…

Statistics Theory · Mathematics 2007-06-13 Beatrice Giglio , Henry P. Wynn

For a number of properties of C*-algebras, including real rank zero, stable rank one, pure infiniteness, residual hereditary infiniteness, the combination of pure infiniteness and the ideal property, the property of being an AT algebra with…

Operator Algebras · Mathematics 2017-10-03 Cornel Pasnicu , N. Christopher Phillips