Related papers: Constructible ideals
We study some homological properties of the conductor ideal.
We prove formulas for the core of ideals that apply in arbitrary characteristic.
We define a family of homogeneous ideals with large projective dimension and regularity relative to the number of generators and their common degree. This family subsumes and improves upon constructions given in [Cav04] and [McC]. In…
We prove some constructive results that on first and maybe even on second glance seem impossible.
Scattered over the past few years have been several occurrences of simplicial complexes whose topological behavior characterize the Cohen-Macaulay property for quotients of polynomial rings by arbitrary (not necessarily squarefree) monomial…
We define a general notion of "summability" of a set $I\subseteq\mathbb{C^{N}}$ and show that some trivial condition necessary for a set to be summable, is also sufficient. We deduce some intresting corollaries.
We present a theory of information expressed solely in terms of which transformations of physical systems are possible and which are impossible - i.e. in constructor-theoretic terms. Although it includes conjectured laws of physics that are…
In this short note we present several infinite dimensional theorems which generalize corresponding facts from the finite dimensional differential inclusions theory.
We present several philosophical ideas emerging from the studies of complex systems. We make a brief introduction to the basic concepts of complex systems, for then defining "abstraction levels". These are useful for representing…
We describe a notion of (abstract) projective line over a field as a set equipped with a certain first order structure, and a projectivity between projective lines as a bijection preserving this structure. The structure in question is that…
In this manuscript the idea of soft convex structures is given and some of their properties are investigated. Also, soft convex sets, soft concave sets and soft convex hull operator are defined and their properties are studied. Moreover,…
The fundamental ideas of the definition of solvable and semisimple Bol algebras are given and some related theorems
We study different notions of connected constructive metric spaces. They differ the types of connected components and how different components relate to each other. These notions are equivalent in classical point set topology but they give…
In this short note, we shall prove some observations regarding the connection between indestructible $\omega_1$-guessing models and the $\omega_1$-approximation property of forcing notions.
It is well known that the R, the set of real numbers, is an abstract set, where almost all its elements cannot be described in any finite language. We investigate possible approaches to what might be called an epi-constructionist approach…
We develop notions of integrable functions within the theory of schemic motivic integration.
In our earlier article~\cite{CanSakran} we initiated a study of the complement-finite submonoids of the group of integer points of a unipotent linear algebraic group. In the present article, we continue to develop tools and techniques for…
We show that the question whether a term is typable is decidable for type systems combining inclusion polymorphism with parametric polymorphism provided the type constructors are at most unary. To prove this result we first reduce the…
We study computably enumerable equivalence relations (ceers) on N and unravel a rich structural theory for a strong notion of reducibility among ceers.
A new construction of naturally reductive spaces is presented. This construction gives a large amount of new families of naturally reductive spaces. First the infinitesimal models of the new naturally reductive spaces are constructed. A…