Related papers: On a generalization of property B
This paper develops a categorical framework to clarify the relationship between the completeness and compactness theorems in classical first-order logic. Rather than claiming that different model constructions yield naturally isomorphic…
The generalized test ideals introduced in [HY] are related to multiplier ideals via reduction to characteristic p. In addition, they satisfy many of the subtle properties of the multiplier ideals, which in characteristic zero follow via…
In the setting of constructive mathematics, we suggest and study a framework for decidability of properties, which allows for finer distinctions than just "decidable, semidecidable, or undecidable". We work in homotopy type theory and use…
The impressive recent performance of large language models has led many to wonder to what extent they can serve as models of general intelligence or are similar to human cognition. We address this issue by applying GPT-3.5 and GPT-4 to a…
We establish two general theorems on the local properties of the absolute summability of factored Fourier series by applying a recently defined absolute summability, $\left\vert A,\alpha_{n}\right\vert _{k}$ summability, and the class…
We study property A for metric spaces $X$ with bounded geometry introduced by Guoliang Yu. Property A is an amenability-type condition, which is less restrictive than amenability for groups. The property has a connection with…
This paper is devoted to the study of the S-eigenvalue of finite type of a bounded right quaternionic linear operator acting in a right quaternionic Hilbert space. The study is based on the different properties of the Riesz projection…
We introduce the notion of property signatures, a representation for programs and program specifications meant for consumption by machine learning algorithms. Given a function with input type $\tau_{in}$ and output type $\tau_{out}$, a…
Detecting and exploiting similarities between seemingly distant objects is without doubt an important human ability. This paper develops \textit{from the ground up} an abstract algebraic and qualitative notion of similarity based on the…
We compare two different notions of generic expansions of countable saturated structures. One kind of genericity is related to model-companions and to amalgamation constructions \'a la Hrushovski-Fra\"iss\'e. Another notion of generic…
Property testing is concerned with the design of algorithms making a sublinear number of queries to distinguish whether the input satisfies a given property or is far from having this property. A seminal paper of Alon, Krivelevich, Newman,…
One of the classical problems in group theory is determining the set of positive integers $n$ such that every group of order $n$ has a particular property $P$, such as cyclic or abelian. We first present the Sylow theorems and the idea of…
We present rational Schur algebra $S(n,r,s)$ over an arbitrary ground field $K$ as a quotient of the distribution algebra $Dist(G)$ of the general linear group $G=GL(n)$ by an ideal $I(n,r,s)$ and provide an explicit description of the…
The proofs of Kleene, Chaitin and Boolos for G\"odel's First Incompleteness Theorem are studied from the perspectives of constructivity and the Rosser property. A proof of the incompleteness theorem has the Rosser property when the…
Schaefer introduced a framework for generalized satisfiability problems on the Boolean domain and characterized the computational complexity of such problems. We investigate an algebraization of Schaefer's framework in which the Fourier…
There are two basic ways of weakening the definition of the well-known metric regularity property by fixing one of the points involved in the definition. The first resulting property is called metric subregularity and has attracted a lot of…
We establish lower norm bounds for multivariate functions within weighted Lebesgue spaces, characterized by a summation of functions whose components solve a system of nonlinear integral equations. This problem originates in portfolio…
One of the problems of formal verification is that it is not functionally complete due the incompleteness of specifications. An implementation meeting an incomplete specification may still have a lot of bugs. In testing, this issue is…
This paper establishes the equivalence of the Aubin property and the strong regularity for generalized equations over $C^2$-cone reducible sets. This result resolves a long-standing question in variational analysis and extends the…
In this paper we will study an important but rather technical result which is called The Reduction Property. The result tells us how much arithmetical conservation there is between two arithmetical theories. Both theories essentially speak…