Related papers: Constructible ideals
This paper introduces categories of assemblies which are closely connected to realizability interpretations and which are based on an important subcategory of the effective topos. There is a list of properties which characterize these…
Three notions of associated prime ideals, which are equivalent in the noetherian case but differ in the non notherian case, are discussed. Examples illustrate the scope of the notions.
The constructions of the virtual Euler (or moduli) cycles and their properties are explained and developed systematically in the general abstract settings.
Several numerical indices that control the normalization of ideals are introduced and some relationships among them are derived.
The article investigates the properties of associative ideals in monoids. Such ideals have some applications in the logic of non-standard sequences and category theory. The relations of these ideals with the verbal structure of words over…
In this paper, we introduce the concepts of strongly 2-absorbing primary ideals (resp., submodules) and strongly 2-absorbing ideals (resp., submodules) as generalizations of strongly prime ideals. Furthermore, we investigate some basic…
We obtain several results concerning the concept of isotypic structures. Namely we prove that any field of finite transcendence degree over a prime subfield is defined by types; then we construct isotypic but not isomorphic structures with…
Our aim is to solve a quite old question on the difference between expandability and compact expandability. Toward this, we further investigate the logic of countable cofinality.
This chapter does not deal with specific tools and techniques for managing complex systems, but proposes some basic concepts that help us to think and speak about complexity. We review classical thinking and its intrinsic drawbacks when…
When a monomial ideal has linear quotients with respect to an admissible order of increasing support-degree, we provide two proofs of different flavors to show that it is componentwise support-linear. We also introduce the variable…
We introduce the category of b-analytic manifolds, a natural tool to define constructible sheaves and functions up to infinity. We study with some details the operations on these objects and also recall the Radon transform for constructible…
We introduce the notion of $\mathcal{C}$-system of filters, generalizing the standard definitions of both extenders and towers of normal ideals. This provides a framework to develop the theory of extenders and towers in a more general and…
The purpose of this note is to study some algebraic properties of irreducible ideals of monoids. We establish relations between irreducible, prime, and semiprime ideals. We explore some properties of irreducible ideals in local, Noetherian,…
Some contemporary views of the universe assume information and computation to be key in understanding and explaining the basic structure underpinning physical reality. We introduce the Computable Universe exploring some of the basic…
We present a notion of precompactness, and study some of its properties, in the context of apartness spaces whose apartness structure is not necessarily induced by any uniform one. The presentation lies entirely with a Bishop-style…
The concept of a visible point of a convex set relative to a given point is introduced. A number of basic properties of such visible point sets is developed. In particular, it is shown that this concept is useful in the study of best…
Following a line of research initiated in \cite{BBNN}, I describe a general framework for turning reduction concepts of relative computability into diagrams forming an analogy with the Cicho\'n diagram for cardinal characteristics of the…
We survey classical and recent results on symbolic powers of ideals. We focus on properties and problems of symbolic powers over regular rings, on the comparison of symbolic and regular powers, and on the combinatorics of the symbolic…
This paper presents a novel approach to constructing finite generating sets for infinitely generated ideals. By integrating algebraic and computational techniques, we provide a method to identify finite generators, demonstrated through…
We introduce the notion of Burch ideals and Burch rings. They are easy to define, and can be viewed as generalization of many well-known concepts, for example integrally closed ideals of finite colength and Cohen--Macaulay rings of minimal…