Related papers: Invariant Ideal Axiom
The attempt is to give a formal concpet of system, and with this provide a definition of category, that will also satisfy the definition of a system. An axiomatic base is given, for constructing the group of integers. In the process, we…
We continue the study of the rich family of norm-closed, automorphism invariant ideals of a continuous nest algebra. First we present a unified framework which captures all stable ideals as the kernels of limits of diagonal compressions. We…
Ideals are used to define homological functors for additive categories. In abelian categories the ideals corresponding to the usual universal objects are principal, and the construction reduces, in a choice dependent way, to homology…
We examine the existence of universal elements in classes of infinite abelian groups. The main method is using group invariants which are defined relative to club guessing sequences. We prove, for example: Theorem: For $n\ge 2$, there is a…
We consider ideals in a polynomial ring that are generated by regular sequences of homogeneous polynomials and are stable under the action of the symmetric group permuting the variables. In previous work, we determined the possible…
The main purpose of this paper is to develop new algorithms for computing invariant rings in a general setting. This includes invariants of nonreductive groups but also of groups acting on algebras over certain rings. In particular, we…
\emph{Approximation Theory} uses nicely-behaved subcategories to understand entire categories, just as projective modules are used to approximate arbitrary modules in classical homological algebra. We use set-theoretic \emph{elementary…
We extend Berge's Maximum Theorem to allow for incomplete preferences. We first provide a simple version of the Maximum Theorem for convex feasible sets and a fixed preference. Then, we show that if, in addition to the traditional…
This paper is about the surprising interaction of a foundational result from model theory, about stability of theories, with algorithmic stability in learning. First, in response to gaps in existing learning models, we introduce a new…
It is well known that ZFC, despite its usefulness as a foundational theory for mathematics, has two unwanted features: it cannot be written down explicitly due to its infinitely many axioms, and it has a countable model due to the…
We study and classify topologically invariant sigma-ideals with an analytic base on Euclidean spaces and evaluate the cardinal characteristics of such ideals.
In the present paper I formulate a framework that accommodates many unambiguous discrimination problems. I show that the prior information about any type of constituent (state, channel, or observable) allows us to reformulate the…
We define a notion of ideal for objects in the category of abstract unitary Cuntz semigroups introduced in [3] and termed Cu$^\sim$. We show that the set of ideals of a Cu$^\sim$-semigroup has a complete lattice structure. In fact, we prove…
This paper will discuss the problem of defining the new topological transitivity. To do this several equivalent topological transitive and non-wandering point has been discussed through this paper. This paper also consider the ideal version…
We prove invariance results for the cohomology groups of ideal sheaves of simple normal crossing divisors under (a restricted class of) birational morphisms of pairs in arbitrary characteristic, assuming a conjecture regarding the existence…
The fixed point index of topological fixed point theory is a well studied integer-valued algebraic invariant of a mapping which can be characterized by a small set of axioms. The coincidence index is an extension of the concept to…
Recently, we have endowed various categories of groups with topologies. The purpose of this paper is to introduce on these categories others topologies which are statistically more suitable to study well-known problems in groups theory. We…
This article offers a gentle introduction to the axiom of choice. We introduce the axiom, discuss some common objections to it, and present three kinds of reasons to accept it. Although the exposition is aimed at non-experts in set theory,…
Set-theoretical, physical, and intuitive notions of continuum are compared. It is shown that the independence of the continuum hypothesis determines status and properties of the set of intermediate cardinality. The intermediate set is a…
We apply the algebraic theory of infinite classical lattices from Part I to write an axiomatic theory of measurements, based on Mackey's axioms for quantum mechanics. The axioms give a complete theory of measurements in the sense of Haag…