Related papers: On a generalization of property B
For ungraded quotients of an arbitrary $\mathbb{Z}$-graded ring, we define the general PBW property, that covers the classical PBW property and the $N$-type PBW property studied via the $N$-Koszulity by several authors ([BG1], BG2], [FV]).…
We provide a comprehensive development of the basics of descriptive set theory for non-separable complete metric spaces whose weight is a singular cardinal $\lambda$ of countable confinality. Somewhat unexpectedly, the resulting theory is…
Algebraic logic studies algebraic theories related to proposition and first-order logic. A new algebraic approach to first-order logic is sketched in this paper. We introduce the notion of a quantifier theory, which is a functor from the…
Property~(A) is a week symmetry condition that plays a fundamental role in the characterization of greedy-type bases in the isometric case, i.e., when the constants involved in the study of the efficiency of the thresholding greedy…
The purpose of this paper is to define for every Polish space $X$ a class of sets, the $EBP(X)$-sets or the extended Baire property sets, to work out many properties of the $EBP(X)$-sets and to show their usefulness in analysis. For…
We formulate a property $P$ on a class of relations on the natural numbers, and formulate a general theorem on $P$, from which we get as corollaries the insolvability of Hilbert's tenth problem, G\"odel's incompleteness theorem, and…
We extend the usual Hilbert property for varieties over fields to arithmetic schemes over integral domains by demanding the set of near-integral points (as defined by Vojta) to be non-thin. We then generalize results of…
This paper is concerned with the prime spectrum of a tensor product of algebras over a field. It seeks necessary and sufficient conditions for such a tensor product to have the S-property, strong S-property, and catenarity. Its main results…
For any first order theory T we construct a Boolean valued model M, in which precisely the T--provable formulas hold, and in which every (Boolean valued) subset which is invariant under all automorphisms of M is definable by a first order…
In this paper, we give an axiomatization of the ordinal number system, in the style of Dedekind's axiomatization of the natural number system. The latter is based on a structure $(N,0,s)$ consisting of a set $N$, a distinguished element…
The Baire category theorem states that every complete pseudometric space is a Baire space. There are some results in metric spaces which have their analogue in uniform spaces, however this is not one of them. Nonetheless, since the Baire…
After sketching the basic theory of injective ideals of homogeneous polynomials, we characterize injective polynomial ideals by means of a domination property and applications of this characterization to some classical operator ideals and…
In this paper, we show how to apply a theorem by L\^e D.T. and the author about linear families of curves on normal surface singularities to get new results in this area. The main concept used is a specific definition of {\em general…
While abstract interpretation is not theoretically restricted to specific kinds of properties, it is, in practice, mainly developed to compute linear over-approximations of reachable sets, aka. the collecting semantics of the program. The…
Program semantics can often be expressed as a (many-sorted) first-order theory S, and program properties as sentences $\varphi$ which are intended to hold in the canonical model of such a theory, which is often incomputable. Recently, we…
A combinatorial property of prositive group presentations, called completeness, is introduced, with an effective criterion for recognizing complete presentations, and an iterative method for completing an incomplete presentation. We show…
We characterize the properties $(z)$ and $(az)$ for an operator $T$ whose dual $T^*$ has the SVEP on the complementary of the upper semi-Weyl spectrum of $T.$ If $S$ and $T$ are Banach space operators satisfying property $(z)$ or $(az),$ we…
The purpose of this article is to introduce the concept of invariance and its properties. These properties can be used to check the primality of a number. Combining these properties with the Euler theorem, it is possible to generalize this…
We present a general framework for studying regularized estimators; such estimators are pervasive in estimation problems wherein "plug-in" type estimators are either ill-defined or ill-behaved. Within this framework, we derive, under…
In this paper we study fundamental directional properties of sets under the assumption of condition (SSP) (introduced in a previous paper). We show several transversality theorems in the singular case and an (SSP)-structure preserving…