English
Related papers

Related papers: Good Frames in the Hart-Shelah Example

200 papers

Let $(R,\mathfrak{m})$ be a Noetherian local ring and $\widehat{R}$ its $\mathfrak{m}$-adic completion. We study the problem of determining when a finitely generated $\widehat{R}$-module arises from an $R$-module, i.e., when it is…

Commutative Algebra · Mathematics 2025-10-20 Mohsen Asgharzadeh

The aim of this paper is to give natural examples of $\mathbf{\Sigma}_1^1$-complete and $\mathbf{\Pi}_1^1$-complete sets. In the first part, we consider ideals on $\omega$. In particular, we show that the Hindman ideal $\mathcal{H}$ is…

Logic · Mathematics 2026-03-09 Łukasz Mazurkiewicz , Szymon Żeberski

We study classes of graded structures satisfying the properties of amalgamation, joint embedding and hereditariness. Given appropriate conditions, we can build a graded analogue of the Fraisse limit. Some examples such as the class of all…

Logic · Mathematics 2018-09-24 Guillermo Badia , Carles Noguera

Let A, B, S be categories, let F:A-->S and G:B-->S be functors. We assume that for "many" objects a in A, there exists an object b in B such that F(a) is isomorphic to G(b). We establish a general framework under which it is possible to…

Category Theory · Mathematics 2011-05-11 Pierre Gillibert , Friedrich Wehrung

We show that Shelah's Eventual Categoricity Conjecture follows from the existence of class many strongly compact cardinals. This is the first time the consistency of this conjecture has been proven. We do so by showing that every AEC with…

Logic · Mathematics 2014-05-15 Will Boney

This the first of a series of articles dealing with abstract classification theory. The apparatus to assign systems of cardinal invariants to models of a first order theory (or determine its impossibility) is developed in [Sh:a]. It is…

Logic · Mathematics 2009-09-25 John T. Baldwin , Saharon Shelah

The paper deals with Henselian valued field with analytic structure. Actually, we are focused on separated analytic structures, but the results remain valid for strictly convergent analytic ones as well. A classical example of the latter is…

Algebraic Geometry · Mathematics 2018-11-29 Krzysztof Jan Nowak

Let $\fa$ be an ideal of a commutative Noetherian ring $R$ and $M$ a finitely generated $R$-module. Let $t$ be a natural integer. It is shown that there is a finite subset $X$ of $\Spec R$, such that $\Ass_R(H_{\fa}^t(M))$ is contained in…

Commutative Algebra · Mathematics 2016-09-07 Kamran Divaani-Aazar , Amir Mafi

We systematically study a natural problem in extremal graph theory, to minimize the number of edges in a graph with a fixed number of vertices, subject to a certain local condition: each vertex must be in a copy of a fixed graph $H$. We…

Combinatorics · Mathematics 2020-06-24 Debsoumya Chakraborti , Po-Shen Loh

We find a sufficient condition that $\H$ is not level based on a reduction number. In particular, we prove that a graded Artinian algebra of codimension 3 with Hilbert function $\H=(h_0,h_1,..., h_{d-1}>h_d=h_{d+1})$ cannot be level if…

Commutative Algebra · Mathematics 2007-05-23 Jea-Man Ahn , Yong Su Shin

The construction of a family of real Hamiltonian forms (RHF) for the special class of affine 1+1-dimensional Toda field theories (ATFT) is reported. Thus the method, proposed in [1] for systems with finite number of degrees of freedom is…

Exactly Solvable and Integrable Systems · Physics 2008-04-24 Vladimir S. Gerdjikov , Georgi G. Grahovski

We give an example of proper smooth fourfold over a perfect field k of characteristic p > 0 with asymmetric Hodge--Witt numbers in total degree 3. Our example is sharp both in terms of dimension and total degree. We arrive at our example by…

Algebraic Geometry · Mathematics 2026-04-06 Shizhang Li , Yuan Yang

Essential $\aleph_0$-categoricity; i.e., $\aleph_0$-categoricity in some full countable language, is shown to be a robust notion for strongly minimal compact complex manifolds. Characterisations of triviality and essential…

Logic · Mathematics 2010-07-06 Rahim Moosa , Anand Pillay

We investigate homological properties of perfect algebras of prime characteristic. The principle is as follows: perfect algebras resolve the singularities. For example, we show any module over the ring of absolute integral closure has…

Commutative Algebra · Mathematics 2017-11-16 Mohsen Asgharzadeh

For each $k \geq 3$ and $1 \leq \ell \leq k-1$ we give an asymptotically best possible minimum positive codegree condition for the existence of a Hamilton $\ell$-cycle in a $k$-uniform hypergraph. This result exhibits an interesting duality…

Combinatorics · Mathematics 2025-05-19 Richard Mycroft , Camila Zárate-Guerén

Let $f:A \rightarrow B$ be a ring homomorphism and let $J$ be an ideal of $B$. In this paper, we study the amalgamation of $A$ with $B$ along $J$ with respect to $f$, a construction that provides a general frame for studying the amalgamated…

Commutative Algebra · Mathematics 2016-06-23 Marco D'Anna , Carmelo Antonio Finocchiaro , Marco Fontana

Let $n$ be a positive integer, $\sigma$ be an element of the symmetric group $\mathcal{S}_n$ and let $\sigma$ be a cycle of length $n$. The elements $\alpha ,\beta \in \mathcal{S}_n$ are $\sigma$-equivalent, if there are natural numbers $k$…

Combinatorics · Mathematics 2014-10-31 Krasimir Yordzhev

A notion of unique ergodicity relative to the fixed-point subalgebra is defined for automorphisms of unital C*-algebras. It is proved that the free shift on any reduced amalgamated free product C*-algebra is uniquely ergodic relative to its…

Operator Algebras · Mathematics 2007-05-23 Beatriz Abadie , Ken Dykema

In (B-Gran, 2004), was given a categorical formulation of the Shifting Lemma which is a characterization of the Congruence Modular Varieties among all the variety of Universal Algebra, introduced in (Gumm, 1983). Starting from a…

Category Theory · Mathematics 2021-03-24 Dominique Bourn

In this paper we address a problem posed by Shelah in 1999 to find a suitable notion for superstability for abstract elementary classes in which limit models of cardinality $\mu$ are saturated. Theorem 1. Suppose that $\mathcal{K}$ is a…

Logic · Mathematics 2015-02-18 Monica VanDieren